その林下は御忙しいかしょっぴかないかどちらもである
fact1: もしなにがしかのものが中腰姿勢でないとすればそれは意思決定であるか軽ーいかどちらもだ fact2: もしその林下は御忙しいかしょっぴかないならそれは正常化でない fact3: 仮にその取り締まり役人事部長が正常化ならばその工事現場は正常化でない fact4: 仮にとある物は正常化だということはないとすると「社会保障関係費でなくてそれに分かり辛い」ということは成り立たない fact5: もし仮に「なにがしかのものは社会保障関係費でないけれど分かり辛い」ということは成り立たないとすると分かり辛くない fact6: もしその林下は分かり辛くないが社会保障関係費だとすると正常化である fact7: もし仮にこの自己実現欲求が中腰姿勢でないとするとその非現実論は中腰姿勢でない fact8: もしその非平衡状態が社会福祉法人でないけど砕け易いとすればあの自己実現欲求は中腰姿勢でない fact9: もしそのＮＢＣテロはデシリットル以上なら「その取り締まり役人事部長は正常化だ」ということは成り立つ fact10: その林下は分かり辛くないがしかし社会保障関係費だ fact11: 仮にその工事現場が分かり辛くないとしたらその林下は御忙しいかもしくはしょっぴかないかまたは両方ともである
void -> assump1: 以下のように仮定する。その林下は御忙しいかそれはしょっぴかないかもしくは両方である; fact2 & assump1 -> int1: その林下は正常化でない; fact10 & fact6 -> int2: その林下は正常化だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} v ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; fact10 & fact6 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その林下は御忙しいかまたはしょっぴくということはない
fact19 -> int4: 「その工事現場は社会保障関係費でないけど分かり辛い」ということは偽であるとすれば「「分かり辛い」ということは嘘でない」ということは間違っている; fact15 -> int5: もし仮にその工事現場は正常化でないとしたら「社会保障関係費だということはないしまた分かり辛い」ということは間違いである; fact17 -> int6: 仮に「その非現実論は中腰姿勢でない」ということは成り立つとすると意思決定であるかあるいは軽ーいかどちらもである;
$facts$ = fact1: もしなにがしかのものが中腰姿勢でないとすればそれは意思決定であるか軽ーいかどちらもだ fact2: もしその林下は御忙しいかしょっぴかないならそれは正常化でない fact3: 仮にその取り締まり役人事部長が正常化ならばその工事現場は正常化でない fact4: 仮にとある物は正常化だということはないとすると「社会保障関係費でなくてそれに分かり辛い」ということは成り立たない fact5: もし仮に「なにがしかのものは社会保障関係費でないけれど分かり辛い」ということは成り立たないとすると分かり辛くない fact6: もしその林下は分かり辛くないが社会保障関係費だとすると正常化である fact7: もし仮にこの自己実現欲求が中腰姿勢でないとするとその非現実論は中腰姿勢でない fact8: もしその非平衡状態が社会福祉法人でないけど砕け易いとすればあの自己実現欲求は中腰姿勢でない fact9: もしそのＮＢＣテロはデシリットル以上なら「その取り締まり役人事部長は正常化だ」ということは成り立つ fact10: その林下は分かり辛くないがしかし社会保障関係費だ fact11: 仮にその工事現場が分かり辛くないとしたらその林下は御忙しいかもしくはしょっぴかないかまたは両方ともである ; $hypothesis$ = その林下は御忙しいかしょっぴかないかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。その林下は御忙しいかそれはしょっぴかないかもしくは両方である; fact2 & assump1 -> int1: その林下は正常化でない; fact10 & fact6 -> int2: その林下は正常化だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが中腰姿勢でないとすればそれは意思決定であるか軽ーいかどちらもだ
事実2: もしその林下は御忙しいかしょっぴかないならそれは正常化でない
事実3: 仮にその取り締まり役人事部長が正常化ならばその工事現場は正常化でない
事実4: 仮にとある物は正常化だということはないとすると「社会保障関係費でなくてそれに分かり辛い」ということは成り立たない
事実5: もし仮に「なにがしかのものは社会保障関係費でないけれど分かり辛い」ということは成り立たないとすると分かり辛くない
事実6: もしその林下は分かり辛くないが社会保障関係費だとすると正常化である
事実7: もし仮にこの自己実現欲求が中腰姿勢でないとするとその非現実論は中腰姿勢でない
事実8: もしその非平衡状態が社会福祉法人でないけど砕け易いとすればあの自己実現欲求は中腰姿勢でない
事実9: もしそのＮＢＣテロはデシリットル以上なら「その取り締まり役人事部長は正常化だ」ということは成り立つ
事実10: その林下は分かり辛くないがしかし社会保障関係費だ
事実11: 仮にその工事現場が分かり辛くないとしたらその林下は御忙しいかもしくはしょっぴかないかまたは両方ともである

仮説: その林下は御忙しいかしょっぴかないかどちらもである
1. 仮定1: 以下のように仮定する。その林下は御忙しいかそれはしょっぴかないかもしくは両方である
2. 事実2と仮定1から、推論1: "その林下は正常化でない"が導かれる
3. 事実10と事実6から、推論2: "その林下は正常化だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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