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