The cow chases the lion. The cow chases the tiger. The cow likes the lion. The lion chases the cow. The lion chases the tiger. The lion is young. The lion likes the cow. The lion likes the tiger. The tiger chases the cow. The tiger chases the lion. The tiger is cold. The tiger needs the lion. If the lion needs the tiger then the lion is cold. If someone likes the cow and they like the tiger then the cow chases the lion. If someone is big and they like the tiger then the tiger is young.
The tiger is big.
@0: The cow chases the lion.[(triple1 OR ((triple7 triple8) -> rule2))] The cow chases the tiger.[(triple2)] The cow likes the lion.[(triple3)] The lion chases the cow.[(triple4)] The lion chases the tiger.[(triple5)] The lion is young.[(triple6)] The lion likes the cow.[(triple7)] The lion likes the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the lion.[(triple10)] The tiger is cold.[(triple11)] The tiger needs the lion.[(triple12)]