The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is cold. The dog is green. The dog is rough. The dog is round. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is cold. The tiger needs the dog. If someone needs the tiger then they need the dog. If someone chases the tiger and the tiger eats the dog then they need the tiger. If someone needs the tiger then the tiger chases the dog.
The tiger does not need the tiger.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is green.[(triple5)] The dog is rough.[(triple6)] The dog is round.[(triple7)] The dog needs the tiger.[(triple8 OR ((triple1 triple10) -> rule2))] The tiger chases the dog.[(triple9 OR ((triple8) -> rule3) OR ((((triple1 triple10) -> rule2)) -> rule3))] The tiger eats the dog.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the dog.[(triple12)] @1: The dog needs the dog.[(((triple8) -> rule1) OR ((((triple1 triple10) -> rule2)) -> rule1))]