The cow does not eat the dog. The cow is blue. The cow is green. The dog is not blue. The dog is red. The rabbit eats the cow. The rabbit eats the dog. The rabbit eats the tiger. The rabbit visits the cow. The rabbit visits the dog. The tiger eats the rabbit. The tiger is blue. The tiger is cold. The tiger is red. The tiger does not visit the dog. If someone eats the cow then the cow is cold. If someone visits the tiger and the tiger visits the dog then the tiger visits the cow. If the dog visits the cow and the cow is not blue then the cow eats the rabbit.
The cow is blue.
@0: The cow does not eat the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The dog is not blue.[(triple4)] The dog is red.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit visits the cow.[(triple9)] The rabbit visits the dog.[(triple10)] The tiger does not visit the dog.[(triple15)] The tiger eats the rabbit.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is red.[(triple14)] @1: The cow is cold.[(((triple6) -> rule1))]