「その低温用は狡賢くないかまたはそれはリニューアルするか両方ともである」ということは事実だということはない
fact1: もしも何らかのものはＱＣなら「それは調律だ」ということは本当だ fact2: もし仮に「あの伝統的産業組織論は多モードファイバであるしＱＣである」ということは成り立たないとするとこの前号はＱＣでない fact3: もし仮にその低温用が調律だけどそれがＱＣでないならばその千九百九十六年度は狡賢くない fact4: 仮にこの前号が多モードファイバだとしたらその低温用は調律であるけどＱＣでない fact5: 仮にあの伝統的産業組織論は有り余るしその上長岡新京であるとするとそれは取り押さえるということはない fact6: その低温用が狡賢くないかリニューアルするとすればこの前号はＱＣである fact7: もしもあの伝統的産業組織論がＱＣでないとすればこの前号はＱＣでない fact8: 「「あの伝統的産業組織論は多モードファイバであるしそれにＱＣである」ということは成り立たない」ということは真実だ fact9: 「その低温用がリニューアルするとするとこの前号はＱＣである」ということは真実である fact10: 調律は狡賢くないかもしくはリニューアルするか両方である fact11: もし仮にこの前号が慎み深いということはないならばあの低温用はＱＣであるし加えて多モードファイバである
void -> assump1: 以下のように仮定する。その低温用は狡賢いということはないかまたはリニューアルするかあるいは両方ともだ; fact6 & assump1 -> int1: この前号はＱＣである; fact8 & fact2 -> int2: この前号はＱＣだということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} v {AB}{a}); fact6 & assump1 -> int1: {B}{b}; fact8 & fact2 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その低温用は狡賢くないかまたはそれはリニューアルするかもしくはどちらもである
fact13 -> int4: その低温用が調律であるならそれは狡賢くないかそれはリニューアルするかもしくは両方ともである; fact12 -> int5: もし仮にその低温用はＱＣだとすると「調律だ」ということは確かだ;
$facts$ = fact1: もしも何らかのものはＱＣなら「それは調律だ」ということは本当だ fact2: もし仮に「あの伝統的産業組織論は多モードファイバであるしＱＣである」ということは成り立たないとするとこの前号はＱＣでない fact3: もし仮にその低温用が調律だけどそれがＱＣでないならばその千九百九十六年度は狡賢くない fact4: 仮にこの前号が多モードファイバだとしたらその低温用は調律であるけどＱＣでない fact5: 仮にあの伝統的産業組織論は有り余るしその上長岡新京であるとするとそれは取り押さえるということはない fact6: その低温用が狡賢くないかリニューアルするとすればこの前号はＱＣである fact7: もしもあの伝統的産業組織論がＱＣでないとすればこの前号はＱＣでない fact8: 「「あの伝統的産業組織論は多モードファイバであるしそれにＱＣである」ということは成り立たない」ということは真実だ fact9: 「その低温用がリニューアルするとするとこの前号はＱＣである」ということは真実である fact10: 調律は狡賢くないかもしくはリニューアルするか両方である fact11: もし仮にこの前号が慎み深いということはないならばあの低温用はＱＣであるし加えて多モードファイバである ; $hypothesis$ = 「その低温用は狡賢くないかまたはそれはリニューアルするか両方ともである」ということは事実だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その低温用は狡賢いということはないかまたはリニューアルするかあるいは両方ともだ; fact6 & assump1 -> int1: この前号はＱＣである; fact8 & fact2 -> int2: この前号はＱＣだということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも何らかのものはＱＣなら「それは調律だ」ということは本当だ
事実2: もし仮に「あの伝統的産業組織論は多モードファイバであるしＱＣである」ということは成り立たないとするとこの前号はＱＣでない
事実3: もし仮にその低温用が調律だけどそれがＱＣでないならばその千九百九十六年度は狡賢くない
事実4: 仮にこの前号が多モードファイバだとしたらその低温用は調律であるけどＱＣでない
事実5: 仮にあの伝統的産業組織論は有り余るしその上長岡新京であるとするとそれは取り押さえるということはない
事実6: その低温用が狡賢くないかリニューアルするとすればこの前号はＱＣである
事実7: もしもあの伝統的産業組織論がＱＣでないとすればこの前号はＱＣでない
事実8: 「「あの伝統的産業組織論は多モードファイバであるしそれにＱＣである」ということは成り立たない」ということは真実だ
事実9: 「その低温用がリニューアルするとするとこの前号はＱＣである」ということは真実である
事実10: 調律は狡賢くないかもしくはリニューアルするか両方である
事実11: もし仮にこの前号が慎み深いということはないならばあの低温用はＱＣであるし加えて多モードファイバである

仮説: 「その低温用は狡賢くないかまたはそれはリニューアルするか両方ともである」ということは事実だということはない
1. 仮定1: 以下のように仮定する。その低温用は狡賢いということはないかまたはリニューアルするかあるいは両方ともだ
2. 事実6と仮定1から、推論1: "この前号はＱＣである"が導かれる
3. 事実8と事実2から、推論2: "この前号はＱＣだということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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