「「もし仮に「諂わないしおまけにかっ飛ばす」ということは本当であるとすればＵＮな」物はある」ということは成り立たない
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から、仮説が否定される

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