The squirrel chases the tiger. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel sees the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is round. The tiger sees the squirrel. The tiger visits the squirrel. If someone is round then they see the squirrel. If someone visits the squirrel and the squirrel chases the tiger then the tiger chases the squirrel.
The tiger does not see the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)] The squirrel sees the tiger.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the squirrel.[(triple8 OR ((triple15 triple1) -> rule2))] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13)] The tiger sees the squirrel.[(triple14 OR ((triple13) -> rule1))] The tiger visits the squirrel.[(triple15)] @1: The squirrel sees the squirrel.[(((triple5) -> rule1))]