The cow is big. The cow is cold. The cow is not green. The cow is kind. The cow is nice. The cow likes the lion. The cow needs the lion. The cow sees the lion. The lion is big. The lion is cold. The lion is green. The lion is not kind. The lion is not nice. The lion does not like the cow. The lion does not need the cow. The lion sees the cow. If something is green then it does not like the lion. If something needs the lion then the lion sees the cow. If something needs the cow and it does not see the lion then the cow needs the lion. If something likes the cow then it does not need the cow. If something is kind and it does not like the lion then it needs the cow. If something sees the lion and it likes the cow then it does not need the cow.
The lion sees the cow.
@0: The cow is big.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is not green.[(triple3)] The cow likes the lion.[(triple6)] The cow needs the lion.[(triple7)] The cow sees the lion.[(triple8)] The lion does not like the cow.[(triple14)] The lion does not need the cow.[(triple15)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is not kind.[(triple12)] The lion is not nice.[(triple13)] The lion sees the cow.[(triple16 OR ((triple7) -> rule2))] @1: The lion does not like the lion.[(((triple11) -> rule1))]