The squirrel chases the tiger. The squirrel is big. The squirrel likes the tiger. The squirrel sees the tiger. The tiger is kind. The tiger is not nice. The tiger sees the squirrel. If the tiger is nice then the tiger likes the squirrel. If someone chases the tiger and the tiger sees the squirrel then the tiger likes the squirrel. If someone chases the tiger then they see the tiger. If someone likes the squirrel then they chase the tiger. If someone is kind and they like the squirrel then they are round. If the squirrel likes the tiger and the squirrel sees the tiger then the tiger chases the squirrel. If someone is kind and they like the tiger then the tiger does not chase the squirrel. If someone is nice then they are cold.
The tiger does not see the tiger.
@0: The squirrel chases the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel sees the tiger.[(triple4 OR ((triple1) -> rule3))] The tiger is kind.[(triple5)] The tiger is not nice.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The tiger chases the squirrel.[(((triple3 triple4) -> rule6) OR ((triple3 ((triple1) -> rule3)) -> rule6))] The tiger likes the squirrel.[(((triple1 triple7) -> rule2))] @2: The tiger chases the tiger.[(((((triple1 triple7) -> rule2)) -> rule4))] The tiger is round.[(((triple5 ((triple1 triple7) -> rule2)) -> rule5))] @3: The tiger sees the tiger.[(((((((triple1 triple7) -> rule2)) -> rule4)) -> rule3))]