「「この判取り帳は右サイドであるか良過ぎるかあるいは両方である」ということは本当だ」ということは間違いだ
fact1: なんらかのものは紳士らしいということはないけど行儀良い fact2: もしもなにがしかの物は練り合わせなくて迷い難くないならばそれは移転登記しない fact3: もしもあるものが移転登記しないとしたら取り次ぎでないし変遷しない fact4: この判取り帳は気忙しい fact5: もしとある物は気忙しくないなら「右サイドであるかもしくは良過ぎる」ということは間違っている fact6: もしも「この判取り帳はぱくるけれど百五十参照でない」ということは事実でないとしたら尖り立つ fact7: 「なにかは二分圧だけどコインロッカーであるということはない」ということは確かでないならば右サイドである fact8: この事業成長が移転登記するということはないがしかし取り次ぎだとしたらその経産牛頭数は取り次ぎでない fact9: もし仮になにがしかの物が良過ぎれば二分圧である fact10: 仮にあるものが変遷しないしそれが気忙しくないならば良過ぎない fact11: 「この判取り帳は矯正するがしかしそれは良過ぎない」ということは誤っている fact12: もし「この判取り帳は気忙しい」ということは事実と異ならないとすれば「二分圧であるけどコインロッカーでない」ということは成り立たない fact13: もし仮にその融資先は現金化すれば「それは全国均一であるし二分圧だ」ということは事実と異なる fact14: もし仮になんらかのものが良過ぎるということはないとすれば右サイドであるかもしくはそれは会わす fact15: ある物がエクスポートしないとすればそれは練り合わせなくてその上それは迷い難くない fact16: もしその経産牛頭数が取り次ぎでないとすればあの螺子巻き鳥さんは変遷しなくてその上気忙しくない fact17: もしもなにがしかの物は二分圧であるということはないならば右サイドだ fact18: この判取り帳は安過ぎるかまたはそれは午睡だ fact19: もし仮に紳士らしいということはないものは行儀良いとすればその経産牛頭数はエクスポートしない fact20: 「この判取り帳は焦れったいし二分圧である」ということは真実でない
fact7 -> int1: 「この判取り帳は二分圧だけれどそれはコインロッカーでない」ということは成り立たないとするとそれは右サイドだ; fact12 & fact4 -> int2: 「「この判取り帳は二分圧であるがコインロッカーでない」ということは確かである」ということは事実と異なる; int1 & int2 -> int3: この判取り帳は右サイドだ; int3 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact12 & fact4 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 -> hypothesis;
あの螺子巻き鳥さんは右サイドであるかあるいはそれは会わす
fact24 -> int4: 仮に「あの螺子巻き鳥さんは良過ぎない」ということは本当だとしたらそれは右サイドであるかあるいはそれは会わす; fact22 -> int5: 仮にあの螺子巻き鳥さんは変遷しないし加えて気忙しくないとすれば「良過ぎない」ということは正しい;
$facts$ = fact1: なんらかのものは紳士らしいということはないけど行儀良い fact2: もしもなにがしかの物は練り合わせなくて迷い難くないならばそれは移転登記しない fact3: もしもあるものが移転登記しないとしたら取り次ぎでないし変遷しない fact4: この判取り帳は気忙しい fact5: もしとある物は気忙しくないなら「右サイドであるかもしくは良過ぎる」ということは間違っている fact6: もしも「この判取り帳はぱくるけれど百五十参照でない」ということは事実でないとしたら尖り立つ fact7: 「なにかは二分圧だけどコインロッカーであるということはない」ということは確かでないならば右サイドである fact8: この事業成長が移転登記するということはないがしかし取り次ぎだとしたらその経産牛頭数は取り次ぎでない fact9: もし仮になにがしかの物が良過ぎれば二分圧である fact10: 仮にあるものが変遷しないしそれが気忙しくないならば良過ぎない fact11: 「この判取り帳は矯正するがしかしそれは良過ぎない」ということは誤っている fact12: もし「この判取り帳は気忙しい」ということは事実と異ならないとすれば「二分圧であるけどコインロッカーでない」ということは成り立たない fact13: もし仮にその融資先は現金化すれば「それは全国均一であるし二分圧だ」ということは事実と異なる fact14: もし仮になんらかのものが良過ぎるということはないとすれば右サイドであるかもしくはそれは会わす fact15: ある物がエクスポートしないとすればそれは練り合わせなくてその上それは迷い難くない fact16: もしその経産牛頭数が取り次ぎでないとすればあの螺子巻き鳥さんは変遷しなくてその上気忙しくない fact17: もしもなにがしかの物は二分圧であるということはないならば右サイドだ fact18: この判取り帳は安過ぎるかまたはそれは午睡だ fact19: もし仮に紳士らしいということはないものは行儀良いとすればその経産牛頭数はエクスポートしない fact20: 「この判取り帳は焦れったいし二分圧である」ということは真実でない ; $hypothesis$ = 「「この判取り帳は右サイドであるか良過ぎるかあるいは両方である」ということは本当だ」ということは間違いだ ; $proof$ = 
fact7 -> int1: 「この判取り帳は二分圧だけれどそれはコインロッカーでない」ということは成り立たないとするとそれは右サイドだ; fact12 & fact4 -> int2: 「「この判取り帳は二分圧であるがコインロッカーでない」ということは確かである」ということは事実と異なる; int1 & int2 -> int3: この判取り帳は右サイドだ; int3 -> hypothesis; __DISPROVED__
事実1: なんらかのものは紳士らしいということはないけど行儀良い
事実2: もしもなにがしかの物は練り合わせなくて迷い難くないならばそれは移転登記しない
事実3: もしもあるものが移転登記しないとしたら取り次ぎでないし変遷しない
事実4: この判取り帳は気忙しい
事実5: もしとある物は気忙しくないなら「右サイドであるかもしくは良過ぎる」ということは間違っている
事実6: もしも「この判取り帳はぱくるけれど百五十参照でない」ということは事実でないとしたら尖り立つ
事実7: 「なにかは二分圧だけどコインロッカーであるということはない」ということは確かでないならば右サイドである
事実8: この事業成長が移転登記するということはないがしかし取り次ぎだとしたらその経産牛頭数は取り次ぎでない
事実9: もし仮になにがしかの物が良過ぎれば二分圧である
事実10: 仮にあるものが変遷しないしそれが気忙しくないならば良過ぎない
事実11: 「この判取り帳は矯正するがしかしそれは良過ぎない」ということは誤っている
事実12: もし「この判取り帳は気忙しい」ということは事実と異ならないとすれば「二分圧であるけどコインロッカーでない」ということは成り立たない
事実13: もし仮にその融資先は現金化すれば「それは全国均一であるし二分圧だ」ということは事実と異なる
事実14: もし仮になんらかのものが良過ぎるということはないとすれば右サイドであるかもしくはそれは会わす
事実15: ある物がエクスポートしないとすればそれは練り合わせなくてその上それは迷い難くない
事実16: もしその経産牛頭数が取り次ぎでないとすればあの螺子巻き鳥さんは変遷しなくてその上気忙しくない
事実17: もしもなにがしかの物は二分圧であるということはないならば右サイドだ
事実18: この判取り帳は安過ぎるかまたはそれは午睡だ
事実19: もし仮に紳士らしいということはないものは行儀良いとすればその経産牛頭数はエクスポートしない
事実20: 「この判取り帳は焦れったいし二分圧である」ということは真実でない

仮説: 「「この判取り帳は右サイドであるか良過ぎるかあるいは両方である」ということは本当だ」ということは間違いだ
1. 事実7から、推論1: "「この判取り帳は二分圧だけれどそれはコインロッカーでない」ということは成り立たないとするとそれは右サイドだ"が導かれる
2. 事実12と事実4から、推論2: "「「この判取り帳は二分圧であるがコインロッカーでない」ということは確かである」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "この判取り帳は右サイドだ"が導かれる
4. 推論3から、仮説が否定される

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