この赤外は幅広い
fact1: 「あの飽和脂肪酸は整理整頓するということはない」ということは真実であるなら「その五パーセント前後は眩しいしかつ見物する」ということは事実と異なる fact2: 仮にその後退が間延びするしその上丸っこいとするとその五パーセント前後は間延びするということはない fact3: もし仮にこの千九百九十九年夏が本坊でないとするとあの初期費用は本坊でない fact4: もし「「眩しいし見物する」ということは嘘な」物があるならこの赤外は幅広い fact5: 仮にあの初期費用が本坊でないけど日本人らしいとすればその後退は日本人らしくない fact6: 仮に「何かは日本人らしくない」ということは正しいとすれば間延びするし加えて丸っこい fact7: もし「あの飽和脂肪酸は理解し難いということはないかまたは幅広くないかまたはどちらもだ」ということは事実と異なるとしたらこの赤外は幅広くない fact8: もし仮にその五パーセント前後は整理整頓すれば「あの飽和脂肪酸は理解し難くないか幅広くないかもしくはどちらもだ」ということは偽だ fact9: あのスカイキャプテンは整理整頓しない fact10: あの飽和脂肪酸は整理整頓しない fact11: もし仮に「なんらかのものは間延びするということはない」ということは成り立つとしたらそれは整理整頓するし加えて取り下げる
fact1 & fact10 -> int1: 「その五パーセント前後は眩しくておまけに見物する」ということは事実と異なる; int1 -> int2: 「「眩しくてそれに見物する」ということは間違っている」物はある; int2 & fact4 -> hypothesis;
fact1 & fact10 -> int1: ¬({AA}{b} & {AB}{b}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact4 -> hypothesis;
この赤外は幅広いということはない
fact18 -> int3: もしもその五パーセント前後が間延びしないなら整理整頓するしそれは取り下げる; fact12 -> int4: もしその後退が日本人らしくないとすればそれは間延びするし丸っこい;
$facts$ = fact1: 「あの飽和脂肪酸は整理整頓するということはない」ということは真実であるなら「その五パーセント前後は眩しいしかつ見物する」ということは事実と異なる fact2: 仮にその後退が間延びするしその上丸っこいとするとその五パーセント前後は間延びするということはない fact3: もし仮にこの千九百九十九年夏が本坊でないとするとあの初期費用は本坊でない fact4: もし「「眩しいし見物する」ということは嘘な」物があるならこの赤外は幅広い fact5: 仮にあの初期費用が本坊でないけど日本人らしいとすればその後退は日本人らしくない fact6: 仮に「何かは日本人らしくない」ということは正しいとすれば間延びするし加えて丸っこい fact7: もし「あの飽和脂肪酸は理解し難いということはないかまたは幅広くないかまたはどちらもだ」ということは事実と異なるとしたらこの赤外は幅広くない fact8: もし仮にその五パーセント前後は整理整頓すれば「あの飽和脂肪酸は理解し難くないか幅広くないかもしくはどちらもだ」ということは偽だ fact9: あのスカイキャプテンは整理整頓しない fact10: あの飽和脂肪酸は整理整頓しない fact11: もし仮に「なんらかのものは間延びするということはない」ということは成り立つとしたらそれは整理整頓するし加えて取り下げる ; $hypothesis$ = この赤外は幅広い ; $proof$ = 
fact1 & fact10 -> int1: 「その五パーセント前後は眩しくておまけに見物する」ということは事実と異なる; int1 -> int2: 「「眩しくてそれに見物する」ということは間違っている」物はある; int2 & fact4 -> hypothesis; __PROVED__
事実1: 「あの飽和脂肪酸は整理整頓するということはない」ということは真実であるなら「その五パーセント前後は眩しいしかつ見物する」ということは事実と異なる
事実2: 仮にその後退が間延びするしその上丸っこいとするとその五パーセント前後は間延びするということはない
事実3: もし仮にこの千九百九十九年夏が本坊でないとするとあの初期費用は本坊でない
事実4: もし「「眩しいし見物する」ということは嘘な」物があるならこの赤外は幅広い
事実5: 仮にあの初期費用が本坊でないけど日本人らしいとすればその後退は日本人らしくない
事実6: 仮に「何かは日本人らしくない」ということは正しいとすれば間延びするし加えて丸っこい
事実7: もし「あの飽和脂肪酸は理解し難いということはないかまたは幅広くないかまたはどちらもだ」ということは事実と異なるとしたらこの赤外は幅広くない
事実8: もし仮にその五パーセント前後は整理整頓すれば「あの飽和脂肪酸は理解し難くないか幅広くないかもしくはどちらもだ」ということは偽だ
事実9: あのスカイキャプテンは整理整頓しない
事実10: あの飽和脂肪酸は整理整頓しない
事実11: もし仮に「なんらかのものは間延びするということはない」ということは成り立つとしたらそれは整理整頓するし加えて取り下げる

仮説: この赤外は幅広い
1. 事実1と事実10から、推論1: "「その五パーセント前後は眩しくておまけに見物する」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「眩しくてそれに見物する」ということは間違っている」物はある"が導かれる
3. 推論2と事実4から、仮説が導かれる

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