The bald eagle chases the cat. The bald eagle eats the bear. The bald eagle eats the cat. The bald eagle is red. The bald eagle likes the bear. The bear chases the squirrel. The bear eats the cat. The bear is red. The bear likes the squirrel. The cat is cold. The cat is green. The cat is kind. The cat is red. The cat is rough. The cat likes the bald eagle. The squirrel eats the bald eagle. If something chases the bear and it chases the squirrel then the squirrel likes the cat. If something eats the bald eagle and the bald eagle eats the squirrel then it likes the cat. If something is green then it likes the squirrel. If something chases the squirrel and it chases the cat then the squirrel chases the cat. If the cat eats the bald eagle then the bald eagle eats the squirrel. If something is red and it eats the cat then the cat eats the bald eagle.
The bald eagle does not eat the squirrel.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the bear.[(triple5)] The bear chases the squirrel.[(triple6)] The bear eats the cat.[(triple7)] The bear is red.[(triple8)] The bear likes the squirrel.[(triple9)] The cat is cold.[(triple10)] The cat is green.[(triple11)] The cat is kind.[(triple12)] The cat is red.[(triple13)] The cat is rough.[(triple14)] The cat likes the bald eagle.[(triple15)] The squirrel eats the bald eagle.[(triple16)] @1: The cat eats the bald eagle.[(((triple4 triple3) -> rule6) OR ((triple8 triple7) -> rule6))] The cat likes the squirrel.[(((triple11) -> rule3))] @2: The bald eagle eats the squirrel.[(((((triple4 triple3) -> rule6)) -> rule5) OR ((((triple8 triple7) -> rule6)) -> rule5))] @3: The cat likes the cat.[(((((triple4 triple3) -> rule6) ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2) OR ((((triple4 triple3) -> rule6) ((((triple8 triple7) -> rule6)) -> rule5)) -> rule2) OR ((((triple8 triple7) -> rule6) ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2) OR ((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6)) -> rule5)) -> rule2))] The squirrel likes the cat.[(((triple16 ((((triple4 triple3) -> rule6)) -> rule5)) -> rule2) OR ((triple16 ((((triple8 triple7) -> rule6)) -> rule5)) -> rule2))]