The dog likes the rabbit. The rabbit likes the dog. If the dog likes the rabbit then the rabbit chases the dog. If something chases the dog then it is not round. If the dog sees the rabbit then the dog is blue.
The rabbit is big.
@0: The dog likes the rabbit.[(triple1)] The rabbit likes the dog.[(triple2)] @1: The rabbit chases the dog.[(((triple1) -> rule1))] @2: The rabbit is not round.[(((((triple1) -> rule1)) -> rule2))]