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