The dog is rough. The lion visits the dog. The rabbit likes the dog. Big things are green. If something visits the dog then it visits the rabbit. If something is rough and it likes the lion then the lion visits the dog. If something visits the rabbit then the rabbit is big. If something sees the lion and the lion is green then it visits the dog. If something visits the lion then the lion likes the dog. If something visits the dog then it sees the rabbit. If the rabbit likes the lion then the lion is big.
The rabbit is rough.
@0: The dog is rough.[(triple1)] The lion visits the dog.[(triple2)] The rabbit likes the dog.[(triple3)] @1: The lion sees the rabbit.[(((triple2) -> rule7))] The lion visits the rabbit.[(((triple2) -> rule2))] @2: The rabbit is big.[(((((triple2) -> rule2)) -> rule4))] @3: The rabbit is green.[(((((((triple2) -> rule2)) -> rule4)) -> rule1))]