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 sees the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is young. The tiger sees the cow. The tiger visits the cow. If someone is cold then they see the tiger.
The tiger is young.
@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 sees the tiger.[(triple7 OR ((triple3) -> rule1))] The cow visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger sees the cow.[(triple15)] The tiger visits the cow.[(triple16)] @1: The tiger sees the tiger.[(((triple11) -> rule1))]