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