The cow chases the lion. The cow is nice. The cow is young. The cow likes the lion. The cow sees the lion. The lion chases the cow. The lion is nice. The lion is young. The lion likes the cow. The lion sees the cow. If something chases the lion and the lion chases the cow then it chases the cow. If the lion chases the cow then the cow likes the lion. If something chases the lion and the lion is big then it is young. If the lion is nice and the lion is round then the lion sees the cow. If something is nice and it chases the cow then it sees the lion. If the lion likes the cow then the cow is young.
The lion is not big.
@0: The cow chases the lion.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3 OR ((triple9) -> rule6))] The cow likes the lion.[(triple4 OR ((triple6) -> rule2))] The cow sees the lion.[(triple5 OR ((triple2 ((triple1 triple6) -> rule1)) -> rule5))] The lion chases the cow.[(triple6)] The lion is nice.[(triple7)] The lion is young.[(triple8)] The lion likes the cow.[(triple9)] The lion sees the cow.[(triple10)] @1: The cow chases the cow.[(((triple1 triple6) -> rule1))] The lion sees the lion.[(((triple7 triple6) -> rule5))]