The cow chases the lion. The cow is big. The cow is not green. The cow is not kind. The cow is nice. The cow is not round. The cow needs the lion. The cow does not see the lion. The lion chases the cow. The lion is kind. The lion is nice. The lion needs the cow. If the lion chases the cow and the lion sees the cow then the cow does not need the lion. If the cow is kind then the cow needs the lion. If someone needs the cow then the cow needs the lion. If someone needs the lion then the lion does not see the cow. If someone is kind and not green then they chase the lion. If the lion is big and the lion is kind then the lion is nice. If someone is kind then they need the lion. If someone sees the cow and they do not need the cow then they are nice.
The cow does not need the lion.
@0: The cow chases the lion.[(triple1)] The cow does not see the lion.[(triple8)] The cow is big.[(triple2)] The cow is nice.[(triple5)] The cow is not green.[(triple3)] The cow is not kind.[(triple4)] The cow is not round.[(triple6)] The cow needs the lion.[(triple7 OR ((triple12) -> rule3))] The lion chases the cow.[(triple9)] The lion is kind.[(triple10)] The lion is nice.[(triple11)] The lion needs the cow.[(triple12)] @1: The lion does not see the cow.[(((triple7) -> rule4) OR ((((triple10) -> rule7)) -> rule4) OR ((((triple12) -> rule3)) -> rule4))] The lion needs the lion.[(((triple10) -> rule7))]