The cow does not need the dog. The cow sees the dog. The dog eats the cow. The dog is blue. The dog is kind. The dog is red. The dog sees the cow. The dog sees the tiger. The tiger eats the dog. The tiger is green. The tiger is kind. The tiger sees the cow. If the dog sees the cow then the cow eats the tiger.
The tiger is red.
@0: The cow does not need the dog.[(triple1)] The cow sees the dog.[(triple2)] The dog eats the cow.[(triple3)] The dog is blue.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the tiger.[(triple8)] The tiger eats the dog.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow eats the tiger.[(((triple7) -> rule1))]