The bald eagle is big. The bald eagle is green. The bald eagle is not round. The bald eagle likes the cat. The bald eagle visits the cat. The cat does not eat the bald eagle. The cat eats the rabbit. The cat is big. The cat is blue. The cat does not visit the bald eagle. The cat visits the rabbit. The rabbit eats the cat. The rabbit is not blue. The rabbit likes the bald eagle. The rabbit likes the cat. The rabbit visits the bald eagle. If something eats the bald eagle and it does not like the cat then it eats the cat. If something visits the bald eagle then it does not eat the bald eagle. If something is round then it visits the cat. If something likes the bald eagle and the bald eagle likes the rabbit then the rabbit does not visit the bald eagle. If something is rough then it likes the rabbit. If something eats the cat then the cat does not eat the bald eagle. If something visits the bald eagle and the bald eagle is round then the bald eagle eats the rabbit. If something likes the rabbit then the rabbit eats the cat.
The bald eagle is rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat does not eat the bald eagle.[(triple6 OR ((triple12) -> rule6))] The cat does not visit the bald eagle.[(triple10)] The cat eats the rabbit.[(triple7)] The cat is big.[(triple8)] The cat is blue.[(triple9)] The cat visits the rabbit.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is not blue.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The rabbit does not eat the bald eagle.[(((triple16) -> rule2))]