The dog likes the rabbit. The rabbit is nice. The rabbit sees the dog. If someone likes the rabbit then they are red.
The dog likes the dog.
@0: The dog likes the rabbit.[(triple1)] The rabbit is nice.[(triple2)] The rabbit sees the dog.[(triple3)] @1: The dog is red.[(((triple1) -> rule1))]