The squirrel chases the tiger. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel needs the tiger. The squirrel visits the tiger. The tiger chases the squirrel. The tiger is big. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is young. The tiger needs the squirrel. The tiger visits the squirrel. If someone is young and nice then they are blue. If someone visits the tiger and they are young then they chase the tiger. If someone is nice and big then they need the squirrel. If someone is big and they need the squirrel then they visit the squirrel. If someone is nice and they do not need the squirrel then they chase the squirrel. If someone chases the squirrel and the squirrel does not chase the tiger then the tiger chases the squirrel.
The tiger does not need the tiger.
@0: The squirrel chases the tiger.[(triple1 OR ((triple8 triple6) -> rule2))] The squirrel is big.[(triple2)] The squirrel is blue.[(triple3 OR ((triple6 triple5) -> rule1))] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11 OR ((triple14 triple13) -> rule1))] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is young.[(triple14)] The tiger needs the squirrel.[(triple15 OR ((triple13 triple10) -> rule3))] The tiger visits the squirrel.[(triple16 OR ((triple10 triple15) -> rule4) OR ((triple10 ((triple13 triple10) -> rule3)) -> rule4))] @1: The squirrel needs the squirrel.[(((triple5 triple2) -> rule3))] @2: The squirrel visits the squirrel.[(((triple2 ((triple5 triple2) -> rule3)) -> rule4))]