The cow needs the lion. The cow sees the lion. The cow visits the lion. The lion is big. The lion is cold. The lion is nice. The lion is not red. The lion needs the cow. The lion sees the cow. The lion does not visit the cow. If something sees the cow then the cow is cold. If something visits the lion and it visits the cow then it sees the cow. If something needs the lion and the lion is big then it sees the cow. If something is nice and it needs the lion then it sees the lion. If something visits the cow then the cow sees the lion. If something visits the cow then the cow is not big. All rough things are not cold. All red things are big.
The lion is not nice.
@0: The cow needs the lion.[(triple1)] The cow sees the lion.[(triple2)] The cow visits the lion.[(triple3)] The lion does not visit the cow.[(triple10)] The lion is big.[(triple4)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion is not red.[(triple7)] The lion needs the cow.[(triple8)] The lion sees the cow.[(triple9)] @1: The cow is cold.[(((triple9) -> rule1) OR ((((triple1 triple4) -> rule3)) -> rule1))] The cow sees the cow.[(((triple1 triple4) -> rule3))]