The dog chases the tiger. The dog eats the tiger. The dog is cold. The dog is not rough. The tiger does not chase the dog. The tiger eats the dog. The tiger needs the dog. If something eats the tiger and it needs the tiger then the tiger does not eat the dog. If something chases the dog then it needs the tiger. Green things are cold. If something eats the dog then it is not cold. If something chases the tiger then the tiger is not rough. If something eats the dog and the dog needs the tiger then the tiger is green. If the dog is green then the dog chases the tiger. If something eats the dog and the dog does not chase the tiger then it needs the dog.
The tiger is round.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is not rough.[(triple4)] The tiger does not chase the dog.[(triple5)] The tiger eats the dog.[(triple6)] The tiger needs the dog.[(triple7)] @1: The tiger is not cold.[(((triple6) -> rule4))] The tiger is not rough.[(((triple1) -> rule5))]