The bald eagle is cold. The bald eagle visits the mouse. The mouse likes the bald eagle. The mouse likes the squirrel. The rabbit is cold. The rabbit is round. The rabbit does not like the squirrel. The rabbit needs the mouse. The rabbit does not visit the bald eagle. The squirrel visits the bald eagle. The squirrel does not visit the mouse. The squirrel visits the rabbit. If something likes the mouse then it needs the rabbit. If something likes the mouse and it is round then the mouse is cold. If the rabbit visits the bald eagle then the bald eagle is blue. If the rabbit is green then the rabbit does not need the bald eagle. If something is nice and it needs the bald eagle then the bald eagle visits the rabbit. If something visits the squirrel and the squirrel needs the mouse then it does not like the squirrel. If something is nice and it does not need the bald eagle then the bald eagle does not need the mouse. If something needs the mouse then it is blue.
The mouse does not need the rabbit.
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the mouse.[(triple2)] The mouse likes the bald eagle.[(triple3)] The mouse likes the squirrel.[(triple4)] The rabbit does not like the squirrel.[(triple7)] The rabbit does not visit the bald eagle.[(triple9)] The rabbit is cold.[(triple5)] The rabbit is round.[(triple6)] The rabbit needs the mouse.[(triple8)] The squirrel does not visit the mouse.[(triple11)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the rabbit.[(triple12)] @1: The rabbit is blue.[(((triple8) -> rule8))]