The bald eagle eats the cat. The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle needs the lion. The cat eats the bald eagle. The cat likes the bald eagle. The lion needs the cat. The squirrel eats the cat. The squirrel is blue. The squirrel is young. If someone needs the cat then the cat is red. If someone eats the squirrel then they like the bald eagle. If someone needs the cat and they eat the cat then the cat likes the lion.
The bald eagle does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle needs the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat likes the bald eagle.[(triple6)] The lion needs the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is young.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule2))] The cat is red.[(((triple7) -> rule1))]