The dog likes the rabbit. The lion is rough. The rabbit likes the dog. If something sees the rabbit then the rabbit sees the lion. If something likes the dog then the dog needs the lion. If the rabbit sees the dog then the rabbit is round. If the rabbit is round then the rabbit needs the dog. If the rabbit likes the lion then the rabbit likes the dog. Rough things are green.
The rabbit does not like the dog.
@0: The dog likes the rabbit.[(triple1)] The lion is rough.[(triple2)] The rabbit likes the dog.[(triple3)] @1: The dog needs the lion.[(((triple3) -> rule2))] The lion is green.[(((triple2) -> rule6))]