The dog chases the tiger. The dog is blue. The dog is cold. The dog sees the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is big. The rabbit is cold. The rabbit sees the tiger. The tiger eats the dog. The tiger eats the rabbit. The tiger is green. The tiger is red. The tiger sees the dog. The tiger sees the rabbit. If something chases the rabbit then it is blue. If the tiger eats the dog then the tiger chases the rabbit. If something eats the tiger and the tiger eats the rabbit then the rabbit chases the dog. If something chases the tiger and the tiger eats the dog then the dog chases the rabbit. If something is red and it chases the dog then it chases the tiger. If something is blue and it eats the rabbit then it is cold.
The rabbit sees the dog.
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2 OR ((((triple1 triple11) -> rule4)) -> rule1))] The dog is cold.[(triple3)] The dog sees the rabbit.[(triple4)] The rabbit chases the dog.[(triple5 OR ((triple7 triple12) -> rule3))] The rabbit eats the dog.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9)] The rabbit sees the tiger.[(triple10)] The tiger eats the dog.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is green.[(triple13)] The tiger is red.[(triple14)] The tiger sees the dog.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The dog chases the rabbit.[(((triple1 triple11) -> rule4))] The tiger chases the rabbit.[(((triple11) -> rule2))] @2: The tiger is blue.[(((((triple11) -> rule2)) -> rule1))] @3: The tiger is cold.[(((((((triple11) -> rule2)) -> rule1) triple12) -> rule6))]