The bald eagle eats the rabbit. The bald eagle is rough. The cat chases the rabbit. The cat eats the cow. The cat is blue. The cat is young. The cow chases the cat. The cow eats the bald eagle. The cow eats the rabbit. The cow is red. The rabbit eats the bald eagle. The rabbit likes the cat. If the cat eats the cow then the cow likes the cat. If the bald eagle eats the cow then the cow chases the rabbit. If something is red and round then it likes the rabbit. If something chases the bald eagle and it likes the rabbit then the rabbit eats the bald eagle. If something likes the bald eagle then it chases the cat. If something is blue then it chases the rabbit.
The bald eagle does not like the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is rough.[(triple2)] The cat chases the rabbit.[(triple3 OR ((triple5) -> rule6))] The cat eats the cow.[(triple4)] The cat is blue.[(triple5)] The cat is young.[(triple6)] The cow chases the cat.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is red.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit likes the cat.[(triple12)] @1: The cow likes the cat.[(((triple4) -> rule1))]