The dog chases the tiger. The dog eats the tiger. The dog is blue. The dog is cold. The dog is kind. The dog likes the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is cold. The tiger is kind. The tiger is rough. The tiger likes the dog. If someone eats the tiger and the tiger likes the dog then the dog likes the tiger.
The tiger is cold.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is kind.[(triple5)] The dog likes the tiger.[(triple6 OR ((triple2 triple12) -> rule1))] The tiger chases the dog.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the dog.[(triple12)]