The bald eagle chases the squirrel. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat does not eat the bald eagle. The cat eats the squirrel. The cat is nice. The cat is young. The cat does not like the bald eagle. The squirrel chases the cat. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the cat. If something is young then it chases the squirrel. If something likes the bald eagle then it chases the squirrel. If something is red and not young then it is not blue. If something eats the bald eagle then it is blue. If something eats the cat then it eats the squirrel. If the cat chases the squirrel then the squirrel eats the cat. If something likes the cat then it chases the bald eagle. If something eats the bald eagle then the bald eagle eats the squirrel.
The squirrel is nice.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The cat does not eat the bald eagle.[(triple7)] The cat does not like the bald eagle.[(triple11)] The cat eats the squirrel.[(triple8)] The cat is nice.[(triple9)] The cat is young.[(triple10)] The squirrel chases the cat.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the cat.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple5) -> rule7))] The cat chases the squirrel.[(((triple10) -> rule1))] The squirrel chases the bald eagle.[(((triple15) -> rule7))] The squirrel chases the squirrel.[(((triple13) -> rule1) OR ((triple14) -> rule2))] @2: The squirrel eats the cat.[(((((triple10) -> rule1)) -> rule6))] @3: The squirrel eats the squirrel.[(((((((triple10) -> rule1)) -> rule6)) -> rule5))]