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