The dog needs the tiger. The lion needs the dog. The tiger needs the dog. If someone is green then they are rough. If someone needs the tiger and they eat the tiger then they are green. If someone needs the lion then they are rough. All green people are nice. If someone is rough and green then they need the tiger. If someone is blue then they need the lion. If the tiger needs the dog then the dog eats the tiger. If someone is young then they eat the lion.
The dog does not need the tiger.
@0: The dog needs the tiger.[(triple1)] The lion needs the dog.[(triple2)] The tiger needs the dog.[(triple3)] @1: The dog eats the tiger.[(((triple3) -> rule7))] @2: The dog is green.[(((triple1 ((triple3) -> rule7)) -> rule2))] @3: The dog is nice.[(((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule4))] The dog is rough.[(((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule1))]