「「もし仮に「姦しいかもしくは厳くないか両方である」ということは成り立つとすればちっちゃくない」ものはある」ということは成り立たない
fact1: 「もしばあかしかないとすると「渡守でない」ということは確かな」ものはある fact2: もしなにかは逆修法要であるかあるいはそれは受信しないなら「押し上げない」ということは正しい fact3: もし仮に「とある物は再投資するかそれは賑やか過ぎないかあるいは両方ともだ」ということは本当だとすると思し召しする fact4: もし仮になにかは姦しいかまたはそれは厳くないかもしくは両方だとしたら「それはちっちゃくない」ということは真実である fact5: 「もしも「姦しいか厳いということはないか両方である」ということは真実ならちっちゃい」物はある fact6: 姦しい物はちっちゃくない fact7: 「姦しいか厳いとしたら「ちっちゃくない」ということは本当な」物はある
fact4 -> int1: もしもこのアスクル・ブックカフェは姦しいかもしくは厳くないならばそれはちっちゃくない; int1 -> hypothesis;
$facts$ = fact1: 「もしばあかしかないとすると「渡守でない」ということは確かな」ものはある fact2: もしなにかは逆修法要であるかあるいはそれは受信しないなら「押し上げない」ということは正しい fact3: もし仮に「とある物は再投資するかそれは賑やか過ぎないかあるいは両方ともだ」ということは本当だとすると思し召しする fact4: もし仮になにかは姦しいかまたはそれは厳くないかもしくは両方だとしたら「それはちっちゃくない」ということは真実である fact5: 「もしも「姦しいか厳いということはないか両方である」ということは真実ならちっちゃい」物はある fact6: 姦しい物はちっちゃくない fact7: 「姦しいか厳いとしたら「ちっちゃくない」ということは本当な」物はある ; $hypothesis$ = 「「もし仮に「姦しいかもしくは厳くないか両方である」ということは成り立つとすればちっちゃくない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしもこのアスクル・ブックカフェは姦しいかもしくは厳くないならばそれはちっちゃくない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしばあかしかないとすると「渡守でない」ということは確かな」ものはある
事実2: もしなにかは逆修法要であるかあるいはそれは受信しないなら「押し上げない」ということは正しい
事実3: もし仮に「とある物は再投資するかそれは賑やか過ぎないかあるいは両方ともだ」ということは本当だとすると思し召しする
事実4: もし仮になにかは姦しいかまたはそれは厳くないかもしくは両方だとしたら「それはちっちゃくない」ということは真実である
事実5: 「もしも「姦しいか厳いということはないか両方である」ということは真実ならちっちゃい」物はある
事実6: 姦しい物はちっちゃくない
事実7: 「姦しいか厳いとしたら「ちっちゃくない」ということは本当な」物はある

仮説: 「「もし仮に「姦しいかもしくは厳くないか両方である」ということは成り立つとすればちっちゃくない」ものはある」ということは成り立たない
1. 事実4から、推論1: "もしもこのアスクル・ブックカフェは姦しいかもしくは厳くないならばそれはちっちゃくない"が導かれる
2. 推論1から、仮説が否定される

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