あの裏金は怒り捲る
fact1: もしもなにかは愛唱するとすれば怒り捲る fact2: その姥神は愛唱しない fact3: もしもなにがしかのものは一樽でないなら空洞化するししかも戯けである fact4: もしもこの気道閉塞は愛唱するということはないなら「忙しなくないがしかし右クリックする」ということは偽である fact5: 何もかもは影響され易いし一樽でない fact6: この気道閉塞は愛唱しない fact7: もし仮に何らかのものが愛唱するということはないとしたら怒り捲らない fact8: もし仮に何らかのものが編み入れるということはないとすればそれは愛唱する fact9: もし「この気道閉塞は忙しなくないがしかし右クリックする」ということは事実と異なるとしたらあの裏金は怒り捲らない
fact4 & fact6 -> int1: 「この気道閉塞は忙しなくないけど右クリックする」ということは成り立たない; int1 & fact9 -> hypothesis;
あの裏金は怒り捲る
fact11 -> int2: もしあの裏金が愛唱するとすれば怒り捲る; fact10 -> int3: あの裏金が編み入れないとしたら愛唱する; fact12 -> int4: その休暇等は影響され易いけど一樽であるということはない; int4 -> int5: その休暇等は一樽でない; int5 -> int6: 全ての物は一樽だということはない; int6 -> int7: 「あの国家行為は一樽だということはない」ということは成り立つ; fact13 -> int8: もし仮にあの国家行為が一樽でないとすると空洞化するししかも戯けだ; int7 & int8 -> int9: あの国家行為は空洞化するし更に戯けだ; int9 -> int10: すべてのものは空洞化するしさらにそれは戯けである; int10 -> int11: この気道閉塞は空洞化するししかも戯けだ; int11 -> int12: この気道閉塞は空洞化する;
$facts$ = fact1: もしもなにかは愛唱するとすれば怒り捲る fact2: その姥神は愛唱しない fact3: もしもなにがしかのものは一樽でないなら空洞化するししかも戯けである fact4: もしもこの気道閉塞は愛唱するということはないなら「忙しなくないがしかし右クリックする」ということは偽である fact5: 何もかもは影響され易いし一樽でない fact6: この気道閉塞は愛唱しない fact7: もし仮に何らかのものが愛唱するということはないとしたら怒り捲らない fact8: もし仮に何らかのものが編み入れるということはないとすればそれは愛唱する fact9: もし「この気道閉塞は忙しなくないがしかし右クリックする」ということは事実と異なるとしたらあの裏金は怒り捲らない ; $hypothesis$ = あの裏金は怒り捲る ; $proof$ = 
fact4 & fact6 -> int1: 「この気道閉塞は忙しなくないけど右クリックする」ということは成り立たない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもなにかは愛唱するとすれば怒り捲る
事実2: その姥神は愛唱しない
事実3: もしもなにがしかのものは一樽でないなら空洞化するししかも戯けである
事実4: もしもこの気道閉塞は愛唱するということはないなら「忙しなくないがしかし右クリックする」ということは偽である
事実5: 何もかもは影響され易いし一樽でない
事実6: この気道閉塞は愛唱しない
事実7: もし仮に何らかのものが愛唱するということはないとしたら怒り捲らない
事実8: もし仮に何らかのものが編み入れるということはないとすればそれは愛唱する
事実9: もし「この気道閉塞は忙しなくないがしかし右クリックする」ということは事実と異なるとしたらあの裏金は怒り捲らない

仮説: あの裏金は怒り捲る
1. 事実4と事実6から、推論1: "「この気道閉塞は忙しなくないけど右クリックする」ということは成り立たない"が導かれる
2. 推論1と事実9から、仮説が否定される

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