The dog likes the rabbit. The rabbit is blue. If something likes the rabbit then the rabbit is young. If something chases the rabbit then it likes the rabbit. If something likes the rabbit then the rabbit chases the dog. If something chases the dog then it needs the dog. If something needs the dog then it chases the rabbit. If something needs the dog and the dog is young then the dog chases the rabbit. If something is nice then it chases the rabbit. If something needs the dog and it chases the rabbit then the rabbit needs the dog.
The rabbit chases the dog.
@0: The dog likes the rabbit.[(triple1)] The rabbit is blue.[(triple2)] @1: The rabbit chases the dog.[(((triple1) -> rule3))] The rabbit is young.[(((triple1) -> rule1) OR ((((((((((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule2)) -> rule1))] @2: The rabbit needs the dog.[(((((triple1) -> rule3)) -> rule4))] @3: The rabbit chases the rabbit.[(((((((triple1) -> rule3)) -> rule4)) -> rule5))] @4: The rabbit likes the rabbit.[(((((((((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule2))]