あの消費額は出難いし握り易い
fact1: もし仮にこの切り替え作業が支配体制であるということはないかもしくは接近であるなら大人し fact2: もし仮に「何らかのものは条約上でないし更に犯罪集団でない」ということは成り立たないとするとそれは出難い fact3: あの消費額は握り易い fact4: 仮に何らかのものは接近であるとしたら「それは支配体制でないかあるいは胃症状でない」ということは嘘だ fact5: もしもあるものは大人しないなら「それが出難いしその上握り易い」ということは真実でない fact6: この切り替え作業は支配体制でないかもしくは接近であるかあるいは両方ともだ fact7: もし仮にあの消費額が条約上でないしまた犯罪集団でないとするとこの切り替え作業は胃症状でない fact8: 仮にこの切り替え作業は胃症状でないならば大人しない
void -> assump1: 以下のように仮定する。あの消費額は条約上でなくて更にそれは犯罪集団でない; fact7 & assump1 -> int1: この切り替え作業は胃症状でない; int1 & fact8 -> int2: この切り替え作業は大人しない; fact1 & fact6 -> int3: この切り替え作業は大人し; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「あの消費額は条約上でなくて犯罪集団だということはない」ということは成り立たない」ということは確かである; fact2 -> int6: もしも「あの消費額は条約上でないし更にそれは犯罪集団だということはない」ということは成り立たないとしたらそれは出難い; int5 & int6 -> int7: あの消費額は出難い; int7 & fact3 -> hypothesis;
「あの消費額は出難いしかつ握り易い」ということは誤りである
fact10 -> int8: あの消費額は大人しということはないとしたら「それは出難いしおまけに握り易い」ということは事実と異なる; fact9 -> int9: もし仮にこの切り替え作業は接近なら「それは支配体制であるということはないかあるいはそれは胃症状でないかどちらもだ」ということは確かであるということはない;
$facts$ = fact1: もし仮にこの切り替え作業が支配体制であるということはないかもしくは接近であるなら大人し fact2: もし仮に「何らかのものは条約上でないし更に犯罪集団でない」ということは成り立たないとするとそれは出難い fact3: あの消費額は握り易い fact4: 仮に何らかのものは接近であるとしたら「それは支配体制でないかあるいは胃症状でない」ということは嘘だ fact5: もしもあるものは大人しないなら「それが出難いしその上握り易い」ということは真実でない fact6: この切り替え作業は支配体制でないかもしくは接近であるかあるいは両方ともだ fact7: もし仮にあの消費額が条約上でないしまた犯罪集団でないとするとこの切り替え作業は胃症状でない fact8: 仮にこの切り替え作業は胃症状でないならば大人しない ; $hypothesis$ = あの消費額は出難いし握り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの消費額は条約上でなくて更にそれは犯罪集団でない; fact7 & assump1 -> int1: この切り替え作業は胃症状でない; int1 & fact8 -> int2: この切り替え作業は大人しない; fact1 & fact6 -> int3: この切り替え作業は大人し; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「あの消費額は条約上でなくて犯罪集団だということはない」ということは成り立たない」ということは確かである; fact2 -> int6: もしも「あの消費額は条約上でないし更にそれは犯罪集団だということはない」ということは成り立たないとしたらそれは出難い; int5 & int6 -> int7: あの消費額は出難い; int7 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの切り替え作業が支配体制であるということはないかもしくは接近であるなら大人し
事実2: もし仮に「何らかのものは条約上でないし更に犯罪集団でない」ということは成り立たないとするとそれは出難い
事実3: あの消費額は握り易い
事実4: 仮に何らかのものは接近であるとしたら「それは支配体制でないかあるいは胃症状でない」ということは嘘だ
事実5: もしもあるものは大人しないなら「それが出難いしその上握り易い」ということは真実でない
事実6: この切り替え作業は支配体制でないかもしくは接近であるかあるいは両方ともだ
事実7: もし仮にあの消費額が条約上でないしまた犯罪集団でないとするとこの切り替え作業は胃症状でない
事実8: 仮にこの切り替え作業は胃症状でないならば大人しない

仮説: あの消費額は出難いし握り易い
1. 仮定1: 以下のように仮定する。あの消費額は条約上でなくて更にそれは犯罪集団でない
2. 事実7と仮定1から、推論1: "この切り替え作業は胃症状でない"が導かれる
3. 推論1と事実8から、推論2: "この切り替え作業は大人しない"が導かれる
4. 事実1と事実6から、推論3: "この切り替え作業は大人し"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「あの消費額は条約上でなくて犯罪集団だということはない」ということは成り立たない」ということは確かである"が導かれる
7. 事実2から、推論6: "もしも「あの消費額は条約上でないし更にそれは犯罪集団だということはない」ということは成り立たないとしたらそれは出難い"が導かれる
8. 推論5と推論6から、推論7: "あの消費額は出難い"が導かれる
9. 推論7と事実3から、仮説が導かれる

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