The bald eagle is cold. The bear eats the squirrel. The bear is kind. The bear needs the cat. The cat is kind. The cat visits the bald eagle. The cat visits the bear. The cat visits the squirrel. The squirrel is rough. The squirrel needs the bald eagle. The squirrel needs the bear. The squirrel visits the bald eagle. If something visits the squirrel then the squirrel eats the cat. If something eats the cat and it is big then the cat visits the bald eagle. If something visits the squirrel and it eats the bald eagle then the squirrel is kind. If something is red and it needs the cat then the cat eats the bald eagle. If something is kind then it needs the squirrel. If something visits the bald eagle then it needs the bald eagle. If something is red then it eats the cat. If something eats the bald eagle and it needs the squirrel then the bald eagle visits the bear. If something needs the squirrel then it is red.
The cat visits the squirrel.
@0: The bald eagle is cold.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is kind.[(triple3)] The bear needs the cat.[(triple4)] The cat is kind.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the bald eagle.[(triple10 OR ((triple12) -> rule6))] The squirrel needs the bear.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The bear needs the squirrel.[(((triple3) -> rule5))] The cat needs the bald eagle.[(((triple6) -> rule6))] The cat needs the squirrel.[(((triple5) -> rule5))] The squirrel eats the cat.[(((triple8) -> rule1) OR ((((((((triple8 ((((((triple3) -> rule5)) -> rule9) triple4) -> rule4)) -> rule3)) -> rule5)) -> rule9)) -> rule7))] @2: The bear is red.[(((((triple3) -> rule5)) -> rule9))] The cat is red.[(((((triple5) -> rule5)) -> rule9))] @3: The bear eats the cat.[(((((((triple3) -> rule5)) -> rule9)) -> rule7))] The cat eats the bald eagle.[(((((((triple3) -> rule5)) -> rule9) triple4) -> rule4))] The cat eats the cat.[(((((((triple5) -> rule5)) -> rule9)) -> rule7))] @4: The bald eagle visits the bear.[(((((((((triple3) -> rule5)) -> rule9) triple4) -> rule4) ((triple5) -> rule5)) -> rule8))] The squirrel is kind.[(((triple8 ((((((triple3) -> rule5)) -> rule9) triple4) -> rule4)) -> rule3))] @5: The squirrel needs the squirrel.[(((((triple8 ((((((triple3) -> rule5)) -> rule9) triple4) -> rule4)) -> rule3)) -> rule5))] @6: The squirrel is red.[(((((((triple8 ((((((triple3) -> rule5)) -> rule9) triple4) -> rule4)) -> rule3)) -> rule5)) -> rule9))]