The bald eagle visits the cat. The bald eagle visits the mouse. The bald eagle does not visit the squirrel. The cat is blue. The cat is round. The cat likes the squirrel. The mouse is not blue. The mouse sees the cat. The mouse visits the bald eagle. The mouse visits the cat. The mouse visits the squirrel. The squirrel sees the bald eagle. If someone sees the bald eagle then they are round. If someone sees the squirrel and the squirrel visits the bald eagle then the squirrel does not see the cat. All round people are cold. If someone sees the cat then they visit the squirrel. If the cat visits the mouse then the mouse is blue. If someone sees the squirrel then the squirrel visits the mouse.
The bald eagle does not see the cat.
@0: The bald eagle does not visit the squirrel.[(triple3)] The bald eagle visits the cat.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cat is blue.[(triple4)] The cat is round.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse is not blue.[(triple7)] The mouse sees the cat.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the squirrel.[(triple11 OR ((triple8) -> rule4))] The squirrel sees the bald eagle.[(triple12)] @1: The cat is cold.[(((triple5) -> rule3))] The squirrel is round.[(((triple12) -> rule1))] @2: The squirrel is cold.[(((((triple12) -> rule1)) -> rule3))]