The cat visits the squirrel. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If the cat visits the squirrel then the squirrel sees the cat. If someone sees the cat and they visit the cat then they do not see the squirrel.
The cat is nice.
@0: The cat visits the squirrel.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel likes the cat.[(triple5)] The squirrel sees the cat.[(triple6 OR ((triple1) -> rule1))] The squirrel visits the cat.[(triple7)] @1: The squirrel does not see the squirrel.[(((triple6 triple7) -> rule2) OR ((((triple1) -> rule1) triple7) -> rule2))]