The cow chases the tiger. The cow is cold. The cow is green. The cow is kind. The cow is not red. The cow is not rough. The cow needs the tiger. The cow visits the tiger. The tiger does not chase the cow. The tiger is not cold. The tiger is green. The tiger is kind. The tiger is not red. The tiger needs the cow. The tiger does not visit the cow. If something is kind and it chases the cow then it is red. If something chases the tiger and it is not rough then the tiger needs the cow. If something needs the tiger and it does not need the cow then it visits the cow. If something visits the cow then it needs the tiger. If something needs the tiger and the tiger does not need the cow then the cow visits the tiger. If the tiger chases the cow and the cow visits the tiger then the tiger is cold.
The tiger visits the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is not red.[(triple5)] The cow is not rough.[(triple6)] The cow needs the tiger.[(triple7)] The cow visits the tiger.[(triple8)] The tiger does not chase the cow.[(triple9)] The tiger does not visit the cow.[(triple15)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is not cold.[(triple10)] The tiger is not red.[(triple13)] The tiger needs the cow.[(triple14 OR ((triple1 triple6) -> rule2))]