The cat chases the dog. The cat is not nice. The cat sees the tiger. The dog is cold. The dog is green. The dog sees the cat. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is nice. The rabbit does not see the cat. The rabbit sees the dog. The tiger does not chase the cat. The tiger is not big. The tiger sees the cat. The tiger sees the dog. The tiger does not see the rabbit. If something is green then it eats the tiger. If something eats the cat and it chases the tiger then the tiger chases the dog. If something sees the dog then the dog eats the cat. If something is cold then it chases the cat. If the tiger chases the cat then the cat eats the rabbit. If something eats the tiger and it does not chase the dog then the tiger chases the cat.
The rabbit does not chase the cat.
@0: The cat chases the dog.[(triple1)] The cat is not nice.[(triple2)] The cat sees the tiger.[(triple3)] The dog is cold.[(triple4)] The dog is green.[(triple5)] The dog sees the cat.[(triple6)] The rabbit does not see the cat.[(triple10)] The rabbit eats the dog.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit is nice.[(triple9)] The rabbit sees the dog.[(triple11)] The tiger does not chase the cat.[(triple12)] The tiger does not see the rabbit.[(triple16)] The tiger is not big.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the dog.[(triple15)] @1: The dog chases the cat.[(((triple4) -> rule4))] The dog eats the cat.[(((triple11) -> rule3) OR ((triple15) -> rule3))] The dog eats the tiger.[(((triple5) -> rule1))]