The cow is cold. The cow is kind. The cow is red. The cow sees the tiger. The tiger is cold. The tiger is kind. The tiger is red. The tiger likes the cow. The tiger needs the cow. The tiger sees the cow. If something is cold then it does not need the tiger. If something likes the cow and it is not red then it likes the tiger. If something is green and red then it likes the tiger. If something likes the tiger then it likes the cow. If something is blue and it likes the tiger then it does not need the cow. If something is cold and it does not like the tiger then the tiger needs the cow.
The cow does not like the cow.
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow sees the tiger.[(triple4)] The tiger is cold.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger likes the cow.[(triple8)] The tiger needs the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow does not need the tiger.[(((triple1) -> rule1))] The tiger does not need the tiger.[(((triple5) -> rule1))]