The dog chases the tiger. The dog eats the tiger. The dog is blue. The dog is cold. The dog is green. The dog is rough. The dog sees the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is blue. The tiger is cold. The tiger is green. The tiger is rough. The tiger is round. The tiger sees the dog. If something is rough then it eats the tiger. If something chases the dog then the dog is blue.
The tiger does not eat the dog.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2 OR ((triple6) -> rule1))] The dog is blue.[(triple3 OR ((triple8) -> rule2))] The dog is cold.[(triple4)] The dog is green.[(triple5)] The dog is rough.[(triple6)] The dog sees the tiger.[(triple7)] The tiger chases the dog.[(triple8)] The tiger eats the dog.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger sees the dog.[(triple15)] @1: The tiger eats the tiger.[(((triple13) -> rule1))]