この後背地は塩辛い
fact1: 仮になにがしかの物は色好いならば「それは合意する一方で不安定過ぎない」ということは正しくない fact2: 「色好くない」ものはある fact3: 色好くないものは塩辛い fact4: もしもあのジャパン・アズ・ナンバーワンが入れ墨しないがそれが偏位するとしたらこのサービス改善は偏位しない fact5: 仮にあのジャパン・アズ・ナンバーワンは残り易くないとしたら「このサービス改善は堪らないし更に偏位しない」ということは誤っている fact6: 「色好い」物はある fact7: もしもなにかは色好くないなら「あのエアブラシは留まるがそれは合意しない」ということは誤りである fact8: もし「色好くない」ものはあるとすると「あのエアブラシが留まるしその上それは合意する」ということは成り立たない fact9: この源平合戦は残り易いししかもそれは入れ墨する fact10: もし「あのエアブラシは留まるけど合意するということはない」ということは真実であるということはないならばこの後背地は塩辛いということはない fact11: 仮に「あるものは留まるしその上色好い」ということは成り立つということはないとするとそれは色好くない fact12: 仮に「あのエアブラシは塩辛くない」ということは成り立つとしたらその平等取り扱いは留まるしそれは色好い fact13: あのクロスロードはされ易くない fact14: 仮にとあるものは偏位しないとしたら「それは堪るがしかしし易いということはない」ということは成り立たない fact15: もしこの源平合戦が残り易くて加えてそれが入れ墨するならあのジャパン・アズ・ナンバーワンは残り易くない fact16: もしそのファイル処理関数はし易くないとすれば「それは鋭くないが合意する」ということは成り立たない fact17: 「「このサービス改善は堪るけどし易くない」ということは事実である」ということは成り立たないとしたらそのファイル処理関数はし易くない fact18: 仮にあのエアブラシが合意するならこの後背地は塩辛くない fact19: 仮にこの後背地はし易くないし塩辛くないとしたらあのエアブラシは塩辛くない fact20: 「あのエアブラシは留まるしかつそれは合意する」ということは成り立たない fact21: あのエアブラシは英数字だということはない fact22: もしこの源平合戦が残り易いならあのジャパン・アズ・ナンバーワンは入れ墨しないがしかし偏位する fact23: この源平合戦は残り易い
fact2 & fact7 -> int1: 「あのエアブラシは留まるけれどそれは合意しない」ということは事実と異なる; int1 & fact10 -> hypothesis;
fact2 & fact7 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact10 -> hypothesis;
「その平等取り扱いは合意する一方で不安定過ぎない」ということは誤っている
fact24 -> int2: その平等取り扱いは色好いなら「合意するしその上それは不安定過ぎない」ということは誤りだ; fact26 & fact29 -> int3: あのジャパン・アズ・ナンバーワンは残り易くない; fact25 & int3 -> int4: 「このサービス改善が堪らないしさらに偏位しない」ということは事実と異なる; int4 -> int5: 「「堪らないしかつ偏位しない」ということは成り立たない」物はある;
$facts$ = fact1: 仮になにがしかの物は色好いならば「それは合意する一方で不安定過ぎない」ということは正しくない fact2: 「色好くない」ものはある fact3: 色好くないものは塩辛い fact4: もしもあのジャパン・アズ・ナンバーワンが入れ墨しないがそれが偏位するとしたらこのサービス改善は偏位しない fact5: 仮にあのジャパン・アズ・ナンバーワンは残り易くないとしたら「このサービス改善は堪らないし更に偏位しない」ということは誤っている fact6: 「色好い」物はある fact7: もしもなにかは色好くないなら「あのエアブラシは留まるがそれは合意しない」ということは誤りである fact8: もし「色好くない」ものはあるとすると「あのエアブラシが留まるしその上それは合意する」ということは成り立たない fact9: この源平合戦は残り易いししかもそれは入れ墨する fact10: もし「あのエアブラシは留まるけど合意するということはない」ということは真実であるということはないならばこの後背地は塩辛いということはない fact11: 仮に「あるものは留まるしその上色好い」ということは成り立つということはないとするとそれは色好くない fact12: 仮に「あのエアブラシは塩辛くない」ということは成り立つとしたらその平等取り扱いは留まるしそれは色好い fact13: あのクロスロードはされ易くない fact14: 仮にとあるものは偏位しないとしたら「それは堪るがしかしし易いということはない」ということは成り立たない fact15: もしこの源平合戦が残り易くて加えてそれが入れ墨するならあのジャパン・アズ・ナンバーワンは残り易くない fact16: もしそのファイル処理関数はし易くないとすれば「それは鋭くないが合意する」ということは成り立たない fact17: 「「このサービス改善は堪るけどし易くない」ということは事実である」ということは成り立たないとしたらそのファイル処理関数はし易くない fact18: 仮にあのエアブラシが合意するならこの後背地は塩辛くない fact19: 仮にこの後背地はし易くないし塩辛くないとしたらあのエアブラシは塩辛くない fact20: 「あのエアブラシは留まるしかつそれは合意する」ということは成り立たない fact21: あのエアブラシは英数字だということはない fact22: もしこの源平合戦が残り易いならあのジャパン・アズ・ナンバーワンは入れ墨しないがしかし偏位する fact23: この源平合戦は残り易い ; $hypothesis$ = この後背地は塩辛い ; $proof$ = 
fact2 & fact7 -> int1: 「あのエアブラシは留まるけれどそれは合意しない」ということは事実と異なる; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物は色好いならば「それは合意する一方で不安定過ぎない」ということは正しくない
事実2: 「色好くない」ものはある
事実3: 色好くないものは塩辛い
事実4: もしもあのジャパン・アズ・ナンバーワンが入れ墨しないがそれが偏位するとしたらこのサービス改善は偏位しない
事実5: 仮にあのジャパン・アズ・ナンバーワンは残り易くないとしたら「このサービス改善は堪らないし更に偏位しない」ということは誤っている
事実6: 「色好い」物はある
事実7: もしもなにかは色好くないなら「あのエアブラシは留まるがそれは合意しない」ということは誤りである
事実8: もし「色好くない」ものはあるとすると「あのエアブラシが留まるしその上それは合意する」ということは成り立たない
事実9: この源平合戦は残り易いししかもそれは入れ墨する
事実10: もし「あのエアブラシは留まるけど合意するということはない」ということは真実であるということはないならばこの後背地は塩辛いということはない
事実11: 仮に「あるものは留まるしその上色好い」ということは成り立つということはないとするとそれは色好くない
事実12: 仮に「あのエアブラシは塩辛くない」ということは成り立つとしたらその平等取り扱いは留まるしそれは色好い
事実13: あのクロスロードはされ易くない
事実14: 仮にとあるものは偏位しないとしたら「それは堪るがしかしし易いということはない」ということは成り立たない
事実15: もしこの源平合戦が残り易くて加えてそれが入れ墨するならあのジャパン・アズ・ナンバーワンは残り易くない
事実16: もしそのファイル処理関数はし易くないとすれば「それは鋭くないが合意する」ということは成り立たない
事実17: 「「このサービス改善は堪るけどし易くない」ということは事実である」ということは成り立たないとしたらそのファイル処理関数はし易くない
事実18: 仮にあのエアブラシが合意するならこの後背地は塩辛くない
事実19: 仮にこの後背地はし易くないし塩辛くないとしたらあのエアブラシは塩辛くない
事実20: 「あのエアブラシは留まるしかつそれは合意する」ということは成り立たない
事実21: あのエアブラシは英数字だということはない
事実22: もしこの源平合戦が残り易いならあのジャパン・アズ・ナンバーワンは入れ墨しないがしかし偏位する
事実23: この源平合戦は残り易い

仮説: この後背地は塩辛い
1. 事実2と事実7から、推論1: "「あのエアブラシは留まるけれどそれは合意しない」ということは事実と異なる"が導かれる
2. 推論1と事実10から、仮説が否定される

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