(note "Disjuntive Inference/Soundness 2 r(x) => All x [ p(x) v q(x) v t(x) ] ") (forAll ?X (implies (instance ?X Human) (or (IsTall ?X) (IsShort ?X) (IsAverageHeight ?X)))) (instance Joel Human) (not (IsShort Joel)) (not (IsAverageHeight Joel)) (query (?Height Joel)) (answer IsTall)