その異種が希わないしさらに口腔癌術後でない
fact1: その異種は口腔癌術後であるかまたは銃身である fact2: もしなにかは測り難くないなら「それは中古・再生住宅でなくて立ち直れる」ということは成り立たない fact3: もし「とある物は希わないけど測り難い」ということは成り立たないとすると測り難くない fact4: 「あの照明量は銃身だけれどそれは起こし易くない」ということは間違っている fact5: 何らかの物は測り難いなら「それは擦り込むということはないし中古・再生住宅だ」ということは間違いである fact6: もし仮に「あの替え歌は希わない」ということは事実ならばあの異種は希わないしおまけに口腔癌術後でない fact7: もし仮に「あの照明量は擦り込むということはないけれど中古・再生住宅である」ということは成り立たないならばあの替え歌は希わない fact8: 「もし「あの照明量は銃身であるがしかしそれは起こし易くない」ということは間違いだとするとあの照明量は測り難い」ということは真実である
fact5 -> int1: あの照明量は測り難いとしたら「擦り込まないがしかし中古・再生住宅だ」ということは成り立たない; fact4 & fact8 -> int2: あの照明量は測り難い; int1 & int2 -> int3: 「あの照明量は擦り込まないけれどそれは中古・再生住宅である」ということは誤りである; int3 & fact7 -> int4: あの替え歌は希わない; int4 & fact6 -> hypothesis;
「「その刹那は中古・再生住宅でないが立ち直れる」ということは偽だ」ということは真実である
fact11 -> int5: もしその刹那は測り難くないとしたら「中古・再生住宅だということはないが立ち直れる」ということは誤っている; fact10 -> int6: もし「その刹那は希わない一方でそれは測り難い」ということは成り立たないとすると測り難くない; fact9 -> int7: なんらかの物は口腔癌術後であるかまたはそれは銃身だ;
$facts$ = fact1: その異種は口腔癌術後であるかまたは銃身である fact2: もしなにかは測り難くないなら「それは中古・再生住宅でなくて立ち直れる」ということは成り立たない fact3: もし「とある物は希わないけど測り難い」ということは成り立たないとすると測り難くない fact4: 「あの照明量は銃身だけれどそれは起こし易くない」ということは間違っている fact5: 何らかの物は測り難いなら「それは擦り込むということはないし中古・再生住宅だ」ということは間違いである fact6: もし仮に「あの替え歌は希わない」ということは事実ならばあの異種は希わないしおまけに口腔癌術後でない fact7: もし仮に「あの照明量は擦り込むということはないけれど中古・再生住宅である」ということは成り立たないならばあの替え歌は希わない fact8: 「もし「あの照明量は銃身であるがしかしそれは起こし易くない」ということは間違いだとするとあの照明量は測り難い」ということは真実である ; $hypothesis$ = その異種が希わないしさらに口腔癌術後でない ; $proof$ = 
fact5 -> int1: あの照明量は測り難いとしたら「擦り込まないがしかし中古・再生住宅だ」ということは成り立たない; fact4 & fact8 -> int2: あの照明量は測り難い; int1 & int2 -> int3: 「あの照明量は擦り込まないけれどそれは中古・再生住宅である」ということは誤りである; int3 & fact7 -> int4: あの替え歌は希わない; int4 & fact6 -> hypothesis; __PROVED__
事実1: その異種は口腔癌術後であるかまたは銃身である
事実2: もしなにかは測り難くないなら「それは中古・再生住宅でなくて立ち直れる」ということは成り立たない
事実3: もし「とある物は希わないけど測り難い」ということは成り立たないとすると測り難くない
事実4: 「あの照明量は銃身だけれどそれは起こし易くない」ということは間違っている
事実5: 何らかの物は測り難いなら「それは擦り込むということはないし中古・再生住宅だ」ということは間違いである
事実6: もし仮に「あの替え歌は希わない」ということは事実ならばあの異種は希わないしおまけに口腔癌術後でない
事実7: もし仮に「あの照明量は擦り込むということはないけれど中古・再生住宅である」ということは成り立たないならばあの替え歌は希わない
事実8: 「もし「あの照明量は銃身であるがしかしそれは起こし易くない」ということは間違いだとするとあの照明量は測り難い」ということは真実である

仮説: その異種が希わないしさらに口腔癌術後でない
1. 事実5から、推論1: "あの照明量は測り難いとしたら「擦り込まないがしかし中古・再生住宅だ」ということは成り立たない"が導かれる
2. 事実4と事実8から、推論2: "あの照明量は測り難い"が導かれる
3. 推論1と推論2から、推論3: "「あの照明量は擦り込まないけれどそれは中古・再生住宅である」ということは誤りである"が導かれる
4. 推論3と事実7から、推論4: "あの替え歌は希わない"が導かれる
5. 推論4と事実6から、仮説が導かれる

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