The cow chases the lion. The cow is blue. The cow is green. The cow is nice. The cow is young. The cow needs the lion. The cow sees the lion. The lion chases the cow. The lion is blue. The lion is young. The lion needs the cow. The lion sees the cow. If someone chases the lion then the lion is blue. If someone chases the lion then the lion needs the cow. If someone is rough and they chase the lion then the lion sees the cow.
The cow is rough.
@0: The cow chases the lion.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow needs the lion.[(triple6)] The cow sees the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion is blue.[(triple9 OR ((triple1) -> rule1))] The lion is young.[(triple10)] The lion needs the cow.[(triple11 OR ((triple1) -> rule2))] The lion sees the cow.[(triple12)]