The squirrel chases the tiger. The squirrel is nice. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is nice. The tiger is red. If someone is nice and they chase the tiger then they are red. If someone chases the tiger and they chase the squirrel then the squirrel chases the tiger. If someone is nice and they eat the tiger then they are cold. If someone eats the tiger then the tiger eats the squirrel. If someone is green and they chase the tiger then the tiger chases the squirrel. If the squirrel is green and the squirrel eats the tiger then the squirrel chases the tiger. If someone eats the squirrel and the squirrel is red then the squirrel needs the tiger. If someone is rough then they chase the tiger.
The squirrel is not cold.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is nice.[(triple2)] The squirrel needs the tiger.[(triple3 OR ((triple5 ((triple2 triple1) -> rule1)) -> rule7))] The tiger chases the squirrel.[(triple4)] The tiger eats the squirrel.[(triple5)] The tiger is nice.[(triple6)] The tiger is red.[(triple7)] @1: The squirrel is red.[(((triple2 triple1) -> rule1))]