The bald eagle is blue. The bald eagle is green. The bald eagle needs the cat. The bald eagle needs the rabbit. The cat does not eat the bald eagle. The cat eats the mouse. The cat is blue. The cat does not need the bald eagle. The cat needs the mouse. The cat does not visit the mouse. The mouse eats the bald eagle. The mouse visits the bald eagle. The mouse does not visit the cat. The mouse does not visit the rabbit. The rabbit eats the bald eagle. If the mouse visits the cat then the cat eats the bald eagle. If someone visits the bald eagle then the bald eagle does not visit the mouse. If the cat does not eat the bald eagle then the bald eagle is cold.
The cat does not eat the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The cat does not eat the bald eagle.[(triple5)] The cat does not need the bald eagle.[(triple8)] The cat does not visit the mouse.[(triple10)] The cat eats the mouse.[(triple6)] The cat is blue.[(triple7)] The cat needs the mouse.[(triple9)] The mouse does not visit the cat.[(triple13)] The mouse does not visit the rabbit.[(triple14)] The mouse eats the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] The rabbit eats the bald eagle.[(triple15)] @1: The bald eagle does not visit the mouse.[(((triple12) -> rule2))] The bald eagle is cold.[(((triple5) -> rule3))]