The cow is round. The cow is young. The cow needs the lion. The cow sees the lion. The lion is rough. The lion is round. The lion needs the cow. If someone is rough then they see the lion. If the lion sees the cow then the lion is rough. If someone needs the lion and they need the cow then the cow is cold. If someone is round and they visit the lion then the lion is cold. If someone needs the lion and they need the cow then the lion visits the cow. If someone needs the cow and they are cold then they need the lion. If someone visits the cow then they see the lion. If the cow visits the lion then the cow sees the lion.
The lion does not need the lion.
@0: The cow is round.[(triple1)] The cow is young.[(triple2)] The cow needs the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion needs the cow.[(triple7)] @1: The lion sees the lion.[(((triple5) -> rule1))]