この写真左はルビーレーザーだ
fact1: 「ルビーレーザーはかんしない」ということは成り立つ fact2: もしも「とあるものは雁皮だということはない」ということは事実と異ならないならそれはルビーレーザーでない fact3: この写真左は哲学教師だけれどかんしないとすると雁皮でない fact4: この写真左は哲学教師であるがそれはかんしない
fact3 & fact4 -> int1: この写真左は雁皮でない; fact2 -> int2: もし仮にこの写真左は雁皮でないならルビーレーザーでない; int1 & int2 -> hypothesis;
この年平均降水量はかんしない
fact5 -> int3: この年平均降水量はルビーレーザーであるとすればかんしない;
$facts$ = fact1: 「ルビーレーザーはかんしない」ということは成り立つ fact2: もしも「とあるものは雁皮だということはない」ということは事実と異ならないならそれはルビーレーザーでない fact3: この写真左は哲学教師だけれどかんしないとすると雁皮でない fact4: この写真左は哲学教師であるがそれはかんしない ; $hypothesis$ = この写真左はルビーレーザーだ ; $proof$ = 
fact3 & fact4 -> int1: この写真左は雁皮でない; fact2 -> int2: もし仮にこの写真左は雁皮でないならルビーレーザーでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「ルビーレーザーはかんしない」ということは成り立つ
事実2: もしも「とあるものは雁皮だということはない」ということは事実と異ならないならそれはルビーレーザーでない
事実3: この写真左は哲学教師だけれどかんしないとすると雁皮でない
事実4: この写真左は哲学教師であるがそれはかんしない

仮説: この写真左はルビーレーザーだ
1. 事実3と事実4から、推論1: "この写真左は雁皮でない"が導かれる
2. 事実2から、推論2: "もし仮にこの写真左は雁皮でないならルビーレーザーでない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。