The bald eagle sees the cat. The bald eagle sees the cow. The cat is green. The cat is round. The cat needs the bald eagle. The cat sees the cow. The cow chases the cat. The cow is green. The cow is round. The cow needs the cat. The cow sees the bald eagle. The cow sees the cat. If someone is round and blue then they chase the cat. If someone chases the cat then the cat chases the cow. If someone is rough then they need the cat. If someone sees the bald eagle and the bald eagle chases the cat then the bald eagle needs the cat. If someone sees the bald eagle then the bald eagle chases the cow. If someone chases the cow then the cow is red. If someone sees the cat then the cat needs the bald eagle. Green people are rough.
The bald eagle does not see the cow.
@0: The bald eagle sees the cat.[(triple1)] The bald eagle sees the cow.[(triple2)] The cat is green.[(triple3)] The cat is round.[(triple4)] The cat needs the bald eagle.[(triple5 OR ((triple1) -> rule7) OR ((triple12) -> rule7))] The cat sees the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow is green.[(triple8)] The cow is round.[(triple9)] The cow needs the cat.[(triple10 OR ((((triple8) -> rule8)) -> rule3))] The cow sees the bald eagle.[(triple11)] The cow sees the cat.[(triple12)] @1: The bald eagle chases the cow.[(((triple11) -> rule5))] The cat chases the cow.[(((triple7) -> rule2))] The cat is rough.[(((triple3) -> rule8))] The cow is rough.[(((triple8) -> rule8))] @2: The cat needs the cat.[(((((triple3) -> rule8)) -> rule3))] The cow is red.[(((((triple11) -> rule5)) -> rule6) OR ((((triple7) -> rule2)) -> rule6))]