The dog chases the tiger. The dog is cold. The dog is kind. The dog is not rough. The dog does not need the tiger. The tiger does not chase the dog. The tiger is nice. If something likes the tiger and it is not kind then the tiger is not nice. If something is nice and it does not like the tiger then it is not rough. If the dog does not need the tiger then the tiger needs the dog. If the tiger likes the dog then the tiger chases the dog. If something likes the tiger and it chases the dog then the dog does not chase the tiger. If something needs the dog then it does not like the dog. If something likes the tiger then the tiger likes the dog. If the tiger does not like the dog then the tiger is young.
The tiger is not young.
@0: The dog chases the tiger.[(triple1)] The dog does not need the tiger.[(triple5)] The dog is cold.[(triple2)] The dog is kind.[(triple3)] The dog is not rough.[(triple4)] The tiger does not chase the dog.[(triple6)] The tiger is nice.[(triple7)] @1: The tiger needs the dog.[(((triple5) -> rule3))] @2: The tiger does not like the dog.[(((((triple5) -> rule3)) -> rule6))] @3: The tiger is young.[(((((((triple5) -> rule3)) -> rule6)) -> rule8))]