The dog likes the rabbit. The lion visits the dog. The rabbit is green. If something sees the dog then it sees the lion. If the lion visits the rabbit then the lion visits the dog. If something is nice then it sees the dog. If the rabbit is nice then the rabbit sees the dog. If something visits the rabbit then the rabbit is nice. If something visits the dog then the dog is green. If something sees the lion then the lion is green. If something sees the rabbit and it is red then it sees the lion.
The dog does not visit the dog.
@0: The dog likes the rabbit.[(triple1)] The lion visits the dog.[(triple2)] The rabbit is green.[(triple3)] @1: The dog is green.[(((triple2) -> rule6))]