The bald eagle is not nice. The cat needs the bald eagle. The squirrel visits the bald eagle. If something is red and it eats the bald eagle then it does not visit the cat. If something is nice and it eats the squirrel then the squirrel is green. If something needs the bald eagle and it is green then it does not need the cat. If something eats the bald eagle then the bald eagle visits the squirrel. If something visits the squirrel then it eats the cat. If something visits the bald eagle then it is nice. If something is nice then it visits the squirrel. If the cat eats the squirrel and the cat is blue then the squirrel eats the bald eagle.
The cat is not big.
@0: The bald eagle is not nice.[(triple1)] The cat needs the bald eagle.[(triple2)] The squirrel visits the bald eagle.[(triple3)] @1: The squirrel is nice.[(((triple3) -> rule6))] @2: The squirrel visits the squirrel.[(((((triple3) -> rule6)) -> rule7))] @3: The squirrel eats the cat.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))]