The cow is rough. The cow likes the tiger. The cow does not need the tiger. The cow sees the tiger. The tiger is not cold. The tiger is rough. The tiger is young. The tiger likes the cow. The tiger needs the cow. The tiger sees the cow. If someone sees the cow then they do not like the tiger. If someone is kind and they do not need the tiger then they are young. If someone likes the cow and the cow does not see the tiger then they see the cow.
The cow is not young.
@0: The cow does not need the tiger.[(triple3)] The cow is rough.[(triple1)] The cow likes the tiger.[(triple2)] The cow sees the tiger.[(triple4)] The tiger is not cold.[(triple5)] The tiger is rough.[(triple6)] The tiger is young.[(triple7)] The tiger likes the cow.[(triple8)] The tiger needs the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The tiger does not like the tiger.[(((triple10) -> rule1))]