The dog is green. The dog sees the tiger. The tiger is green. The tiger is nice. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If something needs the tiger then the tiger is green. If something sees the tiger then the tiger visits the dog. If something sees the tiger then the tiger needs the dog.
The dog is not green.
@0: The dog is green.[(triple1)] The dog sees the tiger.[(triple2)] The tiger is green.[(triple3)] The tiger is nice.[(triple4)] The tiger needs the dog.[(triple5 OR ((triple2) -> rule3))] The tiger sees the dog.[(triple6)] The tiger visits the dog.[(triple7 OR ((triple2) -> rule2))]