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