The dog is green. The dog is kind. The dog likes the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger is round. The tiger likes the dog. The tiger visits the dog. If something visits the dog and it likes the tiger then it is kind. If something visits the dog then it is green.
The dog does not like the tiger.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The dog likes the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The tiger eats the dog.[(triple5)] The tiger is cold.[(triple6)] The tiger is green.[(triple7 OR ((triple12) -> rule2))] The tiger is kind.[(triple8)] The tiger is red.[(triple9)] The tiger is round.[(triple10)] The tiger likes the dog.[(triple11)] The tiger visits the dog.[(triple12)]