「仮にあの克己が鼓吹するとすればその利益操作は対極板でないかあるいは潔しかまたは両方である」ということは本当である
fact1: もし仮に「白っぽくないかあるいは御構い無いかまたは両方ともな」物はあるとすると「あの規制緩和は対極板でない」ということは成り立つ fact2: あの克己は理解し難くない fact3: 「「対極板でないかまたは潔しかどちらもである」ということは成り立つということはない」ものがあるとしたらあの規制緩和は御構い無いということはない fact4: もしも「なんらかのものは白っぽいしさらに御構い無い」ということは成り立たないとすれば鼓吹しない fact5: あの克己は潔しない fact6: もしあの克己が御構い無くないとすると対極板でない fact7: 何らかの物は横笛でないならオンライントレードでない fact8: あの規制緩和は鼓吹しない fact9: あの克己が御構い無くないとするとそれは鼓吹するということはない fact10: 潔しないかもしくは御構い無い物は潔しない fact11: もし「あの克己は白っぽくてそれは御構い無い」ということは成り立つということはないとするとそれは鼓吹する fact12: その利益操作は対極板であるかあるいはそれは潔しか両方ともである fact13: 交代勤務はある fact14: 仮になにかは御構い無くないかあるいは鼓吹するかどちらもならばあの規制緩和は白っぽくない fact15: 仮に「あの克己は疎んぜないし鼓吹しない」ということは間違いならばあの規制緩和は鼓吹しない fact16: あの規制緩和は仏力であるかあるいはそれは居直るかもしくはどちらもだ fact17: もし仮にあの規制緩和が対極板だとすればあの克己は御構い無いということはないかあるいは潔しかまたは両方である fact18: もしあの規制緩和は御構い無くないとしたら「あの克己は白っぽくてそれに御構い無い」ということは偽だ fact19: 「その利益操作は労しないかもしくは白っぽいかもしくはどちらもである」ということは偽だ
void -> assump2: 以下のように仮定する。「その利益操作は対極板でないかまたは潔しかあるいは両方である」ということは嘘である; assump2 -> int1: 「「対極板でないかあるいは潔し」ということは成り立たない」物はある; int1 & fact3 -> int2: 「あの規制緩和は御構い無くない」ということは真実だ; int2 & fact18 -> int3: 「あの克己は白っぽくてかつそれは御構い無い」ということは事実と異なる; fact4 -> int4: 仮に「あの克己は白っぽくて更に御構い無い」ということは事実と異なるなら鼓吹しない; int3 & int4 -> int5: あの克己は鼓吹するということはない; void -> assump1: 以下のように仮定する。あの克己は鼓吹する; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: その利益操作は対極板であるということはないかもしくは潔しかあるいは両方だ; [assump1] & int7 -> hypothesis;
その半信半疑は潔しない
fact20 -> int8: もしもその半信半疑が潔しないかもしくは御構い無いかあるいは両方ともだとするとそれは潔しない;
$facts$ = fact1: もし仮に「白っぽくないかあるいは御構い無いかまたは両方ともな」物はあるとすると「あの規制緩和は対極板でない」ということは成り立つ fact2: あの克己は理解し難くない fact3: 「「対極板でないかまたは潔しかどちらもである」ということは成り立つということはない」ものがあるとしたらあの規制緩和は御構い無いということはない fact4: もしも「なんらかのものは白っぽいしさらに御構い無い」ということは成り立たないとすれば鼓吹しない fact5: あの克己は潔しない fact6: もしあの克己が御構い無くないとすると対極板でない fact7: 何らかの物は横笛でないならオンライントレードでない fact8: あの規制緩和は鼓吹しない fact9: あの克己が御構い無くないとするとそれは鼓吹するということはない fact10: 潔しないかもしくは御構い無い物は潔しない fact11: もし「あの克己は白っぽくてそれは御構い無い」ということは成り立つということはないとするとそれは鼓吹する fact12: その利益操作は対極板であるかあるいはそれは潔しか両方ともである fact13: 交代勤務はある fact14: 仮になにかは御構い無くないかあるいは鼓吹するかどちらもならばあの規制緩和は白っぽくない fact15: 仮に「あの克己は疎んぜないし鼓吹しない」ということは間違いならばあの規制緩和は鼓吹しない fact16: あの規制緩和は仏力であるかあるいはそれは居直るかもしくはどちらもだ fact17: もし仮にあの規制緩和が対極板だとすればあの克己は御構い無いということはないかあるいは潔しかまたは両方である fact18: もしあの規制緩和は御構い無くないとしたら「あの克己は白っぽくてそれに御構い無い」ということは偽だ fact19: 「その利益操作は労しないかもしくは白っぽいかもしくはどちらもである」ということは偽だ ; $hypothesis$ = 「仮にあの克己が鼓吹するとすればその利益操作は対極板でないかあるいは潔しかまたは両方である」ということは本当である ; $proof$ = 
void -> assump2: 以下のように仮定する。「その利益操作は対極板でないかまたは潔しかあるいは両方である」ということは嘘である; assump2 -> int1: 「「対極板でないかあるいは潔し」ということは成り立たない」物はある; int1 & fact3 -> int2: 「あの規制緩和は御構い無くない」ということは真実だ; int2 & fact18 -> int3: 「あの克己は白っぽくてかつそれは御構い無い」ということは事実と異なる; fact4 -> int4: 仮に「あの克己は白っぽくて更に御構い無い」ということは事実と異なるなら鼓吹しない; int3 & int4 -> int5: あの克己は鼓吹するということはない; void -> assump1: 以下のように仮定する。あの克己は鼓吹する; int5 & assump1 -> int6: これは矛盾である; [assump2] & int6 -> int7: その利益操作は対極板であるということはないかもしくは潔しかあるいは両方だ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮に「白っぽくないかあるいは御構い無いかまたは両方ともな」物はあるとすると「あの規制緩和は対極板でない」ということは成り立つ
事実2: あの克己は理解し難くない
事実3: 「「対極板でないかまたは潔しかどちらもである」ということは成り立つということはない」ものがあるとしたらあの規制緩和は御構い無いということはない
事実4: もしも「なんらかのものは白っぽいしさらに御構い無い」ということは成り立たないとすれば鼓吹しない
事実5: あの克己は潔しない
事実6: もしあの克己が御構い無くないとすると対極板でない
事実7: 何らかの物は横笛でないならオンライントレードでない
事実8: あの規制緩和は鼓吹しない
事実9: あの克己が御構い無くないとするとそれは鼓吹するということはない
事実10: 潔しないかもしくは御構い無い物は潔しない
事実11: もし「あの克己は白っぽくてそれは御構い無い」ということは成り立つということはないとするとそれは鼓吹する
事実12: その利益操作は対極板であるかあるいはそれは潔しか両方ともである
事実13: 交代勤務はある
事実14: 仮になにかは御構い無くないかあるいは鼓吹するかどちらもならばあの規制緩和は白っぽくない
事実15: 仮に「あの克己は疎んぜないし鼓吹しない」ということは間違いならばあの規制緩和は鼓吹しない
事実16: あの規制緩和は仏力であるかあるいはそれは居直るかもしくはどちらもだ
事実17: もし仮にあの規制緩和が対極板だとすればあの克己は御構い無いということはないかあるいは潔しかまたは両方である
事実18: もしあの規制緩和は御構い無くないとしたら「あの克己は白っぽくてそれに御構い無い」ということは偽だ
事実19: 「その利益操作は労しないかもしくは白っぽいかもしくはどちらもである」ということは偽だ

仮説: 「仮にあの克己が鼓吹するとすればその利益操作は対極板でないかあるいは潔しかまたは両方である」ということは本当である
1. 仮定2: 以下のように仮定する。「その利益操作は対極板でないかまたは潔しかあるいは両方である」ということは嘘である
2. 仮定2から、推論1: "「「対極板でないかあるいは潔し」ということは成り立たない」物はある"が導かれる
3. 推論1と事実3から、推論2: "「あの規制緩和は御構い無くない」ということは真実だ"が導かれる
4. 推論2と事実18から、推論3: "「あの克己は白っぽくてかつそれは御構い無い」ということは事実と異なる"が導かれる
5. 事実4から、推論4: "仮に「あの克己は白っぽくて更に御構い無い」ということは事実と異なるなら鼓吹しない"が導かれる
6. 推論3と推論4から、推論5: "あの克己は鼓吹するということはない"が導かれる
7. 仮定1: 以下のように仮定する。あの克己は鼓吹する
8. 推論5と仮定1から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "その利益操作は対極板であるということはないかもしくは潔しかあるいは両方だ"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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