The bald eagle eats the cat. The bald eagle is blue. The cat is big. The cow eats the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is kind. If someone eats the bald eagle then the bald eagle is red. If the squirrel needs the cat and the cat eats the bald eagle then the cat eats the squirrel. If the bald eagle is young then the bald eagle is red. If someone needs the squirrel then they are kind. If someone eats the cat then they eat the bald eagle. If someone sees the cow then the cow sees the squirrel. If the cat needs the bald eagle and the cat eats the bald eagle then the bald eagle needs the squirrel. Young, red people are kind.
The cow does not see the squirrel.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The cat is big.[(triple3)] The cow eats the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is kind.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule5))] @2: The bald eagle is red.[(((((triple1) -> rule5)) -> rule1))]