The cow is green. The cow is not nice. The cow is rough. The cow is round. The cow is young. The cow needs the tiger. The cow sees the tiger. The cow does not visit the tiger. The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. The tiger needs the cow. The tiger sees the cow. The tiger does not visit the cow. If someone needs the cow and they are not young then they are rough. If someone is nice and round then they do not visit the tiger. If someone is round and they do not see the cow then they are green. If someone needs the cow and the cow visits the tiger then they need the tiger. If the cow is nice and the cow is not rough then the cow needs the tiger. If someone sees the cow and they do not need the tiger then they see the tiger.
The cow visits the cow.
@0: The cow does not visit the tiger.[(triple8)] The cow is green.[(triple1)] The cow is not nice.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The tiger does not visit the cow.[(triple16)] The tiger is green.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the cow.[(triple15)] @1: The tiger does not visit the tiger.[(((triple10 triple12) -> rule2))]