The squirrel eats the tiger. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is kind. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. If the tiger is kind then the tiger eats the squirrel. If something is round and it likes the tiger then it likes the squirrel. If something eats the squirrel then the squirrel is cold. If something is nice and cold then it needs the tiger. If the squirrel eats the tiger and the squirrel is young then the squirrel is round. If something likes the squirrel and the squirrel is nice then it eats the squirrel. If something is cold and it likes the squirrel then it likes the tiger. If something is kind then it eats the tiger.
The tiger is not nice.
@0: The squirrel eats the tiger.[(triple1 OR ((triple2) -> rule8))] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is round.[(triple4 OR ((triple1 triple5) -> rule5) OR ((((triple2) -> rule8) triple5) -> rule5))] The squirrel is young.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7 OR ((triple3 ((triple8) -> rule3)) -> rule4) OR ((triple3 ((((triple9) -> rule1)) -> rule3)) -> rule4) OR ((triple3 ((((triple11 triple3) -> rule6)) -> rule3)) -> rule4) OR ((triple3 ((((((triple4 triple6) -> rule2) triple3) -> rule6)) -> rule3)) -> rule4) OR ((triple3 ((((((((triple1 triple5) -> rule5) triple6) -> rule2) triple3) -> rule6)) -> rule3)) -> rule4) OR ((triple3 ((((((((((triple2) -> rule8) triple5) -> rule5) triple6) -> rule2) triple3) -> rule6)) -> rule3)) -> rule4))] The tiger eats the squirrel.[(triple8 OR ((triple9) -> rule1) OR ((triple11 triple3) -> rule6))] The tiger is kind.[(triple9)] The tiger is young.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The squirrel is cold.[(((triple8) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((((triple11 triple3) -> rule6)) -> rule3) OR ((((((triple4 triple6) -> rule2) triple3) -> rule6)) -> rule3) OR ((((((((triple1 triple5) -> rule5) triple6) -> rule2) triple3) -> rule6)) -> rule3) OR ((((((((((triple2) -> rule8) triple5) -> rule5) triple6) -> rule2) triple3) -> rule6)) -> rule3))] The squirrel likes the squirrel.[(((triple4 triple6) -> rule2) OR ((((triple1 triple5) -> rule5) triple6) -> rule2) OR ((((((triple2) -> rule8) triple5) -> rule5) triple6) -> rule2))] The tiger eats the tiger.[(((triple9) -> rule8))] @2: The squirrel eats the squirrel.[(((((triple4 triple6) -> rule2) triple3) -> rule6) OR ((((((triple1 triple5) -> rule5) triple6) -> rule2) triple3) -> rule6) OR ((((((((triple2) -> rule8) triple5) -> rule5) triple6) -> rule2) triple3) -> rule6))]