The squirrel eats the tiger. The squirrel is not green. The squirrel is kind. The squirrel likes the tiger. The squirrel needs the tiger. The tiger is rough. The tiger needs the squirrel. If someone needs the squirrel and they like the squirrel then the squirrel is rough. If someone likes the squirrel and the squirrel likes the tiger then they like the tiger. If someone is rough and they need the squirrel then the squirrel needs the tiger. If someone is green and kind then they like the squirrel. If someone is young and they eat the tiger then the tiger is blue. If someone is kind and they do not need the squirrel then the squirrel is blue. If someone eats the tiger and the tiger needs the squirrel then the tiger likes the squirrel. If someone likes the tiger and they need the squirrel then they are not young.
The tiger likes the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is kind.[(triple3)] The squirrel is not green.[(triple2)] The squirrel likes the tiger.[(triple4)] The squirrel needs the tiger.[(triple5 OR ((triple6 triple7) -> rule3))] The tiger is rough.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The tiger likes the squirrel.[(((triple1 triple7) -> rule7))] @2: The squirrel is rough.[(((triple7 ((triple1 triple7) -> rule7)) -> rule1))] The tiger likes the tiger.[(((((triple1 triple7) -> rule7) triple4) -> rule2))] @3: The tiger is not young.[(((((((triple1 triple7) -> rule7) triple4) -> rule2) triple7) -> rule8))]