The cat is cold. The cat needs the squirrel. The cat sees the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel needs the cat. The squirrel visits the cat. If someone visits the cat and the cat is green then the cat visits the squirrel. If someone visits the cat then the cat sees the squirrel. If someone is blue then they see the squirrel. If someone needs the squirrel then they see the squirrel. If the cat sees the squirrel then the squirrel is green. If someone visits the squirrel then the squirrel visits the cat. If someone is blue then they visit the cat. If someone sees the squirrel then they see the cat.
The cat does not visit the cat.
@0: The cat is cold.[(triple1)] The cat needs the squirrel.[(triple2)] The cat sees the squirrel.[(triple3 OR ((triple10) -> rule2) OR ((triple2) -> rule4) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] The cat visits the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the cat.[(triple10 OR ((triple4) -> rule6) OR ((triple5) -> rule7))] @1: The cat sees the cat.[(((triple3) -> rule8) OR ((((triple10) -> rule2)) -> rule8) OR ((((triple2) -> rule4)) -> rule8) OR ((((((triple4) -> rule6)) -> rule2)) -> rule8) OR ((((((triple5) -> rule7)) -> rule2)) -> rule8))] The squirrel is green.[(((triple3) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule2)) -> rule5))] The squirrel sees the squirrel.[(((triple5) -> rule3))] @2: The squirrel sees the cat.[(((((triple5) -> rule3)) -> rule8))]