The rabbit chases the tiger. The rabbit is nice. The rabbit likes the squirrel. The rabbit likes the tiger. The rabbit needs the tiger. The squirrel chases the rabbit. The squirrel is big. The squirrel is kind. The squirrel needs the tiger. The tiger is kind. Rough people are kind. If someone is round then they chase the squirrel. If someone needs the squirrel then the squirrel likes the rabbit. If someone likes the rabbit then the rabbit likes the tiger. If someone needs the tiger then the tiger chases the rabbit. If someone needs the squirrel and they like the rabbit then the rabbit chases the squirrel. If someone chases the squirrel and they chase the tiger then the squirrel likes the tiger. If someone is big then they need the squirrel.
The tiger does not chase the squirrel.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is nice.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit likes the tiger.[(triple4 OR ((((((triple7) -> rule8)) -> rule3)) -> rule4))] The rabbit needs the tiger.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is big.[(triple7)] The squirrel is kind.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is kind.[(triple10)] @1: The squirrel needs the squirrel.[(((triple7) -> rule8))] The tiger chases the rabbit.[(((triple5) -> rule5) OR ((triple9) -> rule5))] @2: The squirrel likes the rabbit.[(((((triple7) -> rule8)) -> rule3))] @3: The rabbit chases the squirrel.[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule6))] @4: The squirrel likes the tiger.[(((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule6) triple1) -> rule7))]