「「もしも通知するとすれば造語する」物はある」ということは誤っている
fact1: もしもその計三人が通知するならそれは御付き合い出来る fact2: もしもその自動車出張者は通知するとしたら「それは造語する」ということは成り立つ fact3: その自動車出張者が通知するとすると談ずる fact4: 小煩いものはレイアウトする fact5: 「その自動車出張者は通知する」ということは成り立つならそれは自動検出する fact6: もしもこの熊鷹が小煩いとすればそれは現代芸術である fact7: 何らかのものはシェルスクリプトであるならばそれは直訳する fact8: ある物が取り押さえるならそれは自己同一性である fact9: 「コンパイラであるなら怖じけ付く」ものはある fact10: もしもあの要望は私法関係であるとしたらそれは移動し易い
fact2 -> hypothesis;
「小煩いならばレイアウトする」物はある
fact11 -> int1: もしもあの七十五歳以上が小煩いとしたらそれはレイアウトする; int1 -> hypothesis;
$facts$ = fact1: もしもその計三人が通知するならそれは御付き合い出来る fact2: もしもその自動車出張者は通知するとしたら「それは造語する」ということは成り立つ fact3: その自動車出張者が通知するとすると談ずる fact4: 小煩いものはレイアウトする fact5: 「その自動車出張者は通知する」ということは成り立つならそれは自動検出する fact6: もしもこの熊鷹が小煩いとすればそれは現代芸術である fact7: 何らかのものはシェルスクリプトであるならばそれは直訳する fact8: ある物が取り押さえるならそれは自己同一性である fact9: 「コンパイラであるなら怖じけ付く」ものはある fact10: もしもあの要望は私法関係であるとしたらそれは移動し易い ; $hypothesis$ = 「「もしも通知するとすれば造語する」物はある」ということは誤っている ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしもその計三人が通知するならそれは御付き合い出来る
事実2: もしもその自動車出張者は通知するとしたら「それは造語する」ということは成り立つ
事実3: その自動車出張者が通知するとすると談ずる
事実4: 小煩いものはレイアウトする
事実5: 「その自動車出張者は通知する」ということは成り立つならそれは自動検出する
事実6: もしもこの熊鷹が小煩いとすればそれは現代芸術である
事実7: 何らかのものはシェルスクリプトであるならばそれは直訳する
事実8: ある物が取り押さえるならそれは自己同一性である
事実9: 「コンパイラであるなら怖じけ付く」ものはある
事実10: もしもあの要望は私法関係であるとしたらそれは移動し易い

仮説: 「「もしも通知するとすれば造語する」物はある」ということは誤っている
1. 事実2から、仮説が否定される

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