The cow is not big. The cow is not kind. The cow does not need the lion. The cow sees the lion. The cow visits the lion. The lion is big. The lion is not blue. The lion is not kind. The lion needs the cow. The lion visits the cow. If the cow is blue then the cow visits the lion. If the lion is big then the lion visits the cow. If something is rough then it needs the lion.
The lion does not need the lion.
@0: The cow does not need the lion.[(triple3)] The cow is not big.[(triple1)] The cow is not kind.[(triple2)] The cow sees the lion.[(triple4)] The cow visits the lion.[(triple5)] The lion is big.[(triple6)] The lion is not blue.[(triple7)] The lion is not kind.[(triple8)] The lion needs the cow.[(triple9)] The lion visits the cow.[(triple10 OR ((triple6) -> rule2))]