The cow eats the tiger. The cow is not rough. The cow needs the tiger. The cow sees the dog. The cow sees the tiger. The dog eats the tiger. The dog is not kind. The dog is not rough. The dog is not round. The dog does not need the cow. The dog needs the tiger. The dog sees the tiger. The tiger is not green. The tiger needs the cow. The tiger does not need the dog. The tiger sees the dog. If something eats the tiger then the tiger is not round. If something eats the dog and it sees the dog then the dog needs the cow. If something eats the dog and it does not need the tiger then it is red.
The tiger needs the dog.
@0: The cow eats the tiger.[(triple1)] The cow is not rough.[(triple2)] The cow needs the tiger.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the tiger.[(triple5)] The dog does not need the cow.[(triple10)] The dog eats the tiger.[(triple6)] The dog is not kind.[(triple7)] The dog is not rough.[(triple8)] The dog is not round.[(triple9)] The dog needs the tiger.[(triple11)] The dog sees the tiger.[(triple12)] The tiger does not need the dog.[(triple15)] The tiger is not green.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the dog.[(triple16)] @1: The tiger is not round.[(((triple1) -> rule1) OR ((triple6) -> rule1))]