The cow chases the lion. The cow is cold. The cow is kind. The cow is nice. The cow is round. The cow is young. The cow needs the lion. The cow visits the lion. The lion chases the cow. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion needs the cow. The lion visits the cow. If someone is round and they visit the lion then the lion visits the cow.
The lion does not chase the lion.
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow needs the lion.[(triple7)] The cow visits the lion.[(triple8)] The lion chases the cow.[(triple9)] The lion is cold.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion needs the cow.[(triple14)] The lion visits the cow.[(triple15 OR ((triple5 triple8) -> rule1))]