The cat eats the lion. The cat eats the mouse. The lion does not eat the cat. The lion is nice. The lion is rough. The lion visits the mouse. The mouse is rough. The mouse needs the cat. The mouse needs the lion. The squirrel visits the cat. If someone is nice and rough then they need the lion. If someone visits the cat and the cat needs the lion then they need the lion. If someone is rough then they visit the cat. If someone needs the cat and they eat the squirrel then the cat does not eat the squirrel. If someone is cold then they do not need the mouse. If someone visits the squirrel then they are nice. If someone needs the squirrel and they are nice then they are rough. If someone is rough and they visit the cat then the cat needs the lion.
The lion does not visit the cat.
@0: The cat eats the lion.[(triple1)] The cat eats the mouse.[(triple2)] The lion does not eat the cat.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is rough.[(triple7)] The mouse needs the cat.[(triple8)] The mouse needs the lion.[(triple9 OR ((((triple7) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple7) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule2))] The squirrel visits the cat.[(triple10)] @1: The lion needs the lion.[(((triple4 triple5) -> rule1) OR ((((triple5) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple5) -> rule3) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule2))] The lion visits the cat.[(((triple5) -> rule3))] The mouse visits the cat.[(((triple7) -> rule3))] @2: The cat needs the lion.[(((triple5 ((triple5) -> rule3)) -> rule8) OR ((triple7 ((triple7) -> rule3)) -> rule8))] @3: The squirrel needs the lion.[(((triple10 ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule2) OR ((triple10 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule2))]