The cow chases the tiger. The cow is nice. The cow is red. The cow is rough. The cow likes the tiger. The cow needs the tiger. The tiger chases the cow. The tiger is big. The tiger is cold. The tiger is red. The tiger likes the cow. The tiger needs the cow. If the tiger is cold and the tiger needs the cow then the cow likes the tiger.
The tiger likes the cow.
@0: The cow chases the tiger.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow likes the tiger.[(triple5 OR ((triple9 triple12) -> rule1))] The cow needs the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger is red.[(triple10)] The tiger likes the cow.[(triple11)] The tiger needs the cow.[(triple12)]