The dog is nice. The dog is red. The dog likes the rabbit. The dog needs the rabbit. The rabbit is nice. The rabbit likes the dog. The rabbit needs the dog. If someone needs the rabbit then they see the rabbit. If someone likes the dog then they need the rabbit.
The dog does not like the dog.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog likes the rabbit.[(triple3)] The dog needs the rabbit.[(triple4)] The rabbit is nice.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The dog sees the rabbit.[(((triple4) -> rule1))] The rabbit needs the rabbit.[(((triple6) -> rule2))] @2: The rabbit sees the rabbit.[(((((triple6) -> rule2)) -> rule1))]