The rabbit likes the squirrel. The squirrel is round. If the rabbit is round then the rabbit likes the squirrel. If someone needs the rabbit and they like the rabbit then the rabbit is nice. If someone chases the rabbit then the rabbit needs the squirrel. If someone likes the rabbit and they like the squirrel then the squirrel is green. If someone likes the squirrel then they chase the rabbit. If someone needs the squirrel then they are young. If someone is green then they like the rabbit. If someone is round then they are green.
The rabbit does not like the squirrel.
@0: The rabbit likes the squirrel.[(triple1)] The squirrel is round.[(triple2)] @1: The rabbit chases the rabbit.[(((triple1) -> rule5))] The squirrel is green.[(((triple2) -> rule8))] @2: The rabbit needs the squirrel.[(((((triple1) -> rule5)) -> rule3))] The squirrel likes the rabbit.[(((((triple2) -> rule8)) -> rule7))] @3: The rabbit is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]