The bald eagle is rough. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the squirrel. The cat does not see the bald eagle. The cat sees the squirrel. The squirrel likes the bald eagle. If something is big and it likes the squirrel then the squirrel is rough. If something sees the squirrel and it is rough then it does not see the cat. If something likes the cat and it is young then it likes the squirrel. If something sees the cat then it likes the squirrel. If something eats the squirrel then it is rough. If something is big then it does not see the squirrel.
The bald eagle is not rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the squirrel.[(triple4 OR ((triple3 triple2) -> rule3))] The cat does not see the bald eagle.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel likes the bald eagle.[(triple7)]