The bald eagle eats the mouse. The bald eagle is rough. The bald eagle is round. The bald eagle sees the mouse. The cat eats the bald eagle. The cat likes the bald eagle. The mouse eats the bald eagle. The mouse eats the cat. The mouse is round. The mouse does not see the cat. The squirrel eats the cat. The squirrel is nice. If something eats the mouse then the mouse eats the cat. If something is rough then it likes the cat. If something is nice and it does not like the squirrel then it does not like the cat. If the cat eats the bald eagle and the bald eagle likes the cat then the bald eagle sees the cat. If something sees the cat then it is kind. If something is red then it does not see the cat. If something eats the mouse then it likes the mouse. If something is red and it eats the squirrel then the squirrel is not kind.
The cat does not like the cat.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat likes the bald eagle.[(triple6)] The mouse does not see the cat.[(triple10)] The mouse eats the bald eagle.[(triple7)] The mouse eats the cat.[(triple8 OR ((triple1) -> rule1))] The mouse is round.[(triple9)] The squirrel eats the cat.[(triple11)] The squirrel is nice.[(triple12)] @1: The bald eagle likes the cat.[(((triple2) -> rule2))] The bald eagle likes the mouse.[(((triple1) -> rule7))] @2: The bald eagle sees the cat.[(((triple5 ((triple2) -> rule2)) -> rule4))] @3: The bald eagle is kind.[(((((triple5 ((triple2) -> rule2)) -> rule4)) -> rule5))]