The cow is big. The cow is not blue. The cow is cold. The cow is not kind. The cow needs the lion. The cow does not see the lion. The cow does not visit the lion. The lion is big. The lion is blue. The lion is cold. The lion is not kind. The lion is not young. The lion does not need the cow. The lion sees the cow. The lion visits the cow. If the lion visits the cow and the cow does not see the lion then the lion is blue.
The lion needs the lion.
@0: The cow does not see the lion.[(triple6)] The cow does not visit the lion.[(triple7)] The cow is big.[(triple1)] The cow is cold.[(triple3)] The cow is not blue.[(triple2)] The cow is not kind.[(triple4)] The cow needs the lion.[(triple5)] The lion does not need the cow.[(triple13)] The lion is big.[(triple8)] The lion is blue.[(triple9 OR ((triple15 triple6) -> rule1))] The lion is cold.[(triple10)] The lion is not kind.[(triple11)] The lion is not young.[(triple12)] The lion sees the cow.[(triple14)] The lion visits the cow.[(triple15)]