The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The cat is nice. The cat is rough. The cat likes the bald eagle. The cat sees the bald eagle. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If something sees the cat and the cat sees the squirrel then it sees the squirrel. If something is nice and round then it sees the squirrel. If the bald eagle eats the squirrel and the squirrel is young then the bald eagle likes the cat. If something is kind then it is nice. If the squirrel likes the cat and the squirrel likes the bald eagle then the bald eagle likes the squirrel. If something likes the cat then it likes the bald eagle. If something likes the bald eagle and the bald eagle eats the squirrel then the bald eagle likes the cat. If something sees the cat and it is young then the cat eats the squirrel.
The squirrel likes the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple3) -> rule4))] The bald eagle is rough.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat eats the squirrel.[(triple8)] The cat is nice.[(triple9)] The cat is rough.[(triple10)] The cat likes the bald eagle.[(triple11)] The cat sees the bald eagle.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel eats the cat.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The bald eagle likes the cat.[(((triple11 triple2) -> rule7) OR ((triple15 triple2) -> rule7))] @2: The bald eagle likes the bald eagle.[(((((triple11 triple2) -> rule7)) -> rule6) OR ((((triple15 triple2) -> rule7)) -> rule6))]