The cow chases the tiger. The cow is big. The cow is cold. The cow is kind. The cow is red. The cow is rough. The cow needs the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. The tiger needs the cow. The tiger sees the cow. If the tiger chases the cow then the cow needs the tiger.
The cow does not see the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow needs the tiger.[(triple7 OR ((triple9) -> rule1))] The cow sees the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the cow.[(triple15)]