この静岡県内は面目無い
fact1: もしも「あの飲食療法は腑甲斐無くないししかも発しない」ということは成り立たないとするとそれは鴻臚寺だ fact2: 「あの飲食療法は農協側でないけど採集する」ということは偽だ fact3: もし「あの飲食療法はＮツーでないけれど採集する」ということは成り立たないとしたらＮツーだ fact4: 仮にあのタブが採集するとしたらこの静岡県内は採集する fact5: 「この静岡県内が農協側であるということはないしその上彼らしいということはない」ということは誤っている fact6: 「この静岡県内は農協側でないけれどそれは奪える」ということは成り立たない fact7: 仮に「あのタブは御恥ずかしくなくてそれに奪えない」ということは成り立たないとしたらこの静岡県内は動物極側である fact8: 「あの飲食療法は奪える一方で採集しない」ということは成り立たない fact9: もし仮に「この静岡県内は農協側でなくて彼らしくない」ということは成り立たないとすると腑甲斐無い fact10: 「あの飲食療法は人見知りであるし加えて面目無い」ということは偽である fact11: この静岡県内は御恥ずかしい fact12: もしも何らかの物は採集するし御恥ずかしいならばＮツーでない fact13: もしもあのタブが御恥ずかしくないしかつ奪えるということはないとしたらあの飲食療法はＮツーでない fact14: もし動物極側が腑甲斐無いとすれば面目無くない fact15: この基礎疾患は腑甲斐無い fact16: この静岡県内は発声する fact17: 「あのタブは採集する」ということは成り立つ fact18: 「あの飲食療法はＮツーでないけど採集する」ということは間違いだ
void -> assump1: 以下のように仮定する。あのタブは御恥ずかしくないしそれに奪えない; fact13 & assump1 -> int1: あの飲食療法はＮツーでない; fact3 & fact18 -> int2: あの飲食療法はＮツーである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのタブは御恥ずかしいということはないしまた奪えない」ということは成り立たない; int4 & fact7 -> int5: 「この静岡県内は動物極側である」ということは成り立つ; fact5 & fact9 -> int6: この静岡県内は腑甲斐無い; int5 & int6 -> int7: この静岡県内は動物極側だし加えて腑甲斐無い; fact14 -> int8: 仮にこの静岡県内が動物極側でまた腑甲斐無いならばそれは面目無くない; int7 & int8 -> hypothesis;
この静岡県内は採集する
$facts$ = fact1: もしも「あの飲食療法は腑甲斐無くないししかも発しない」ということは成り立たないとするとそれは鴻臚寺だ fact2: 「あの飲食療法は農協側でないけど採集する」ということは偽だ fact3: もし「あの飲食療法はＮツーでないけれど採集する」ということは成り立たないとしたらＮツーだ fact4: 仮にあのタブが採集するとしたらこの静岡県内は採集する fact5: 「この静岡県内が農協側であるということはないしその上彼らしいということはない」ということは誤っている fact6: 「この静岡県内は農協側でないけれどそれは奪える」ということは成り立たない fact7: 仮に「あのタブは御恥ずかしくなくてそれに奪えない」ということは成り立たないとしたらこの静岡県内は動物極側である fact8: 「あの飲食療法は奪える一方で採集しない」ということは成り立たない fact9: もし仮に「この静岡県内は農協側でなくて彼らしくない」ということは成り立たないとすると腑甲斐無い fact10: 「あの飲食療法は人見知りであるし加えて面目無い」ということは偽である fact11: この静岡県内は御恥ずかしい fact12: もしも何らかの物は採集するし御恥ずかしいならばＮツーでない fact13: もしもあのタブが御恥ずかしくないしかつ奪えるということはないとしたらあの飲食療法はＮツーでない fact14: もし動物極側が腑甲斐無いとすれば面目無くない fact15: この基礎疾患は腑甲斐無い fact16: この静岡県内は発声する fact17: 「あのタブは採集する」ということは成り立つ fact18: 「あの飲食療法はＮツーでないけど採集する」ということは間違いだ ; $hypothesis$ = この静岡県内は面目無い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのタブは御恥ずかしくないしそれに奪えない; fact13 & assump1 -> int1: あの飲食療法はＮツーでない; fact3 & fact18 -> int2: あの飲食療法はＮツーである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あのタブは御恥ずかしいということはないしまた奪えない」ということは成り立たない; int4 & fact7 -> int5: 「この静岡県内は動物極側である」ということは成り立つ; fact5 & fact9 -> int6: この静岡県内は腑甲斐無い; int5 & int6 -> int7: この静岡県内は動物極側だし加えて腑甲斐無い; fact14 -> int8: 仮にこの静岡県内が動物極側でまた腑甲斐無いならばそれは面目無くない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしも「あの飲食療法は腑甲斐無くないししかも発しない」ということは成り立たないとするとそれは鴻臚寺だ
事実2: 「あの飲食療法は農協側でないけど採集する」ということは偽だ
事実3: もし「あの飲食療法はＮツーでないけれど採集する」ということは成り立たないとしたらＮツーだ
事実4: 仮にあのタブが採集するとしたらこの静岡県内は採集する
事実5: 「この静岡県内が農協側であるということはないしその上彼らしいということはない」ということは誤っている
事実6: 「この静岡県内は農協側でないけれどそれは奪える」ということは成り立たない
事実7: 仮に「あのタブは御恥ずかしくなくてそれに奪えない」ということは成り立たないとしたらこの静岡県内は動物極側である
事実8: 「あの飲食療法は奪える一方で採集しない」ということは成り立たない
事実9: もし仮に「この静岡県内は農協側でなくて彼らしくない」ということは成り立たないとすると腑甲斐無い
事実10: 「あの飲食療法は人見知りであるし加えて面目無い」ということは偽である
事実11: この静岡県内は御恥ずかしい
事実12: もしも何らかの物は採集するし御恥ずかしいならばＮツーでない
事実13: もしもあのタブが御恥ずかしくないしかつ奪えるということはないとしたらあの飲食療法はＮツーでない
事実14: もし動物極側が腑甲斐無いとすれば面目無くない
事実15: この基礎疾患は腑甲斐無い
事実16: この静岡県内は発声する
事実17: 「あのタブは採集する」ということは成り立つ
事実18: 「あの飲食療法はＮツーでないけど採集する」ということは間違いだ

仮説: この静岡県内は面目無い
1. 仮定1: 以下のように仮定する。あのタブは御恥ずかしくないしそれに奪えない
2. 事実13と仮定1から、推論1: "あの飲食療法はＮツーでない"が導かれる
3. 事実3と事実18から、推論2: "あの飲食療法はＮツーである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あのタブは御恥ずかしいということはないしまた奪えない」ということは成り立たない"が導かれる
6. 推論4と事実7から、推論5: "「この静岡県内は動物極側である」ということは成り立つ"が導かれる
7. 事実5と事実9から、推論6: "この静岡県内は腑甲斐無い"が導かれる
8. 推論5と推論6から、推論7: "この静岡県内は動物極側だし加えて腑甲斐無い"が導かれる
9. 事実14から、推論8: "仮にこの静岡県内が動物極側でまた腑甲斐無いならばそれは面目無くない"が導かれる
10. 推論7と推論8から、仮説が否定される

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