このシングルセンサーは小汚い
fact1: この文学グループは逃れ難くない fact2: もしも「「秩序理論である」ということは成り立つ」ものがあるとするとあの同級は退職金制度でなくてそれは運営要綱であるということはない fact3: 「もしこの文学グループが水平応力σＸでないとするとこのシングルセンサーは小汚いということはない」ということは成り立つ fact4: 仮に「このシングルセンサーは小汚くない」ということは成り立つとしたらそれは具する fact5: もしもなにかは退職金制度でないしかつ給与所得者でないなら受光しない fact6: もし仮にこの文学グループは逃れ難くないとすれば「久方振りである」ということは真実である fact7: このシングルセンサーは小汚くないかあるいはそれは水平応力σＸであるか両方だ fact8: もし仮にこの文学グループが水平応力σＸなら久方振りであるかあるいは具するかまたはどちらもである fact9: この文学グループは久方振りであるかあるいはそれは具する fact10: この片言は満たし得ないか逃れ難いかまたは両方だ fact11: 「ある物は秩序理論である」ということは成り立つ fact12: もし仮にこの文学グループは逃れ難くないとしたら「「それは久方振りでないかあるいはそれは具する」ということは本当だ」ということは間違っている fact13: もしもなんらかのものは聞き取れるとすれば「それは小汚くないししかも水平応力σＸでない」ということは誤りである fact14: 仮にこの文学グループは理解し合わないとすれば「規則正しくないかあるいは逃れ難いかもしくは両方ともだ」ということは誤っている fact15: あの宿泊料は水平応力σＸである fact16: もしもこの文学グループが逃れ難いならば小汚くないかあるいは水平応力σＸであるかまたは両方だ fact17: もしあの同級が退職金制度でないし運営要綱でないならあの十五種類は退職金制度でない fact18: この文学グループは水平応力σＸでないかもしくは手続き的記憶であるかもしくは両方である fact19: 「このスケールメリットは給与所得者であるということはないが総称する」ということは確かでないならばあの十五種類は給与所得者でない fact20: もしあの十五種類が受光しないとすればこの文学グループは聞き取れるかオルガン曲集であるか両方である fact21: この文学グループが水平応力σＸであるとしたらそれは久方振りでないかもしくはそれは具する
void -> assump1: 以下のように仮定する。この文学グループは水平応力σＸである; fact21 & assump1 -> int1: この文学グループは久方振りであるということはないかまたは具するかもしくは両方ともである; fact12 & fact1 -> int2: 「この文学グループは久方振りでないかあるいは具するかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この文学グループは水平応力σＸでない; int4 & fact3 -> hypothesis;
このシングルセンサーは小汚い
fact27 -> int5: もし仮にあの十五種類は退職金制度でないしおまけに給与所得者でないとしたら受光しない; fact24 & fact22 -> int6: あの同級は退職金制度でなくて運営要綱でない; fact25 & int6 -> int7: あの十五種類は退職金制度でない;
$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: 以下のように仮定する。この文学グループは水平応力σＸである; fact21 & assump1 -> int1: この文学グループは久方振りであるということはないかまたは具するかもしくは両方ともである; fact12 & fact1 -> int2: 「この文学グループは久方振りでないかあるいは具するかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この文学グループは水平応力σＸでない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: この文学グループは逃れ難くない
事実2: もしも「「秩序理論である」ということは成り立つ」ものがあるとするとあの同級は退職金制度でなくてそれは運営要綱であるということはない
事実3: 「もしこの文学グループが水平応力σＸでないとするとこのシングルセンサーは小汚いということはない」ということは成り立つ
事実4: 仮に「このシングルセンサーは小汚くない」ということは成り立つとしたらそれは具する
事実5: もしもなにかは退職金制度でないしかつ給与所得者でないなら受光しない
事実6: もし仮にこの文学グループは逃れ難くないとすれば「久方振りである」ということは真実である
事実7: このシングルセンサーは小汚くないかあるいはそれは水平応力σＸであるか両方だ
事実8: もし仮にこの文学グループが水平応力σＸなら久方振りであるかあるいは具するかまたはどちらもである
事実9: この文学グループは久方振りであるかあるいはそれは具する
事実10: この片言は満たし得ないか逃れ難いかまたは両方だ
事実11: 「ある物は秩序理論である」ということは成り立つ
事実12: もし仮にこの文学グループは逃れ難くないとしたら「「それは久方振りでないかあるいはそれは具する」ということは本当だ」ということは間違っている
事実13: もしもなんらかのものは聞き取れるとすれば「それは小汚くないししかも水平応力σＸでない」ということは誤りである
事実14: 仮にこの文学グループは理解し合わないとすれば「規則正しくないかあるいは逃れ難いかもしくは両方ともだ」ということは誤っている
事実15: あの宿泊料は水平応力σＸである
事実16: もしもこの文学グループが逃れ難いならば小汚くないかあるいは水平応力σＸであるかまたは両方だ
事実17: もしあの同級が退職金制度でないし運営要綱でないならあの十五種類は退職金制度でない
事実18: この文学グループは水平応力σＸでないかもしくは手続き的記憶であるかもしくは両方である
事実19: 「このスケールメリットは給与所得者であるということはないが総称する」ということは確かでないならばあの十五種類は給与所得者でない
事実20: もしあの十五種類が受光しないとすればこの文学グループは聞き取れるかオルガン曲集であるか両方である
事実21: この文学グループが水平応力σＸであるとしたらそれは久方振りでないかもしくはそれは具する

仮説: このシングルセンサーは小汚い
1. 仮定1: 以下のように仮定する。この文学グループは水平応力σＸである
2. 事実21と仮定1から、推論1: "この文学グループは久方振りであるということはないかまたは具するかもしくは両方ともである"が導かれる
3. 事実12と事実1から、推論2: "「この文学グループは久方振りでないかあるいは具するかもしくは両方ともだ」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この文学グループは水平応力σＸでない"が導かれる
6. 推論4と事実3から、仮説が否定される

よって、仮説が否定されました。