The dog is green. The dog sees the lion. The lion is young. If the dog sees the lion then the dog is nice. If something sees the lion then it is big. If something sees the dog then it is red. If the dog is big then the dog is red. If the dog is green then the dog is young. If the dog is big and the dog likes the lion then the lion needs the dog. If the dog likes the lion and the lion needs the dog then the lion is green. If something is red then it needs the dog.
The lion likes the lion.
@0: The dog is green.[(triple1)] The dog sees the lion.[(triple2)] The lion is young.[(triple3)] @1: The dog is big.[(((triple2) -> rule2))] The dog is nice.[(((triple2) -> rule1))] The dog is young.[(((triple1) -> rule5))] @2: The dog is red.[(((((triple2) -> rule2)) -> rule4))] @3: The dog needs the dog.[(((((((triple2) -> rule2)) -> rule4)) -> rule8))]