The bald eagle is big. The cat is red. The cat likes the bald eagle. The cat visits the bald eagle. The cow eats the squirrel. The cow is round. The cow visits the squirrel. The squirrel is blue. The squirrel is not red. The squirrel likes the cat. If someone is red and they visit the bald eagle then they do not eat the bald eagle. If someone is red and they visit the squirrel then they like the cat. If someone likes the squirrel then they are blue.
The bald eagle likes the cat.
@0: The bald eagle is big.[(triple1)] The cat is red.[(triple2)] The cat likes the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is round.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is not red.[(triple9)] The squirrel likes the cat.[(triple10)] @1: The cat does not eat the bald eagle.[(((triple2 triple4) -> rule1))]