The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The cow likes the dog. The dog does not eat the cow. The dog eats the squirrel. The squirrel eats the cow. The squirrel eats the dog. The squirrel is nice. The squirrel visits the cow. If someone is nice and they do not like the dog then they eat the squirrel. If someone likes the dog then the dog is not big. If someone is nice then they do not like the squirrel. If the squirrel eats the bald eagle and the squirrel is not nice then the squirrel visits the dog. If someone is blue and they do not like the squirrel then they visit the dog. If someone visits the dog then the dog does not visit the squirrel.
The squirrel does not eat the squirrel.
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The cow likes the dog.[(triple4)] The dog does not eat the cow.[(triple5)] The dog eats the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is nice.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The bald eagle does not like the squirrel.[(((triple2) -> rule3))] The dog is not big.[(((triple4) -> rule2))] The squirrel does not like the squirrel.[(((triple9) -> rule3))] @2: The bald eagle visits the dog.[(((triple1 ((triple2) -> rule3)) -> rule5))] @3: The dog does not visit the squirrel.[(((((triple1 ((triple2) -> rule3)) -> rule5)) -> rule6))]