The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is cold. The tiger is green. The tiger is rough. The tiger needs the squirrel. If someone eats the tiger then they eat the squirrel. If someone chases the squirrel then the squirrel eats the tiger. If someone needs the squirrel and the squirrel needs the tiger then the squirrel eats the tiger. If someone chases the squirrel then the squirrel chases the tiger. If someone is cold then they need the tiger. If someone chases the squirrel and the squirrel is cold then the squirrel is big.
The tiger needs the squirrel.
@0: The squirrel chases the tiger.[(triple1 OR ((triple9) -> rule4))] The squirrel eats the tiger.[(triple2 OR ((triple9) -> rule2) OR ((triple16 triple8) -> rule3) OR ((triple16 ((triple5) -> rule5)) -> rule3))] The squirrel is big.[(triple3 OR ((triple9 triple5) -> rule6))] The squirrel is blue.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is green.[(triple6)] The squirrel is rough.[(triple7)] The squirrel needs the tiger.[(triple8 OR ((triple5) -> rule5))] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is green.[(triple14)] The tiger is rough.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The squirrel eats the squirrel.[(((triple2) -> rule1) OR ((((triple9) -> rule2)) -> rule1) OR ((((triple16 triple8) -> rule3)) -> rule1) OR ((((triple16 ((triple5) -> rule5)) -> rule3)) -> rule1))] The tiger needs the tiger.[(((triple13) -> rule5))]