The dog eats the lion. The dog is rough. The dog is young. The dog needs the lion. The dog visits the lion. The lion eats the dog. The lion needs the dog. If something eats the dog then the dog is green. If something is cold then it needs the dog. If the dog is cold and the dog eats the lion then the lion visits the dog. If something eats the dog then the dog is green. If something visits the lion then it visits the dog. If the dog eats the lion then the lion visits the dog.
The dog visits the lion.
@0: The dog eats the lion.[(triple1)] The dog is rough.[(triple2)] The dog is young.[(triple3)] The dog needs the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion eats the dog.[(triple6)] The lion needs the dog.[(triple7)] @1: The dog is green.[(((triple6) -> rule1) OR ((triple6) -> rule4))] The dog visits the dog.[(((triple5) -> rule5))] The lion visits the dog.[(((triple1) -> rule6))]