The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle does not need the squirrel. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The bald eagle visits the rabbit. The bald eagle visits the squirrel. The mouse is blue. The mouse visits the rabbit. The mouse visits the squirrel. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit does not see the bald eagle. The squirrel needs the bald eagle. If someone needs the mouse and the mouse is blue then the mouse is nice. If someone needs the squirrel then they need the mouse. If someone is nice and they visit the mouse then they visit the rabbit. If someone sees the mouse and they visit the squirrel then they do not visit the rabbit. If the mouse visits the bald eagle then the mouse is blue. If someone is green and they do not need the bald eagle then the bald eagle is nice. If someone is nice then they need the squirrel. If someone sees the squirrel and the squirrel sees the bald eagle then the squirrel needs the rabbit.
The mouse sees the squirrel.
@0: The bald eagle does not need the squirrel.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle sees the rabbit.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The bald eagle visits the squirrel.[(triple8)] The mouse is blue.[(triple9)] The mouse visits the rabbit.[(triple10)] The mouse visits the squirrel.[(triple11)] The rabbit does not see the bald eagle.[(triple15)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The squirrel needs the bald eagle.[(triple16)] @1: The rabbit needs the squirrel.[(((triple14) -> rule7))] @2: The rabbit needs the mouse.[(((((triple14) -> rule7)) -> rule2))] @3: The mouse is nice.[(((((((triple14) -> rule7)) -> rule2) triple9) -> rule1))] @4: The mouse needs the squirrel.[(((((((((triple14) -> rule7)) -> rule2) triple9) -> rule1)) -> rule7))] @5: The mouse needs the mouse.[(((((((((((triple14) -> rule7)) -> rule2) triple9) -> rule1)) -> rule7)) -> rule2))]