The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle is cold. The lion chases the bald eagle. The lion does not chase the mouse. The lion chases the squirrel. The lion is blue. The lion needs the squirrel. The lion visits the squirrel. The mouse does not visit the bald eagle. The mouse does not visit the squirrel. The squirrel is cold. The squirrel is red. The squirrel does not visit the lion. If something visits the mouse then the mouse is green. If the mouse does not chase the lion then the mouse needs the lion. If something visits the squirrel and the squirrel does not chase the lion then the lion is green. If something is young then it visits the bald eagle. If something visits the bald eagle then the bald eagle visits the squirrel. If something visits the squirrel and the squirrel is red then it is young. If something needs the squirrel and it is not cold then the squirrel chases the bald eagle.
The bald eagle does not visit the squirrel.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion chases the squirrel.[(triple6)] The lion does not chase the mouse.[(triple5)] The lion is blue.[(triple7)] The lion needs the squirrel.[(triple8)] The lion visits the squirrel.[(triple9)] The mouse does not visit the bald eagle.[(triple10)] The mouse does not visit the squirrel.[(triple11)] The squirrel does not visit the lion.[(triple14)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] @1: The lion is young.[(((triple9 triple13) -> rule6))] @2: The lion visits the bald eagle.[(((((triple9 triple13) -> rule6)) -> rule4))] @3: The bald eagle visits the squirrel.[(((((((triple9 triple13) -> rule6)) -> rule4)) -> rule5))] @4: The bald eagle is young.[(((((((((triple9 triple13) -> rule6)) -> rule4)) -> rule5) triple13) -> rule6))] @5: The bald eagle visits the bald eagle.[(((((((((((triple9 triple13) -> rule6)) -> rule4)) -> rule5) triple13) -> rule6)) -> rule4))]