The bear visits the cow. The cat does not need the cow. The cow needs the lion. The lion visits the cat. If the lion is young and the lion visits the cat then the cat is not young. If the lion needs the cow then the lion visits the bear. If someone visits the cat and the cat needs the lion then they are not young. If someone visits the cat then they see the cow. If someone needs the lion and the lion does not need the cow then the lion needs the bear. If someone needs the bear then the bear does not need the cow. If someone sees the cow then the cow needs the bear. If the lion sees the bear and the bear is young then the lion sees the cat.
The lion sees the cat.
@0: The bear visits the cow.[(triple1)] The cat does not need the cow.[(triple2)] The cow needs the lion.[(triple3)] The lion visits the cat.[(triple4)] @1: The lion sees the cow.[(((triple4) -> rule4))] @2: The cow needs the bear.[(((((triple4) -> rule4)) -> rule7))] @3: The bear does not need the cow.[(((((((triple4) -> rule4)) -> rule7)) -> rule6))]