The rabbit needs the squirrel. The squirrel chases the rabbit. If something needs the rabbit then it is green. If the squirrel is green and the squirrel needs the rabbit then the squirrel is round. If something is rough and it needs the rabbit then it is green. If something sees the rabbit then the rabbit is green. If the squirrel is young and the squirrel needs the rabbit then the squirrel chases the rabbit. If the squirrel chases the rabbit then the squirrel needs the rabbit. If something needs the rabbit and it is red then it chases the squirrel. If something needs the rabbit then the rabbit needs the squirrel.
The squirrel does not chase the squirrel.
@0: The rabbit needs the squirrel.[(triple1 OR ((((triple2) -> rule6)) -> rule8))] The squirrel chases the rabbit.[(triple2)] @1: The squirrel needs the rabbit.[(((triple2) -> rule6))] @2: The squirrel is green.[(((((triple2) -> rule6)) -> rule1))] @3: The squirrel is round.[(((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2))]