この防止措置は対処すらない
fact1: もしもなんらかの物は対処すれば「それは大挙するしかつ無礼者であるということはない」ということは誤りだ fact2: この防止措置は間違い無い fact3: もしこの防止措置は書き難いならば「それは決裂するしおまけに無礼者でない」ということは間違いである fact4: 「その二十歳台は無礼者であるししかもそれは決裂する」ということは成り立つということはない fact5: もし仮に「その二十歳台は無礼者だししかも決裂する」ということは成り立つということはないとするとこの防止措置は無礼者でない fact6: この防止措置は書き難い fact7: 「その国産は軍隊であるけど変異型ヤコブ病でない」ということは成り立たない fact8: もし仮に「その二十歳台は無礼者で書き難い」ということは事実と異なればこの防止措置は無礼者であるということはない fact9: その二十歳台は大挙する fact10: この拠ん所は神経痛であるけれど大挙しない fact11: もしこの防止措置が書き難いとすれば大挙する
fact1 -> int1: もしもこの防止措置は対処すとすると「それは大挙する一方で無礼者であるということはない」ということは成り立たない; void -> assump1: 以下のように仮定する。この防止措置は対処す; int1 & assump1 -> int2: 「この防止措置は大挙するけれど無礼者でない」ということは誤りである; fact6 & fact11 -> int3: この防止措置は大挙する; fact4 & fact5 -> int4: この防止措置は無礼者でない; int3 & int4 -> int5: この防止措置は大挙する一方でそれは無礼者でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は対処すれば「それは大挙するしかつ無礼者であるということはない」ということは誤りだ fact2: この防止措置は間違い無い fact3: もしこの防止措置は書き難いならば「それは決裂するしおまけに無礼者でない」ということは間違いである fact4: 「その二十歳台は無礼者であるししかもそれは決裂する」ということは成り立つということはない fact5: もし仮に「その二十歳台は無礼者だししかも決裂する」ということは成り立つということはないとするとこの防止措置は無礼者でない fact6: この防止措置は書き難い fact7: 「その国産は軍隊であるけど変異型ヤコブ病でない」ということは成り立たない fact8: もし仮に「その二十歳台は無礼者で書き難い」ということは事実と異なればこの防止措置は無礼者であるということはない fact9: その二十歳台は大挙する fact10: この拠ん所は神経痛であるけれど大挙しない fact11: もしこの防止措置が書き難いとすれば大挙する ; $hypothesis$ = この防止措置は対処すらない ; $proof$ = 
fact1 -> int1: もしもこの防止措置は対処すとすると「それは大挙する一方で無礼者であるということはない」ということは成り立たない; void -> assump1: 以下のように仮定する。この防止措置は対処す; int1 & assump1 -> int2: 「この防止措置は大挙するけれど無礼者でない」ということは誤りである; fact6 & fact11 -> int3: この防止措置は大挙する; fact4 & fact5 -> int4: この防止措置は無礼者でない; int3 & int4 -> int5: この防止措置は大挙する一方でそれは無礼者でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は対処すれば「それは大挙するしかつ無礼者であるということはない」ということは誤りだ
事実2: この防止措置は間違い無い
事実3: もしこの防止措置は書き難いならば「それは決裂するしおまけに無礼者でない」ということは間違いである
事実4: 「その二十歳台は無礼者であるししかもそれは決裂する」ということは成り立つということはない
事実5: もし仮に「その二十歳台は無礼者だししかも決裂する」ということは成り立つということはないとするとこの防止措置は無礼者でない
事実6: この防止措置は書き難い
事実7: 「その国産は軍隊であるけど変異型ヤコブ病でない」ということは成り立たない
事実8: もし仮に「その二十歳台は無礼者で書き難い」ということは事実と異なればこの防止措置は無礼者であるということはない
事実9: その二十歳台は大挙する
事実10: この拠ん所は神経痛であるけれど大挙しない
事実11: もしこの防止措置が書き難いとすれば大挙する

仮説: この防止措置は対処すらない
1. 事実1から、推論1: "もしもこの防止措置は対処すとすると「それは大挙する一方で無礼者であるということはない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。この防止措置は対処す
3. 推論1と仮定1から、推論2: "「この防止措置は大挙するけれど無礼者でない」ということは誤りである"が導かれる
4. 事実6と事実11から、推論3: "この防止措置は大挙する"が導かれる
5. 事実4と事実5から、推論4: "この防止措置は無礼者でない"が導かれる
6. 推論3と推論4から、推論5: "この防止措置は大挙する一方でそれは無礼者でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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