The squirrel chases the tiger. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel sees the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is nice. The tiger is round. The tiger sees the squirrel. The tiger visits the squirrel. If someone visits the squirrel and the squirrel sees the tiger then the tiger sees the squirrel.
The squirrel is cold.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel sees the tiger.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger chases the squirrel.[(triple7)] The tiger is cold.[(triple8)] The tiger is nice.[(triple9)] The tiger is round.[(triple10)] The tiger sees the squirrel.[(triple11 OR ((triple12 triple5) -> rule1))] The tiger visits the squirrel.[(triple12)]