The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel sees the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is not round. The tiger sees the squirrel. If the tiger is not blue then the tiger does not chase the squirrel. If someone chases the tiger then the tiger is cold. If someone eats the tiger then the tiger eats the squirrel. If someone is green and they do not see the tiger then they are not round. If someone chases the tiger then they are round. If someone sees the squirrel and they do not eat the squirrel then they are cold.
The squirrel sees the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is cold.[(triple4)] The squirrel is green.[(triple5)] The squirrel is red.[(triple6)] The squirrel is round.[(triple7 OR ((triple1) -> rule5))] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10 OR ((triple2) -> rule3))] The tiger is blue.[(triple11)] The tiger is cold.[(triple12 OR ((triple1) -> rule2))] The tiger is green.[(triple13)] The tiger is not round.[(triple15)] The tiger is red.[(triple14)] The tiger sees the squirrel.[(triple16)]