The bald eagle eats the bear. The bald eagle is blue. The bald eagle is red. The bald eagle likes the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is green. The cow chases the bald eagle. The cow is blue. The cow is red. The cow does not like the bear. If something likes the bear and the bear likes the cow then the cow is rough. If something likes the bald eagle and it is not green then the bald eagle eats the cow. If something is rough then it does not chase the cow. If something likes the cow and the cow likes the bear then it is not rough. If something chases the bald eagle then it likes the cow. If the bald eagle likes the bear then the bear does not like the bald eagle.
The bald eagle does not chase the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear is big.[(triple7)] The bear is green.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow does not like the bear.[(triple12)] The cow is blue.[(triple10)] The cow is red.[(triple11)] @1: The bear does not like the bald eagle.[(((triple4) -> rule6))] The bear likes the cow.[(((triple5) -> rule5))] The cow likes the cow.[(((triple9) -> rule5))] @2: The cow is rough.[(((triple4 ((triple5) -> rule5)) -> rule1))] @3: The cow does not chase the cow.[(((((triple4 ((triple5) -> rule5)) -> rule1)) -> rule3))]