The bald eagle is blue. The bald eagle likes the mouse. The bald eagle needs the rabbit. The bald eagle does not visit the rabbit. The mouse is cold. The mouse is red. The mouse needs the squirrel. The mouse does not visit the bald eagle. The mouse visits the rabbit. The rabbit is green. The rabbit does not like the mouse. The rabbit needs the bald eagle. The rabbit does not visit the bald eagle. The squirrel is green. The squirrel is nice. If something is red then it is cold. All blue things are not nice. If something is green and it likes the bald eagle then it does not need the bald eagle. If something likes the rabbit and it does not visit the rabbit then it visits the mouse. If something needs the rabbit and it is not nice then it visits the mouse. If something visits the mouse then the mouse needs the bald eagle.
The bald eagle visits the mouse.
@0: The bald eagle does not visit the rabbit.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The mouse does not visit the bald eagle.[(triple8)] The mouse is cold.[(triple5 OR ((triple6) -> rule1))] The mouse is red.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the rabbit.[(triple9)] The rabbit does not like the mouse.[(triple11)] The rabbit does not visit the bald eagle.[(triple13)] The rabbit is green.[(triple10)] The rabbit needs the bald eagle.[(triple12)] The squirrel is green.[(triple14)] The squirrel is nice.[(triple15)] @1: The bald eagle is not nice.[(((triple1) -> rule2))] @2: The bald eagle visits the mouse.[(((triple3 ((triple1) -> rule2)) -> rule5))] @3: The mouse needs the bald eagle.[(((((triple3 ((triple1) -> rule2)) -> rule5)) -> rule6))]