The squirrel sees the tiger. The squirrel does not visit the tiger. The tiger is big. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. The tiger likes the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If the squirrel likes the tiger and the tiger sees the squirrel then the tiger is big. If the tiger visits the squirrel then the tiger sees the squirrel. If someone is young and they like the squirrel then the squirrel is red. If someone is big then they like the squirrel. If the squirrel is rough and the squirrel is red then the squirrel visits the tiger. If someone sees the tiger and they do not see the squirrel then the squirrel does not visit the tiger. If the squirrel is big then the squirrel does not visit the tiger. If someone visits the tiger then they are big.
The tiger visits the squirrel.
@0: The squirrel does not visit the tiger.[(triple2)] The squirrel sees the tiger.[(triple1)] The tiger is big.[(triple3)] The tiger is nice.[(triple4)] The tiger is red.[(triple5)] The tiger is rough.[(triple6)] The tiger is young.[(triple7)] The tiger likes the squirrel.[(triple8 OR ((triple3) -> rule4))] The tiger sees the squirrel.[(triple9 OR ((triple10) -> rule2))] The tiger visits the squirrel.[(triple10)] @1: The squirrel is red.[(((triple7 triple8) -> rule3) OR ((triple7 ((triple3) -> rule4)) -> rule3))]