The squirrel is cold. The squirrel is green. The squirrel likes the tiger. The squirrel visits the tiger. The tiger likes the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If the squirrel is cold then the squirrel sees the tiger. Round things are green.
The squirrel does not see the tiger.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger likes the squirrel.[(triple5)] The tiger sees the squirrel.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The squirrel sees the tiger.[(((triple1) -> rule1))]