The dog likes the tiger. The tiger is cold. If someone likes the dog then they see the tiger. If someone sees the dog then the dog needs the tiger. If someone likes the tiger then the tiger likes the dog. If someone sees the tiger and they like the dog then the tiger needs the dog. If someone sees the dog and they do not like the dog then the dog sees the tiger. If someone sees the dog and the dog needs the tiger then the dog does not see the tiger. If someone needs the tiger and they see the tiger then the tiger is cold. If the tiger sees the dog and the dog is round then the tiger is cold.
The tiger sees the tiger.
@0: The dog likes the tiger.[(triple1)] The tiger is cold.[(triple2)] @1: The tiger likes the dog.[(((triple1) -> rule3))] @2: The tiger sees the tiger.[(((((triple1) -> rule3)) -> rule1))] @3: The tiger needs the dog.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule4))]