The rabbit eats the tiger. The rabbit is kind. The squirrel eats the tiger. The squirrel is big. The squirrel is kind. The squirrel is young. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger likes the squirrel. The tiger sees the rabbit. If the rabbit does not eat the squirrel and the squirrel is not rough then the rabbit is big. If the tiger likes the rabbit and the tiger eats the squirrel then the tiger eats the rabbit. If something likes the squirrel then the squirrel eats the tiger. If the squirrel is young and the squirrel sees the rabbit then the squirrel does not like the rabbit. If something is big and it does not eat the squirrel then the squirrel likes the rabbit. If something is kind then it is young. If something is young then it does not like the rabbit. If something eats the rabbit then the rabbit is not green.
The squirrel does not like the rabbit.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is kind.[(triple2)] The squirrel eats the tiger.[(triple3 OR ((triple9) -> rule3))] The squirrel is big.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is young.[(triple6 OR ((triple5) -> rule6))] The squirrel sees the rabbit.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger likes the squirrel.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The rabbit is young.[(((triple2) -> rule6))] The squirrel does not like the rabbit.[(((triple6) -> rule7) OR ((triple6 triple7) -> rule4) OR ((((triple5) -> rule6)) -> rule7) OR ((((triple5) -> rule6) triple7) -> rule4))] @2: The rabbit does not like the rabbit.[(((((triple2) -> rule6)) -> rule7))]