The cat eats the dog. The cat visits the tiger. The dog is not cold. The dog is nice. The dog likes the cat. The dog does not like the tiger. The dog visits the rabbit. The rabbit likes the tiger. The rabbit visits the tiger. The tiger eats the dog. The tiger is nice. The tiger is not red. The tiger likes the dog. The tiger does not like the rabbit. The tiger visits the cat. If something eats the dog then it is kind.
The dog does not like the dog.
@0: The cat eats the dog.[(triple1)] The cat visits the tiger.[(triple2)] The dog does not like the tiger.[(triple6)] The dog is nice.[(triple4)] The dog is not cold.[(triple3)] The dog likes the cat.[(triple5)] The dog visits the rabbit.[(triple7)] The rabbit likes the tiger.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger does not like the rabbit.[(triple14)] The tiger eats the dog.[(triple10)] The tiger is nice.[(triple11)] The tiger is not red.[(triple12)] The tiger likes the dog.[(triple13)] The tiger visits the cat.[(triple15)] @1: The cat is kind.[(((triple1) -> rule1))] The tiger is kind.[(((triple10) -> rule1))]