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