The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is rough. The squirrel is young. The squirrel needs the tiger. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is young. The tiger needs the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If the tiger is big and the tiger is young then the tiger sees the squirrel. If something is blue then it needs the squirrel. If something needs the tiger and the tiger is blue then it is green.
The squirrel is rough.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3 OR ((triple6 triple10) -> rule3))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel sees the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger needs the squirrel.[(triple14 OR ((triple10) -> rule2))] The tiger sees the squirrel.[(triple15 OR ((triple9 triple13) -> rule1))] The tiger visits the squirrel.[(triple16)] @1: The squirrel needs the squirrel.[(((triple2) -> rule2))]