The squirrel eats the tiger. The squirrel is big. The squirrel is not cold. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel likes the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger is big. The tiger is not cold. The tiger is green. The tiger is rough. The tiger is round. The tiger likes the squirrel. The tiger sees the squirrel. If the squirrel eats the tiger then the squirrel sees the tiger. If someone sees the squirrel then the squirrel is big. If the squirrel sees the tiger and the tiger eats the squirrel then the squirrel is big. If someone sees the squirrel then the squirrel likes the tiger. If someone sees the tiger and they are green then the tiger sees the squirrel. If the tiger eats the squirrel and the squirrel does not like the tiger then the squirrel is round.
The squirrel does not like the tiger.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2 OR ((triple16) -> rule2) OR ((triple8 triple9) -> rule3) OR ((((triple8 triple4) -> rule5)) -> rule2) OR ((((triple1) -> rule1) triple9) -> rule3) OR ((((((triple1) -> rule1) triple4) -> rule5)) -> rule2))] The squirrel is green.[(triple4)] The squirrel is not cold.[(triple3)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the tiger.[(triple7 OR ((triple16) -> rule4) OR ((((triple8 triple4) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) triple4) -> rule5)) -> rule4))] The squirrel sees the tiger.[(triple8 OR ((triple1) -> rule1))] The tiger eats the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple12)] The tiger is not cold.[(triple11)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger sees the squirrel.[(triple16 OR ((triple8 triple4) -> rule5) OR ((((triple1) -> rule1) triple4) -> rule5))]