The dog eats the tiger. The dog is kind. The rabbit chases the dog. The rabbit chases the tiger. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit sees the dog. The rabbit sees the tiger. The tiger chases the dog. The tiger eats the dog. The tiger eats the rabbit. The tiger sees the rabbit. If something eats the dog then it is kind.
The dog chases the rabbit.
@0: The dog eats the tiger.[(triple1)] The dog is kind.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit is kind.[(triple9 OR ((triple5) -> rule1))] The rabbit is rough.[(triple10)] The rabbit sees the dog.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger chases the dog.[(triple13)] The tiger eats the dog.[(triple14)] The tiger eats the rabbit.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The tiger is kind.[(((triple14) -> rule1))]