もし仮に「この製品群Ａ製造工場はインポーターでない一方でダブルプレスだ」ということは成り立たないとしたらその単数は前置きする
fact1: その単数は前置きするということはないけれど上程する fact2: 「この一覧ページは上程しないけれど倒れ難い」ということは成り立たない fact3: あの分化過程は上程する fact4: 「その単数は前置きするしそれはインポーターである」ということは嘘である fact5: もし「この製品群Ａ製造工場は上程しないがダブルプレスだ」ということは成り立たないならこの一覧ページは倒れ難い fact6: もしこの一覧ページがインポーターでない一方で上程するとしたらこの製品群Ａ製造工場はダブルプレスだ fact7: 「この一覧ページはダブルプレスであるしおまけに倒れ難い」ということは成り立たない fact8: もし仮にこの製品群Ａ製造工場がダブルプレスでないとすればその単数は前置きする fact9: 仮に「この製品群Ａ製造工場はインポーターでないがしかしダブルプレスだ」ということは成り立つということはないならばこの一覧ページは倒れ難い fact10: 仮にこの製品群Ａ製造工場が上程するとするとこの一覧ページはダブルプレスだ fact11: もしこの一覧ページがインポーターならこの製品群Ａ製造工場は上程する fact12: もし仮に「その単数は前置きしないけれどダブルプレスである」ということは成り立たないとしたらこの製品群Ａ製造工場はインポーターである fact13: その単数はインポーターでない fact14: 仮にその単数が上程するということはないがそれは倒れ難いとしたら「この一覧ページは前置きする」ということは成り立つ fact15: もし仮にこの一覧ページが上程するとすればその単数は前置きする fact16: 「この一覧ページはインポーターであるししかもそれは上程する」ということは間違っている fact17: 仮にこの製品群Ａ製造工場が前置きするとするとその単数はダブルプレスである fact18: この製品群Ａ製造工場は倒れ難くないがしかしダブルプレスである fact19: 「この一覧ページは前置きしないけれど上程する」ということは成り立たない fact20: 「この一覧ページは上程しないがしかしダブルプレスである」ということは誤っている
void -> assump1: 以下のように仮定する。「この製品群Ａ製造工場はインポーターだということはないがダブルプレスだ」ということは事実と異なる; fact9 & assump1 -> int1: この一覧ページは倒れ難い; void -> assump2: 以下のように仮定する。「この一覧ページは上程しない」ということは成り立つ; int1 & assump2 -> int2: この一覧ページは上程しない一方で倒れ難い; int2 & fact2 -> int3: これは矛盾である; [assump2] & int3 -> int4: この一覧ページは上程する; int4 & fact15 -> int5: その単数は前置きする; [assump1] & int5 -> hypothesis;
$facts$ = fact1: その単数は前置きするということはないけれど上程する fact2: 「この一覧ページは上程しないけれど倒れ難い」ということは成り立たない fact3: あの分化過程は上程する fact4: 「その単数は前置きするしそれはインポーターである」ということは嘘である fact5: もし「この製品群Ａ製造工場は上程しないがダブルプレスだ」ということは成り立たないならこの一覧ページは倒れ難い fact6: もしこの一覧ページがインポーターでない一方で上程するとしたらこの製品群Ａ製造工場はダブルプレスだ fact7: 「この一覧ページはダブルプレスであるしおまけに倒れ難い」ということは成り立たない fact8: もし仮にこの製品群Ａ製造工場がダブルプレスでないとすればその単数は前置きする fact9: 仮に「この製品群Ａ製造工場はインポーターでないがしかしダブルプレスだ」ということは成り立つということはないならばこの一覧ページは倒れ難い fact10: 仮にこの製品群Ａ製造工場が上程するとするとこの一覧ページはダブルプレスだ fact11: もしこの一覧ページがインポーターならこの製品群Ａ製造工場は上程する fact12: もし仮に「その単数は前置きしないけれどダブルプレスである」ということは成り立たないとしたらこの製品群Ａ製造工場はインポーターである fact13: その単数はインポーターでない fact14: 仮にその単数が上程するということはないがそれは倒れ難いとしたら「この一覧ページは前置きする」ということは成り立つ fact15: もし仮にこの一覧ページが上程するとすればその単数は前置きする fact16: 「この一覧ページはインポーターであるししかもそれは上程する」ということは間違っている fact17: 仮にこの製品群Ａ製造工場が前置きするとするとその単数はダブルプレスである fact18: この製品群Ａ製造工場は倒れ難くないがしかしダブルプレスである fact19: 「この一覧ページは前置きしないけれど上程する」ということは成り立たない fact20: 「この一覧ページは上程しないがしかしダブルプレスである」ということは誤っている ; $hypothesis$ = もし仮に「この製品群Ａ製造工場はインポーターでない一方でダブルプレスだ」ということは成り立たないとしたらその単数は前置きする ; $proof$ = 
void -> assump1: 以下のように仮定する。「この製品群Ａ製造工場はインポーターだということはないがダブルプレスだ」ということは事実と異なる; fact9 & assump1 -> int1: この一覧ページは倒れ難い; void -> assump2: 以下のように仮定する。「この一覧ページは上程しない」ということは成り立つ; int1 & assump2 -> int2: この一覧ページは上程しない一方で倒れ難い; int2 & fact2 -> int3: これは矛盾である; [assump2] & int3 -> int4: この一覧ページは上程する; int4 & fact15 -> int5: その単数は前置きする; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その単数は前置きするということはないけれど上程する
事実2: 「この一覧ページは上程しないけれど倒れ難い」ということは成り立たない
事実3: あの分化過程は上程する
事実4: 「その単数は前置きするしそれはインポーターである」ということは嘘である
事実5: もし「この製品群Ａ製造工場は上程しないがダブルプレスだ」ということは成り立たないならこの一覧ページは倒れ難い
事実6: もしこの一覧ページがインポーターでない一方で上程するとしたらこの製品群Ａ製造工場はダブルプレスだ
事実7: 「この一覧ページはダブルプレスであるしおまけに倒れ難い」ということは成り立たない
事実8: もし仮にこの製品群Ａ製造工場がダブルプレスでないとすればその単数は前置きする
事実9: 仮に「この製品群Ａ製造工場はインポーターでないがしかしダブルプレスだ」ということは成り立つということはないならばこの一覧ページは倒れ難い
事実10: 仮にこの製品群Ａ製造工場が上程するとするとこの一覧ページはダブルプレスだ
事実11: もしこの一覧ページがインポーターならこの製品群Ａ製造工場は上程する
事実12: もし仮に「その単数は前置きしないけれどダブルプレスである」ということは成り立たないとしたらこの製品群Ａ製造工場はインポーターである
事実13: その単数はインポーターでない
事実14: 仮にその単数が上程するということはないがそれは倒れ難いとしたら「この一覧ページは前置きする」ということは成り立つ
事実15: もし仮にこの一覧ページが上程するとすればその単数は前置きする
事実16: 「この一覧ページはインポーターであるししかもそれは上程する」ということは間違っている
事実17: 仮にこの製品群Ａ製造工場が前置きするとするとその単数はダブルプレスである
事実18: この製品群Ａ製造工場は倒れ難くないがしかしダブルプレスである
事実19: 「この一覧ページは前置きしないけれど上程する」ということは成り立たない
事実20: 「この一覧ページは上程しないがしかしダブルプレスである」ということは誤っている

仮説: もし仮に「この製品群Ａ製造工場はインポーターでない一方でダブルプレスだ」ということは成り立たないとしたらその単数は前置きする
1. 仮定1: 以下のように仮定する。「この製品群Ａ製造工場はインポーターだということはないがダブルプレスだ」ということは事実と異なる
2. 事実9と仮定1から、推論1: "この一覧ページは倒れ難い"が導かれる
3. 仮定2: 以下のように仮定する。「この一覧ページは上程しない」ということは成り立つ
4. 推論1と仮定2から、推論2: "この一覧ページは上程しない一方で倒れ難い"が導かれる
5. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この一覧ページは上程する"が導かれる
7. 推論4と事実15から、推論5: "その単数は前置きする"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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