The dog eats the tiger. The dog is big. The dog is blue. The dog is not nice. The dog is round. The dog likes the tiger. The dog sees the tiger. The tiger eats the dog. The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger likes the dog. The tiger does not see the dog. If the tiger likes the dog then the tiger is nice.
The dog likes the tiger.
@0: The dog eats the tiger.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is not nice.[(triple4)] The dog is round.[(triple5)] The dog likes the tiger.[(triple6)] The dog sees the tiger.[(triple7)] The tiger does not see the dog.[(triple15)] The tiger eats the dog.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12 OR ((triple14) -> rule1))] The tiger is round.[(triple13)] The tiger likes the dog.[(triple14)]