15 lines
354 B
Plaintext
15 lines
354 B
Plaintext
(mybabyre
|
|
(everybodyLovesMyBaby 0
|
|
(everybodyLovesMyBaby-1 nil 3863865581 ("" (postpone) nil nil) nil
|
|
shostak))
|
|
(mybabyIsMe 0
|
|
(mybabyIsMe-1 nil 3863845151
|
|
("" (lemma "everybodyLovesMyBaby")
|
|
(("" (inst - "mybaby")
|
|
(("" (lemma "mybabyLovesOnlyMe") (("" (forward-chain -) nil nil))
|
|
nil))
|
|
nil))
|
|
nil)
|
|
nil shostak)))
|
|
|