The cow is young. The lion is cold. If something needs the lion then the lion visits the cow. If something needs the lion and it eats the lion then it is big. If something eats the cow then it is big. If something needs the cow and it needs the lion then the cow does not eat the lion. If something needs the cow and it visits the lion then the cow is big. If something needs the lion then the lion eats the cow. If something is young then it needs the lion. If something needs the cow and it visits the lion then it needs the lion.
The lion does not eat the cow.
@0: The cow is young.[(triple1)] The lion is cold.[(triple2)] @1: The cow needs the lion.[(((triple1) -> rule7))] @2: The lion eats the cow.[(((((triple1) -> rule7)) -> rule6))] The lion visits the cow.[(((((triple1) -> rule7)) -> rule1))] @3: The lion is big.[(((((((triple1) -> rule7)) -> rule6)) -> rule3))]