The cow is red. The cow is not round. The cow needs the tiger. The cow does not see the tiger. The tiger does not eat the cow. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. The tiger needs the cow. The tiger sees the cow. If the tiger is round and the tiger sees the cow then the tiger needs the cow. If something needs the tiger then it is not nice. If something is nice then it needs the cow.
The cow is cold.
@0: The cow does not see the tiger.[(triple4)] The cow is not round.[(triple2)] The cow is red.[(triple1)] The cow needs the tiger.[(triple3)] The tiger does not eat the cow.[(triple5)] The tiger is cold.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger is round.[(triple10)] The tiger needs the cow.[(triple11 OR ((triple8) -> rule3) OR ((triple10 triple12) -> rule1))] The tiger sees the cow.[(triple12)] @1: The cow is not nice.[(((triple3) -> rule2))]