The bald eagle chases the cow. The bald eagle is round. The cat is not blue. The cat does not need the bald eagle. The cow chases the cat. The cow is blue. The cow is young. The cow needs the bald eagle. The cow needs the cat. The cow does not see the cat. If something chases the bald eagle then it is rough. If something is round then it sees the cat. If something is big and it does not need the bald eagle then it needs the cow. If something sees the cat then the cat chases the cow. If something needs the bald eagle and the bald eagle does not see the cow then the bald eagle needs the cow. If the cat sees the bald eagle then the bald eagle needs the cow. If something needs the bald eagle then the bald eagle is round. If something chases the bald eagle then it does not need the cat.
The bald eagle does not see the cat.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is round.[(triple2 OR ((triple8) -> rule7))] The cat does not need the bald eagle.[(triple4)] The cat is not blue.[(triple3)] The cow chases the cat.[(triple5)] The cow does not see the cat.[(triple10)] The cow is blue.[(triple6)] The cow is young.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow needs the cat.[(triple9)] @1: The bald eagle sees the cat.[(((triple2) -> rule2) OR ((((triple8) -> rule7)) -> rule2))] @2: The cat chases the cow.[(((((triple2) -> rule2)) -> rule4) OR ((((((triple8) -> rule7)) -> rule2)) -> rule4))]