The bald eagle is young. The bald eagle does not need the rabbit. The mouse is not blue. The mouse needs the rabbit. The mouse needs the squirrel. The rabbit is blue. The rabbit is young. The rabbit needs the mouse. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel is blue. The squirrel is cold. If someone is blue and they visit the mouse then the mouse visits the squirrel. If someone visits the rabbit then they need the rabbit. If someone needs the squirrel and they need the rabbit then the rabbit does not need the bald eagle. If the mouse needs the bald eagle and the bald eagle is red then the bald eagle does not need the rabbit. If someone likes the squirrel and they are red then the squirrel does not need the rabbit. If someone needs the squirrel then they visit the rabbit. If someone is young and they like the bald eagle then the bald eagle needs the mouse. If someone visits the bald eagle and they do not need the bald eagle then the bald eagle is young.
The squirrel needs the rabbit.
@0: The bald eagle does not need the rabbit.[(triple2)] The bald eagle is young.[(triple1)] The mouse is not blue.[(triple3)] The mouse needs the rabbit.[(triple4 OR ((((triple5) -> rule6)) -> rule2))] The mouse needs the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the mouse.[(triple8)] The rabbit needs the squirrel.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] @1: The mouse visits the rabbit.[(((triple5) -> rule6))] The rabbit does not need the bald eagle.[(((triple5 triple4) -> rule3) OR ((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule3) OR ((triple9 ((((triple9) -> rule6)) -> rule2)) -> rule3))] The rabbit visits the rabbit.[(((triple9) -> rule6))] @2: The rabbit needs the rabbit.[(((((triple9) -> rule6)) -> rule2))]