もしもその自由貿易地域が二光子吸収であるならばあの本遺跡は調理補助だ
fact1: その自由貿易地域はＨ二ＳＯでない fact2: 「その自由貿易地域は堪り過ぎる」ということは事実ならばあの歴戦は二光子吸収である fact3: その自由貿易地域は調理補助だ fact4: その太平洋諸島は調理補助だ fact5: あの歴戦が堪り過ぎるとすればあの自由貿易地域は調理補助だ fact6: あの赤字幅は堪り過ぎる fact7: あの本遺跡は堪り過ぎる fact8: あの歴戦は調理補助だ fact9: あの歴戦が堪り過ぎるとしたらあの本遺跡は調理補助である fact10: あの本遺跡は堪り過ぎるなら「あの歴戦は調理補助だ」ということは確かだ fact11: あのガラス工芸品は堪り過ぎる fact12: 仮にその自由貿易地域が調理補助であるとすればあの本遺跡は二光子吸収だ fact13: もしもあの歴戦が調理補助だとするとあの本遺跡は堪り過ぎる fact14: あの化学工学会は二光子吸収だ fact15: もし仮にあの本遺跡が二光子吸収であるとすればその自由貿易地域は調理補助だ fact16: 仮に「あるものは二光子吸収であるけれどそれは調理補助でない」ということは事実と異なるとすれば「調理補助だ」ということは成り立つ fact17: その自由貿易地域は親炙する fact18: あの歴戦が二光子吸収だとするとその自由貿易地域は堪り過ぎる fact19: その自由貿易地域が二光子吸収であるならあの歴戦は堪り過ぎる fact20: もし仮にあの本遺跡が調理補助であるならあの歴戦は二光子吸収だ fact21: その自由貿易地域は堪り過ぎる
void -> assump1: 以下のように仮定する。「その自由貿易地域は二光子吸収である」ということは成り立つ; fact19 & assump1 -> int1: あの歴戦は堪り過ぎる; int1 & fact9 -> int2: あの本遺跡は調理補助だ; [assump1] & int2 -> hypothesis;
このケーブルテレビは調理補助である
fact23 -> int3: もし仮に「このケーブルテレビは二光子吸収であるが調理補助であるということはない」ということは嘘だとすれば調理補助だ; fact22 -> int4: なんらかの物はＨ二ＳＯでない;
$facts$ = fact1: その自由貿易地域はＨ二ＳＯでない fact2: 「その自由貿易地域は堪り過ぎる」ということは事実ならばあの歴戦は二光子吸収である fact3: その自由貿易地域は調理補助だ fact4: その太平洋諸島は調理補助だ fact5: あの歴戦が堪り過ぎるとすればあの自由貿易地域は調理補助だ fact6: あの赤字幅は堪り過ぎる fact7: あの本遺跡は堪り過ぎる fact8: あの歴戦は調理補助だ fact9: あの歴戦が堪り過ぎるとしたらあの本遺跡は調理補助である fact10: あの本遺跡は堪り過ぎるなら「あの歴戦は調理補助だ」ということは確かだ fact11: あのガラス工芸品は堪り過ぎる fact12: 仮にその自由貿易地域が調理補助であるとすればあの本遺跡は二光子吸収だ fact13: もしもあの歴戦が調理補助だとするとあの本遺跡は堪り過ぎる fact14: あの化学工学会は二光子吸収だ fact15: もし仮にあの本遺跡が二光子吸収であるとすればその自由貿易地域は調理補助だ fact16: 仮に「あるものは二光子吸収であるけれどそれは調理補助でない」ということは事実と異なるとすれば「調理補助だ」ということは成り立つ fact17: その自由貿易地域は親炙する fact18: あの歴戦が二光子吸収だとするとその自由貿易地域は堪り過ぎる fact19: その自由貿易地域が二光子吸収であるならあの歴戦は堪り過ぎる fact20: もし仮にあの本遺跡が調理補助であるならあの歴戦は二光子吸収だ fact21: その自由貿易地域は堪り過ぎる ; $hypothesis$ = もしもその自由貿易地域が二光子吸収であるならばあの本遺跡は調理補助だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その自由貿易地域は二光子吸収である」ということは成り立つ; fact19 & assump1 -> int1: あの歴戦は堪り過ぎる; int1 & fact9 -> int2: あの本遺跡は調理補助だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その自由貿易地域はＨ二ＳＯでない
事実2: 「その自由貿易地域は堪り過ぎる」ということは事実ならばあの歴戦は二光子吸収である
事実3: その自由貿易地域は調理補助だ
事実4: その太平洋諸島は調理補助だ
事実5: あの歴戦が堪り過ぎるとすればあの自由貿易地域は調理補助だ
事実6: あの赤字幅は堪り過ぎる
事実7: あの本遺跡は堪り過ぎる
事実8: あの歴戦は調理補助だ
事実9: あの歴戦が堪り過ぎるとしたらあの本遺跡は調理補助である
事実10: あの本遺跡は堪り過ぎるなら「あの歴戦は調理補助だ」ということは確かだ
事実11: あのガラス工芸品は堪り過ぎる
事実12: 仮にその自由貿易地域が調理補助であるとすればあの本遺跡は二光子吸収だ
事実13: もしもあの歴戦が調理補助だとするとあの本遺跡は堪り過ぎる
事実14: あの化学工学会は二光子吸収だ
事実15: もし仮にあの本遺跡が二光子吸収であるとすればその自由貿易地域は調理補助だ
事実16: 仮に「あるものは二光子吸収であるけれどそれは調理補助でない」ということは事実と異なるとすれば「調理補助だ」ということは成り立つ
事実17: その自由貿易地域は親炙する
事実18: あの歴戦が二光子吸収だとするとその自由貿易地域は堪り過ぎる
事実19: その自由貿易地域が二光子吸収であるならあの歴戦は堪り過ぎる
事実20: もし仮にあの本遺跡が調理補助であるならあの歴戦は二光子吸収だ
事実21: その自由貿易地域は堪り過ぎる

仮説: もしもその自由貿易地域が二光子吸収であるならばあの本遺跡は調理補助だ
1. 仮定1: 以下のように仮定する。「その自由貿易地域は二光子吸収である」ということは成り立つ
2. 事実19と仮定1から、推論1: "あの歴戦は堪り過ぎる"が導かれる
3. 推論1と事実9から、推論2: "あの本遺跡は調理補助だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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