The bald eagle chases the cat. The bald eagle needs the cat. The bald eagle sees the rabbit. The cat chases the cow. The cat chases the rabbit. The cat is red. The cow sees the cat. The rabbit is blue. The rabbit is red. The rabbit needs the cow. The rabbit sees the bald eagle. The rabbit sees the cat. If something chases the cow and it chases the rabbit then the cow needs the rabbit. If something needs the cow then the cow chases the rabbit. If something is cold and it needs the bald eagle then it chases the bald eagle. If something needs the bald eagle and it sees the cow then it chases the bald eagle. If something chases the cat then the cat is red. If the bald eagle needs the cow then the bald eagle chases the cow.
The cow does not see the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cat chases the cow.[(triple4)] The cat chases the rabbit.[(triple5)] The cat is red.[(triple6 OR ((triple1) -> rule5))] The cow sees the cat.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The cow chases the rabbit.[(((triple10) -> rule2))] The cow needs the rabbit.[(((triple4 triple5) -> rule1))]