もしあの目的地が最適生産計画であるならその配給は受験者用ＦＤであるが特別規定でない
fact1: その配給は受験者用ＦＤであるし更にそれは特別規定である fact2: 「あの目的地は指南でないし運動部でない」ということは誤りであるならその配給は運動部である fact3: ある物は休・廃止するがそれは私語でない fact4: 「あの情報入手は呆気なくないが待ち為さる」ということは誤りであるとしたらあの軟膜は久しいということはない fact5: もし仮になんらかのものは手広いならば「それは指南だということはないししかもそれは運動部でない」ということは成り立たない fact6: もしも「その配給は受験者用ＦＤであるけれど特別規定でない」ということは偽であるとしたら「あの目的地は最適生産計画であるということはない」ということは確かだ fact7: その配給が受験者用ＦＤだけれど特別規定でないならばあの目的地は最適生産計画であるということはない fact8: 仮に「その配給は受験者用ＦＤだし特別規定だ」ということは成り立たないとしたらあの目的地は最適生産計画でない fact9: 「その配給は受験者用ＦＤである」ということは本当である fact10: もし何らかのものが休・廃止するがしかしそれが私語でないとしたらあの科学研究は快くない fact11: 仮にあの科学研究が手広いとすればあの目的地は手広い fact12: もしあの科学研究が塗すならあの目的地は手広い fact13: 快くない物は塗すかあるいは手広いかまたはどちらもだ fact14: もし仮に「なにがしかのものは最適生産計画であるし久しい」ということは間違っているとしたらそれは暑いということはない fact15: 仮にその配給が最適生産計画であるならばあの目的地が特別規定だけど受験者用ＦＤでない fact16: もし仮に「その配給は受験者用ＦＤであるけれどそれは最適生産計画でない」ということは成り立つということはないとしたらあの目的地は特別規定でない fact17: この重症度判定は受験者用ＦＤだ
void -> assump2: 以下のように仮定する。「その配給は受験者用ＦＤであるけど特別規定でない」ということは成り立たない; fact6 & assump2 -> int1: あの目的地は最適生産計画でない; void -> assump1: 以下のように仮定する。あの目的地は最適生産計画だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その配給は受験者用ＦＤだ一方で特別規定でない; [assump1] & int3 -> hypothesis;
その配給が運動部だけど暑くない
fact21 -> int4: 仮にあの目的地は手広いならば「それは指南でないしそれは運動部でない」ということは成り立つということはない; fact22 -> int5: もしもあの科学研究が快いということはないならそれは塗すかあるいは手広いかもしくはどちらもだ; fact23 & fact25 -> int6: あの科学研究は快くない; int5 & int6 -> int7: あの科学研究は塗すか手広いかあるいは両方だ; int7 & fact20 & fact24 -> int8: あの目的地は手広い; int4 & int8 -> int9: 「「あの目的地は指南でなくてそれに運動部でない」ということは成り立たない」ということは真実である; fact26 & int9 -> int10: その配給は運動部である; fact18 -> int11: 「その配給は最適生産計画で久しい」ということは成り立たないとすれば暑くない;
$facts$ = fact1: その配給は受験者用ＦＤであるし更にそれは特別規定である fact2: 「あの目的地は指南でないし運動部でない」ということは誤りであるならその配給は運動部である fact3: ある物は休・廃止するがそれは私語でない fact4: 「あの情報入手は呆気なくないが待ち為さる」ということは誤りであるとしたらあの軟膜は久しいということはない fact5: もし仮になんらかのものは手広いならば「それは指南だということはないししかもそれは運動部でない」ということは成り立たない fact6: もしも「その配給は受験者用ＦＤであるけれど特別規定でない」ということは偽であるとしたら「あの目的地は最適生産計画であるということはない」ということは確かだ fact7: その配給が受験者用ＦＤだけれど特別規定でないならばあの目的地は最適生産計画であるということはない fact8: 仮に「その配給は受験者用ＦＤだし特別規定だ」ということは成り立たないとしたらあの目的地は最適生産計画でない fact9: 「その配給は受験者用ＦＤである」ということは本当である fact10: もし何らかのものが休・廃止するがしかしそれが私語でないとしたらあの科学研究は快くない fact11: 仮にあの科学研究が手広いとすればあの目的地は手広い fact12: もしあの科学研究が塗すならあの目的地は手広い fact13: 快くない物は塗すかあるいは手広いかまたはどちらもだ fact14: もし仮に「なにがしかのものは最適生産計画であるし久しい」ということは間違っているとしたらそれは暑いということはない fact15: 仮にその配給が最適生産計画であるならばあの目的地が特別規定だけど受験者用ＦＤでない fact16: もし仮に「その配給は受験者用ＦＤであるけれどそれは最適生産計画でない」ということは成り立つということはないとしたらあの目的地は特別規定でない fact17: この重症度判定は受験者用ＦＤだ ; $hypothesis$ = もしあの目的地が最適生産計画であるならその配給は受験者用ＦＤであるが特別規定でない ; $proof$ = 
void -> assump2: 以下のように仮定する。「その配給は受験者用ＦＤであるけど特別規定でない」ということは成り立たない; fact6 & assump2 -> int1: あの目的地は最適生産計画でない; void -> assump1: 以下のように仮定する。あの目的地は最適生産計画だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その配給は受験者用ＦＤだ一方で特別規定でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その配給は受験者用ＦＤであるし更にそれは特別規定である
事実2: 「あの目的地は指南でないし運動部でない」ということは誤りであるならその配給は運動部である
事実3: ある物は休・廃止するがそれは私語でない
事実4: 「あの情報入手は呆気なくないが待ち為さる」ということは誤りであるとしたらあの軟膜は久しいということはない
事実5: もし仮になんらかのものは手広いならば「それは指南だということはないししかもそれは運動部でない」ということは成り立たない
事実6: もしも「その配給は受験者用ＦＤであるけれど特別規定でない」ということは偽であるとしたら「あの目的地は最適生産計画であるということはない」ということは確かだ
事実7: その配給が受験者用ＦＤだけれど特別規定でないならばあの目的地は最適生産計画であるということはない
事実8: 仮に「その配給は受験者用ＦＤだし特別規定だ」ということは成り立たないとしたらあの目的地は最適生産計画でない
事実9: 「その配給は受験者用ＦＤである」ということは本当である
事実10: もし何らかのものが休・廃止するがしかしそれが私語でないとしたらあの科学研究は快くない
事実11: 仮にあの科学研究が手広いとすればあの目的地は手広い
事実12: もしあの科学研究が塗すならあの目的地は手広い
事実13: 快くない物は塗すかあるいは手広いかまたはどちらもだ
事実14: もし仮に「なにがしかのものは最適生産計画であるし久しい」ということは間違っているとしたらそれは暑いということはない
事実15: 仮にその配給が最適生産計画であるならばあの目的地が特別規定だけど受験者用ＦＤでない
事実16: もし仮に「その配給は受験者用ＦＤであるけれどそれは最適生産計画でない」ということは成り立つということはないとしたらあの目的地は特別規定でない
事実17: この重症度判定は受験者用ＦＤだ

仮説: もしあの目的地が最適生産計画であるならその配給は受験者用ＦＤであるが特別規定でない
1. 仮定2: 以下のように仮定する。「その配給は受験者用ＦＤであるけど特別規定でない」ということは成り立たない
2. 事実6と仮定2から、推論1: "あの目的地は最適生産計画でない"が導かれる
3. 仮定1: 以下のように仮定する。あの目的地は最適生産計画だ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その配給は受験者用ＦＤだ一方で特別規定でない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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