The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle likes the tiger. The cat is green. The cat likes the bald eagle. The squirrel is round. The squirrel is young. The squirrel visits the bald eagle. The tiger is round. The tiger is young. The tiger visits the cat. If something visits the tiger then it is red. If something visits the bald eagle then the bald eagle visits the cat. If the squirrel visits the tiger then the tiger eats the squirrel. If something is young then it visits the tiger. If something is round and red then it is nice. If something eats the bald eagle then the bald eagle eats the tiger.
The tiger visits the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the tiger.[(triple4)] The cat is green.[(triple5)] The cat likes the bald eagle.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The tiger is round.[(triple10)] The tiger is young.[(triple11)] The tiger visits the cat.[(triple12)] @1: The bald eagle visits the cat.[(((triple9) -> rule2))] The squirrel visits the tiger.[(((triple8) -> rule4))] The tiger visits the tiger.[(((triple11) -> rule4))] @2: The squirrel is red.[(((((triple8) -> rule4)) -> rule1))] The tiger eats the squirrel.[(((((triple8) -> rule4)) -> rule3))] The tiger is red.[(((((triple11) -> rule4)) -> rule1))] @3: The squirrel is nice.[(((triple7 ((((triple8) -> rule4)) -> rule1)) -> rule5))] The tiger is nice.[(((triple10 ((((triple11) -> rule4)) -> rule1)) -> rule5))]