The dog likes the rabbit. The dog needs the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is young. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel chases the dog. The squirrel is green. The squirrel is kind. If something needs the squirrel and it chases the squirrel then it likes the squirrel. If something chases the rabbit then the rabbit is green. If something needs the dog then the dog chases the squirrel. If something chases the dog and the dog is big then it chases the squirrel. If something needs the rabbit then it chases the rabbit. If something is green then it chases the rabbit.
The rabbit chases the rabbit.
@0: The dog likes the rabbit.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit is big.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit needs the squirrel.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] @1: The dog chases the rabbit.[(((triple2) -> rule5))] The squirrel chases the rabbit.[(((triple9) -> rule6))] @2: The rabbit is green.[(((((triple2) -> rule5)) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @3: The rabbit chases the rabbit.[(((((((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple9) -> rule6)) -> rule2)) -> rule6))]