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