この零付近は売り逃す
fact1: この害虫は面会出来る fact2: もし仮にこの零付近が千八百六十年代だとしたらそれは売り逃す fact3: 仮にこの零付近は千八百六十年代であるならばそれは熱伝導度である fact4: この害虫は振り落とすということはないなら「この零付近は千八百六十年代である」ということは本当だ fact5: もし仮にこの害虫が熱伝導度でないならこの零付近は千八百六十年代だ fact6: その集合場所は面会出来る fact7: もし仮に「この害虫は振り落とさないかもしくは熱伝導度でない」ということは成り立たないとすればそれは面会出来ない
void -> assump1: 以下のように仮定する。「この害虫は振り落とさないか熱伝導度だということはないかまたは両方ともである」ということは誤りである; fact7 & assump1 -> int1: この害虫は面会出来ない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: この害虫は振り落とさないかまたは熱伝導度でないかもしくは両方ともだ; int3 & fact4 & fact5 -> int4: この零付近は千八百六十年代だ; int4 & fact2 -> hypothesis;
$facts$ = fact1: この害虫は面会出来る fact2: もし仮にこの零付近が千八百六十年代だとしたらそれは売り逃す fact3: 仮にこの零付近は千八百六十年代であるならばそれは熱伝導度である fact4: この害虫は振り落とすということはないなら「この零付近は千八百六十年代である」ということは本当だ fact5: もし仮にこの害虫が熱伝導度でないならこの零付近は千八百六十年代だ fact6: その集合場所は面会出来る fact7: もし仮に「この害虫は振り落とさないかもしくは熱伝導度でない」ということは成り立たないとすればそれは面会出来ない ; $hypothesis$ = この零付近は売り逃す ; $proof$ = 
void -> assump1: 以下のように仮定する。「この害虫は振り落とさないか熱伝導度だということはないかまたは両方ともである」ということは誤りである; fact7 & assump1 -> int1: この害虫は面会出来ない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: この害虫は振り落とさないかまたは熱伝導度でないかもしくは両方ともだ; int3 & fact4 & fact5 -> int4: この零付近は千八百六十年代だ; int4 & fact2 -> hypothesis; __PROVED__
事実1: この害虫は面会出来る
事実2: もし仮にこの零付近が千八百六十年代だとしたらそれは売り逃す
事実3: 仮にこの零付近は千八百六十年代であるならばそれは熱伝導度である
事実4: この害虫は振り落とすということはないなら「この零付近は千八百六十年代である」ということは本当だ
事実5: もし仮にこの害虫が熱伝導度でないならこの零付近は千八百六十年代だ
事実6: その集合場所は面会出来る
事実7: もし仮に「この害虫は振り落とさないかもしくは熱伝導度でない」ということは成り立たないとすればそれは面会出来ない

仮説: この零付近は売り逃す
1. 仮定1: 以下のように仮定する。「この害虫は振り落とさないか熱伝導度だということはないかまたは両方ともである」ということは誤りである
2. 事実7と仮定1から、推論1: "この害虫は面会出来ない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この害虫は振り落とさないかまたは熱伝導度でないかもしくは両方ともだ"が導かれる
5. 推論3と事実4と事実5から、推論4: "この零付近は千八百六十年代だ"が導かれる
6. 推論4と事実2から、仮説が導かれる

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