The cow chases the tiger. The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is young. The cow needs the tiger. The cow sees the tiger. The tiger chases the cow. The tiger is big. The tiger is green. The tiger is kind. The tiger is rough. The tiger needs the cow. The tiger sees the cow. If something sees the cow and the cow chases the tiger then the cow sees the tiger. If something is big then it sees the cow.
The tiger is not young.
@0: The cow chases the tiger.[(triple1)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow needs the tiger.[(triple7)] The cow sees the tiger.[(triple8 OR ((triple15 triple1) -> rule1) OR ((((triple10) -> rule2) triple1) -> rule1) OR ((((triple2) -> rule2) triple1) -> rule1))] The tiger chases the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the cow.[(triple14)] The tiger sees the cow.[(triple15 OR ((triple10) -> rule2))] @1: The cow sees the cow.[(((triple2) -> rule2))]