「もし仮に投与出来るとすれば聞き辛いということはない」ものはある
fact1: 「仮に投与出来るとしたら「聞き辛い」ということは確かな」ものはある fact2: 論題はカーナビであるということはない fact3: 「もしもむくつけしとしたら水無月でない」ものはある fact4: もし仮にそのグループレベルが御めでたいなら焦げ臭くない fact5: もし「そのグループレベルは投与出来る」ということは事実だとすればそれは聞き辛くない fact6: 仮に「そのグループレベルは働き難い」ということは事実であるならばそれは聞き辛いということはない fact7: その納豆菌が聞き辛いとしたらそれは入り辛い fact8: 親しみ易いものは黴達でない fact9: 仮にそのサービス回数が横流しするならそれは聞き辛くない fact10: 「仮に入封するなら絶え間無いということはない」物はある fact11: そのグループレベルが投与出来るとしたらそれは聞き辛い fact12: 上がり易いものは指導手順であるということはない fact13: もし仮にあの白犬薺が聞き辛いとするとそれは許し難くない fact14: 仮にそのグループレベルが珍しがるとするとそれは聞き辛い
fact5 -> hypothesis;
「もしも論題ならばカーナビでない」ものはある
fact15 -> int1: 仮にこの平安末期が論題ならばカーナビだということはない; int1 -> hypothesis;
$facts$ = fact1: 「仮に投与出来るとしたら「聞き辛い」ということは確かな」ものはある fact2: 論題はカーナビであるということはない fact3: 「もしもむくつけしとしたら水無月でない」ものはある fact4: もし仮にそのグループレベルが御めでたいなら焦げ臭くない fact5: もし「そのグループレベルは投与出来る」ということは事実だとすればそれは聞き辛くない fact6: 仮に「そのグループレベルは働き難い」ということは事実であるならばそれは聞き辛いということはない fact7: その納豆菌が聞き辛いとしたらそれは入り辛い fact8: 親しみ易いものは黴達でない fact9: 仮にそのサービス回数が横流しするならそれは聞き辛くない fact10: 「仮に入封するなら絶え間無いということはない」物はある fact11: そのグループレベルが投与出来るとしたらそれは聞き辛い fact12: 上がり易いものは指導手順であるということはない fact13: もし仮にあの白犬薺が聞き辛いとするとそれは許し難くない fact14: 仮にそのグループレベルが珍しがるとするとそれは聞き辛い ; $hypothesis$ = 「もし仮に投与出来るとすれば聞き辛いということはない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「仮に投与出来るとしたら「聞き辛い」ということは確かな」ものはある
事実2: 論題はカーナビであるということはない
事実3: 「もしもむくつけしとしたら水無月でない」ものはある
事実4: もし仮にそのグループレベルが御めでたいなら焦げ臭くない
事実5: もし「そのグループレベルは投与出来る」ということは事実だとすればそれは聞き辛くない
事実6: 仮に「そのグループレベルは働き難い」ということは事実であるならばそれは聞き辛いということはない
事実7: その納豆菌が聞き辛いとしたらそれは入り辛い
事実8: 親しみ易いものは黴達でない
事実9: 仮にそのサービス回数が横流しするならそれは聞き辛くない
事実10: 「仮に入封するなら絶え間無いということはない」物はある
事実11: そのグループレベルが投与出来るとしたらそれは聞き辛い
事実12: 上がり易いものは指導手順であるということはない
事実13: もし仮にあの白犬薺が聞き辛いとするとそれは許し難くない
事実14: 仮にそのグループレベルが珍しがるとするとそれは聞き辛い

仮説: 「もし仮に投与出来るとすれば聞き辛いということはない」ものはある
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。