The bald eagle chases the cow. The bald eagle is blue. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow sees the bald eagle. If someone chases the cow then they are big. If someone is big and they need the bald eagle then the bald eagle needs the cow. If someone is young and red then they see the cow. If someone sees the bald eagle and they need the bald eagle then they chase the cow. If someone needs the cow and they need the bald eagle then the bald eagle chases the cow. If someone sees the cow then the cow needs the bald eagle.
The cow is not big.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the cow.[(triple4 OR ((((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1) ((triple5) -> rule6)) -> rule2))] The bald eagle sees the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple1) -> rule1))] The cow needs the bald eagle.[(((triple5) -> rule6))] @2: The cow chases the cow.[(((triple7 ((triple5) -> rule6)) -> rule4))] @3: The cow is big.[(((((triple7 ((triple5) -> rule6)) -> rule4)) -> rule1))]