The dog likes the tiger. The tiger is cold. If something eats the tiger and it likes the tiger then the tiger likes the dog. If the tiger likes the dog then the tiger chases the dog. If something is cold and it eats the dog then it chases the dog. If something eats the tiger and it likes the dog then the tiger likes the dog. If something eats the tiger and the tiger chases the dog then the tiger eats the dog. If something chases the dog then the dog likes the tiger. If something chases the dog then the dog chases the tiger. If something likes the tiger then it eats the tiger.
The dog is not round.
@0: The dog likes the tiger.[(triple1)] The tiger is cold.[(triple2)] @1: The dog eats the tiger.[(((triple1) -> rule8))] @2: The tiger likes the dog.[(((((triple1) -> rule8) triple1) -> rule1))] @3: The tiger chases the dog.[(((((((triple1) -> rule8) triple1) -> rule1)) -> rule2))] @4: The dog chases the tiger.[(((((((((triple1) -> rule8) triple1) -> rule1)) -> rule2)) -> rule7))] The tiger eats the dog.[(((((triple1) -> rule8) ((((((triple1) -> rule8) triple1) -> rule1)) -> rule2)) -> rule5))]