The bald eagle chases the cow. The bald eagle is not round. The bald eagle sees the cow. The bald eagle sees the lion. The cat sees the lion. The cow is blue. The lion sees the cat. If something chases the lion then it chases the bald eagle. If something chases the bald eagle then the bald eagle sees the lion. If the bald eagle is big and the bald eagle sees the cow then the bald eagle does not chase the lion. If something sees the cow then the cow chases the bald eagle. If something is big then it sees the cat. If something sees the lion and the lion visits the bald eagle then it is not nice.
The bald eagle sees the lion.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not round.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the lion.[(triple4 OR ((((triple3) -> rule4)) -> rule2))] The cat sees the lion.[(triple5)] The cow is blue.[(triple6)] The lion sees the cat.[(triple7)] @1: The cow chases the bald eagle.[(((triple3) -> rule4))]