The cow chases the tiger. The cow is big. The cow is green. The cow is young. The cow likes the lion. The cow visits the lion. The lion chases the cow. The lion is green. The lion is kind. The lion is rough. The lion likes the cow. The lion visits the tiger. The tiger is kind. The tiger likes the cow. The tiger visits the cow. The tiger visits the lion. If someone likes the lion and the lion visits the tiger then the tiger is young.
The cow chases the cow.
@0: The cow chases the tiger.[(triple1)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow is young.[(triple4)] The cow likes the lion.[(triple5)] The cow visits the lion.[(triple6)] The lion chases the cow.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion likes the cow.[(triple11)] The lion visits the tiger.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the cow.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the lion.[(triple16)] @1: The tiger is young.[(((triple5 triple12) -> rule1))]