あの給仕長は飛び乗らない
fact1: あの給仕長は飛び乗らないならば「それは前条でない」ということは本当である fact2: 仮にあの給仕長は難しいとしたら「前条だ」ということは成り立つ fact3: もし「なにがしかの物は前条だ一方でパリ郊外でない」ということは成り立たないならばパリ郊外である fact4: あの給仕長は難しい
void -> assump1: 以下のように仮定する。あの給仕長は飛び乗らない; fact1 & assump1 -> int1: 「あの給仕長は前条でない」ということは嘘であるということはない; fact4 & fact2 -> int2: あの給仕長は前条である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの給仕長はパリ郊外だ
fact5 -> int4: 「あの給仕長は前条であるけどそれはパリ郊外でない」ということは嘘ならばそれはパリ郊外である;
$facts$ = fact1: あの給仕長は飛び乗らないならば「それは前条でない」ということは本当である fact2: 仮にあの給仕長は難しいとしたら「前条だ」ということは成り立つ fact3: もし「なにがしかの物は前条だ一方でパリ郊外でない」ということは成り立たないならばパリ郊外である fact4: あの給仕長は難しい ; $hypothesis$ = あの給仕長は飛び乗らない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの給仕長は飛び乗らない; fact1 & assump1 -> int1: 「あの給仕長は前条でない」ということは嘘であるということはない; fact4 & fact2 -> int2: あの給仕長は前条である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの給仕長は飛び乗らないならば「それは前条でない」ということは本当である
事実2: 仮にあの給仕長は難しいとしたら「前条だ」ということは成り立つ
事実3: もし「なにがしかの物は前条だ一方でパリ郊外でない」ということは成り立たないならばパリ郊外である
事実4: あの給仕長は難しい

仮説: あの給仕長は飛び乗らない
1. 仮定1: 以下のように仮定する。あの給仕長は飛び乗らない
2. 事実1と仮定1から、推論1: "「あの給仕長は前条でない」ということは嘘であるということはない"が導かれる
3. 事実4と事実2から、推論2: "あの給仕長は前条である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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