The cat eats the lion. The cat eats the squirrel. The cat is kind. The cat is round. The cat likes the lion. The cat visits the lion. The cat visits the squirrel. The lion eats the cat. The lion is nice. The lion is red. The lion likes the cat. The lion likes the squirrel. The lion visits the cat. The squirrel likes the cat. The squirrel visits the cat. If something visits the lion then the lion is round. If something likes the cat then it eats the squirrel.
The squirrel does not like the lion.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4)] The cat likes the lion.[(triple5)] The cat visits the lion.[(triple6)] The cat visits the squirrel.[(triple7)] The lion eats the cat.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10)] The lion likes the cat.[(triple11)] The lion likes the squirrel.[(triple12)] The lion visits the cat.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The lion eats the squirrel.[(((triple11) -> rule2))] The lion is round.[(((triple6) -> rule1))] The squirrel eats the squirrel.[(((triple14) -> rule2))]