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