The bald eagle chases the cow. The bald eagle is blue. The bald eagle is nice. The bald eagle sees the cow. The cow is big. The cow is green. The cow is nice. The cow is round. The cow likes the bald eagle. The cow sees the bald eagle. If the bald eagle sees the cow and the bald eagle is green then the bald eagle likes the cow. If someone sees the cow then they chase the bald eagle. If someone chases the bald eagle then they like the cow. If someone chases the cow and the cow is round then they like the bald eagle. If someone is nice then they see the cow. If the cow chases the bald eagle then the cow likes the bald eagle.
The cow does not chase the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the cow.[(triple4 OR ((triple3) -> rule5))] The cow is big.[(triple5)] The cow is green.[(triple6)] The cow is nice.[(triple7)] The cow is round.[(triple8)] The cow likes the bald eagle.[(triple9 OR ((((((triple7) -> rule5)) -> rule2)) -> rule6))] The cow sees the bald eagle.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] The bald eagle likes the bald eagle.[(((triple1 triple8) -> rule4))] The cow sees the cow.[(((triple7) -> rule5))] @2: The bald eagle likes the cow.[(((((triple4) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule2)) -> rule3))] The cow chases the bald eagle.[(((((triple7) -> rule5)) -> rule2))] @3: The cow likes the cow.[(((((((triple7) -> rule5)) -> rule2)) -> rule3))]