The bear does not visit the tiger. The cow is young. The tiger visits the cow. If the cow is red then the cow likes the tiger. If someone needs the cow then they need the tiger. If someone visits the cow then the cow visits the bear. If someone is blue and young then they like the cow. If someone visits the bear then the bear needs the cow. If someone likes the tiger and they are not young then the tiger is not red.
The bear does not need the tiger.
@0: The bear does not visit the tiger.[(triple1)] The cow is young.[(triple2)] The tiger visits the cow.[(triple3)] @1: The cow visits the bear.[(((triple3) -> rule3))] @2: The bear needs the cow.[(((((triple3) -> rule3)) -> rule5))] @3: The bear needs the tiger.[(((((((triple3) -> rule3)) -> rule5)) -> rule2))]