The bald eagle eats the squirrel. The bald eagle does not see the cat. The cat eats the bald eagle. The cat eats the squirrel. The cat is green. The squirrel eats the cat. The squirrel is not green. If something visits the cat then it is rough. If something is rough then it sees the bald eagle. If something visits the cat and the cat eats the squirrel then the squirrel does not visit the cat. If something eats the cat then it does not visit the squirrel. If the cat sees the squirrel and the cat is not red then the squirrel does not see the cat. If something eats the bald eagle then the bald eagle eats the cat.
The squirrel is not rough.
@0: The bald eagle does not see the cat.[(triple2)] The bald eagle eats the squirrel.[(triple1)] The cat eats the bald eagle.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is green.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is not green.[(triple7)] @1: The bald eagle eats the cat.[(((triple3) -> rule6))] The squirrel does not visit the squirrel.[(((triple6) -> rule4))] @2: The bald eagle does not visit the squirrel.[(((((triple3) -> rule6)) -> rule4))]