あの政府予算はあくどくてまたサンクスだ
fact1: もし仮に「この一花は危ないけどそれはサンクスでない」ということは成り立たないならばあくどくない fact2: もし「あの政府予算はサンクスだがしかし年功色でない」ということは成り立たないならそれは危なくない fact3: 「この一花は年功色であるがしかしそれは危なくない」ということは成り立たない fact4: 仮になんらかのものはサンクスでないなら「それは年功色であるしおまけにあくどくない」ということは成り立たない fact5: もし仮にその代休日が御休み為さるとすればあの倍数表現は悪戦苦闘しない fact6: この一花は二流域でないしそれに存在有無であるということはない fact7: もしもこの一花はサンクスでないとしたら「あの政府予算はあくどくてまたサンクスだ」ということは嘘だ fact8: 仮にこの一花が危ないならばサンクスでない fact9: もしなにかは庇い合わないならば「葬り去るしかつ生き難くない」ということは偽である fact10: 「あの政府予算はサンクスだがしかし危なくない」ということは本当でないとしたら「年功色でない」ということは正しい fact11: 「あの政府予算は庇い合うということはないしそれに悪戦苦闘しない」ということは成り立たない fact12: もしも「「この倍数表現はあくどくないかあるいは塩化物イオンでないかもしくは両方である」ということは確かである」ということは誤っているとしたらあの政府予算はあくどい fact13: 「「この一花は年功色であるし更に危ない」ということは成り立たない」ということは成り立つ fact14: もし仮にこの一花は二流域でないならばそれは庇い合わないしかつ楊幼炯ない fact15: 仮にとあるものが葬り去ればそれはサンクスでないししかもそれは生き難い fact16: その代休日は御休み為さる fact17: もし「何かは年功色だ一方であくどいということはない」ということは嘘なら「それは年功色でない」ということは本当だ fact18: あの政府予算は危なくない fact19: もしもこの一花が庇い合うとしたらこの遊技機は葬り去る fact20: もし「この一花は年功色だ一方で危なくない」ということは誤りだとしたらそれはサンクスでない fact21: もしも何らかのものは悪戦苦闘しないとすれば「それはあくどくないかもしくはそれは塩化物イオンでないかあるいはどちらもである」ということは事実と異なる
fact20 & fact3 -> int1: この一花はサンクスでない; int1 & fact7 -> hypothesis;
fact20 & fact3 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
この遊技機は年功色でない
fact26 -> int2: もし仮に「この遊技機は年功色であるけれどあくどくない」ということは成り立たないならば「年功色でない」ということは事実だ; fact25 -> int3: もしもこの遊技機はサンクスでないとすれば「それは年功色であるがあくどくない」ということは嘘だ; fact23 -> int4: もし仮にこの遊技機が葬り去るならそれはサンクスでないしそれは生き難い; fact24 -> int5: 「「「庇い合わなくて悪戦苦闘しない」ということは誤りである」ものはある」ということは正しい;
$facts$ = fact1: もし仮に「この一花は危ないけどそれはサンクスでない」ということは成り立たないならばあくどくない fact2: もし「あの政府予算はサンクスだがしかし年功色でない」ということは成り立たないならそれは危なくない fact3: 「この一花は年功色であるがしかしそれは危なくない」ということは成り立たない fact4: 仮になんらかのものはサンクスでないなら「それは年功色であるしおまけにあくどくない」ということは成り立たない fact5: もし仮にその代休日が御休み為さるとすればあの倍数表現は悪戦苦闘しない fact6: この一花は二流域でないしそれに存在有無であるということはない fact7: もしもこの一花はサンクスでないとしたら「あの政府予算はあくどくてまたサンクスだ」ということは嘘だ fact8: 仮にこの一花が危ないならばサンクスでない fact9: もしなにかは庇い合わないならば「葬り去るしかつ生き難くない」ということは偽である fact10: 「あの政府予算はサンクスだがしかし危なくない」ということは本当でないとしたら「年功色でない」ということは正しい fact11: 「あの政府予算は庇い合うということはないしそれに悪戦苦闘しない」ということは成り立たない fact12: もしも「「この倍数表現はあくどくないかあるいは塩化物イオンでないかもしくは両方である」ということは確かである」ということは誤っているとしたらあの政府予算はあくどい fact13: 「「この一花は年功色であるし更に危ない」ということは成り立たない」ということは成り立つ fact14: もし仮にこの一花は二流域でないならばそれは庇い合わないしかつ楊幼炯ない fact15: 仮にとあるものが葬り去ればそれはサンクスでないししかもそれは生き難い fact16: その代休日は御休み為さる fact17: もし「何かは年功色だ一方であくどいということはない」ということは嘘なら「それは年功色でない」ということは本当だ fact18: あの政府予算は危なくない fact19: もしもこの一花が庇い合うとしたらこの遊技機は葬り去る fact20: もし「この一花は年功色だ一方で危なくない」ということは誤りだとしたらそれはサンクスでない fact21: もしも何らかのものは悪戦苦闘しないとすれば「それはあくどくないかもしくはそれは塩化物イオンでないかあるいはどちらもである」ということは事実と異なる ; $hypothesis$ = あの政府予算はあくどくてまたサンクスだ ; $proof$ = 
fact20 & fact3 -> int1: この一花はサンクスでない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「この一花は危ないけどそれはサンクスでない」ということは成り立たないならばあくどくない
事実2: もし「あの政府予算はサンクスだがしかし年功色でない」ということは成り立たないならそれは危なくない
事実3: 「この一花は年功色であるがしかしそれは危なくない」ということは成り立たない
事実4: 仮になんらかのものはサンクスでないなら「それは年功色であるしおまけにあくどくない」ということは成り立たない
事実5: もし仮にその代休日が御休み為さるとすればあの倍数表現は悪戦苦闘しない
事実6: この一花は二流域でないしそれに存在有無であるということはない
事実7: もしもこの一花はサンクスでないとしたら「あの政府予算はあくどくてまたサンクスだ」ということは嘘だ
事実8: 仮にこの一花が危ないならばサンクスでない
事実9: もしなにかは庇い合わないならば「葬り去るしかつ生き難くない」ということは偽である
事実10: 「あの政府予算はサンクスだがしかし危なくない」ということは本当でないとしたら「年功色でない」ということは正しい
事実11: 「あの政府予算は庇い合うということはないしそれに悪戦苦闘しない」ということは成り立たない
事実12: もしも「「この倍数表現はあくどくないかあるいは塩化物イオンでないかもしくは両方である」ということは確かである」ということは誤っているとしたらあの政府予算はあくどい
事実13: 「「この一花は年功色であるし更に危ない」ということは成り立たない」ということは成り立つ
事実14: もし仮にこの一花は二流域でないならばそれは庇い合わないしかつ楊幼炯ない
事実15: 仮にとあるものが葬り去ればそれはサンクスでないししかもそれは生き難い
事実16: その代休日は御休み為さる
事実17: もし「何かは年功色だ一方であくどいということはない」ということは嘘なら「それは年功色でない」ということは本当だ
事実18: あの政府予算は危なくない
事実19: もしもこの一花が庇い合うとしたらこの遊技機は葬り去る
事実20: もし「この一花は年功色だ一方で危なくない」ということは誤りだとしたらそれはサンクスでない
事実21: もしも何らかのものは悪戦苦闘しないとすれば「それはあくどくないかもしくはそれは塩化物イオンでないかあるいはどちらもである」ということは事実と異なる

仮説: あの政府予算はあくどくてまたサンクスだ
1. 事実20と事実3から、推論1: "この一花はサンクスでない"が導かれる
2. 推論1と事実7から、仮説が否定される

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