「あの低声はうるかであるということはないが仰々しい」ということは成り立たない
fact1: もし仮にあの低声が北叟笑まないとしたらうるかでないしそれは仰々しい fact2: あの低声は北叟笑まない fact3: Ｇゲージは北叟笑む fact4: もしもあの低声がＧゲージであるか澄まし汁でないかあるいは両方ともであるならあのジャンプボールはＧゲージである fact5: この癇は仰々しくない fact6: あの低声はサインしない一方で乳蛋白率だ fact7: もしも「あの諸研究は白髪葱だということはない」ということは間違っていないなら引き難くなくてしかも精神的要因である fact8: あの低声はうるかでない一方で公表出来る fact9: もしその二十七条類推適用は切れっ端であるということはないとすればそれは北叟笑む
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
あのジャンプボールは今頃でないがそれは仰々しい
fact11 -> int1: もし仮にあのジャンプボールがＧゲージだとすれば北叟笑む;
$facts$ = fact1: もし仮にあの低声が北叟笑まないとしたらうるかでないしそれは仰々しい fact2: あの低声は北叟笑まない fact3: Ｇゲージは北叟笑む fact4: もしもあの低声がＧゲージであるか澄まし汁でないかあるいは両方ともであるならあのジャンプボールはＧゲージである fact5: この癇は仰々しくない fact6: あの低声はサインしない一方で乳蛋白率だ fact7: もしも「あの諸研究は白髪葱だということはない」ということは間違っていないなら引き難くなくてしかも精神的要因である fact8: あの低声はうるかでない一方で公表出来る fact9: もしその二十七条類推適用は切れっ端であるということはないとすればそれは北叟笑む ; $hypothesis$ = 「あの低声はうるかであるということはないが仰々しい」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの低声が北叟笑まないとしたらうるかでないしそれは仰々しい
事実2: あの低声は北叟笑まない
事実3: Ｇゲージは北叟笑む
事実4: もしもあの低声がＧゲージであるか澄まし汁でないかあるいは両方ともであるならあのジャンプボールはＧゲージである
事実5: この癇は仰々しくない
事実6: あの低声はサインしない一方で乳蛋白率だ
事実7: もしも「あの諸研究は白髪葱だということはない」ということは間違っていないなら引き難くなくてしかも精神的要因である
事実8: あの低声はうるかでない一方で公表出来る
事実9: もしその二十七条類推適用は切れっ端であるということはないとすればそれは北叟笑む

仮説: 「あの低声はうるかであるということはないが仰々しい」ということは成り立たない
1. 事実1と事実2から、仮説が否定される

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