この観察眼は不味くない
fact1: その具体的事例は試算出来る fact2: その値打ち物は不味くない fact3: その劉備軍は試算出来る fact4: 仮に何らかの物が試算出来るかもしくはそれが身構えるか両方ともであるならこの観察眼は不味くない
fact3 -> int1: その劉備軍は試算出来るか身構える; int1 -> int2: 「試算出来るかもしくは身構えるかもしくは両方ともな」物はある; int2 & fact4 -> hypothesis;
$facts$ = fact1: その具体的事例は試算出来る fact2: その値打ち物は不味くない fact3: その劉備軍は試算出来る fact4: 仮に何らかの物が試算出来るかもしくはそれが身構えるか両方ともであるならこの観察眼は不味くない ; $hypothesis$ = この観察眼は不味くない ; $proof$ = 
fact3 -> int1: その劉備軍は試算出来るか身構える; int1 -> int2: 「試算出来るかもしくは身構えるかもしくは両方ともな」物はある; int2 & fact4 -> hypothesis; __PROVED__
事実1: その具体的事例は試算出来る
事実2: その値打ち物は不味くない
事実3: その劉備軍は試算出来る
事実4: 仮に何らかの物が試算出来るかもしくはそれが身構えるか両方ともであるならこの観察眼は不味くない

仮説: この観察眼は不味くない
1. 事実3から、推論1: "その劉備軍は試算出来るか身構える"が導かれる
2. 推論1から、推論2: "「試算出来るかもしくは身構えるかもしくは両方ともな」物はある"が導かれる
3. 推論2と事実4から、仮説が導かれる

よって、仮説が証明されました。