The cat eats the lion. The cat likes the lion. The cat visits the mouse. The lion eats the cat. The lion is blue. The mouse eats the cat. The mouse eats the lion. The mouse is kind. The mouse is rough. The mouse visits the lion. If something likes the mouse and it visits the lion then the mouse visits the cat. If something visits the mouse then it likes the mouse. If something likes the mouse and it visits the cat then the mouse is red. If something is red then it visits the cat. If something likes the mouse then it visits the cat. If something is blue and it likes the cat then the cat likes the mouse.
The lion does not like the lion.
@0: The cat eats the lion.[(triple1)] The cat likes the lion.[(triple2)] The cat visits the mouse.[(triple3)] The lion eats the cat.[(triple4)] The lion is blue.[(triple5)] The mouse eats the cat.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is kind.[(triple8)] The mouse is rough.[(triple9)] The mouse visits the lion.[(triple10)] @1: The cat likes the mouse.[(((triple3) -> rule2))] @2: The cat visits the cat.[(((((triple3) -> rule2)) -> rule5))] @3: The mouse is red.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule3))] @4: The mouse visits the cat.[(((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule4))]