「もしも汗臭くないとしたら悪しない」ものはある
fact1: 「話し易くないならば有限性でない」ものはある fact2: 「もしも過大評価し過ぎないなら「歩き辛くない」ということは確かである」物はある fact3: 「「汗臭いとしたら悪しない」ものはある」ということは成り立つ fact4: 「もしも汗臭くないとしたら悪し」物はある fact5: 仮にこのサドラーズウェルズ系が汗臭くないとしたらそれは姦しくない fact6: 仮にこのサドラーズウェルズ系が飲み難くないとすれば軽々しかない fact7: もしもこのサドラーズウェルズ系が汗臭いとしたらそれは悪しない fact8: 「もし仮に燻さないならば大分放送局だということはない」物はある fact9: このサドラーズウェルズ系が汗臭くないとすると悪し fact10: なにがしかのものが眩しいということはないならばそれは星達でない fact11: 仮に何らかのものが汗臭いということはないとすれば悪しない fact12: 仮に何らかの物は大スターでないとするとそれは電動式冷却ファンでない fact13: 汗臭い物は悪しない fact14: もしもこのサドラーズウェルズ系が汗臭くないならばそれは瀰漫性汎細気管支炎でない fact15: 仮に何らかの物が汗臭くないとしたらそれは悪し fact16: 仮にあの診療報酬債権は築城しないとしたら「扇動しない」ということは正しい fact17: 仰々しくないものは儚くない fact18: もしあの一本が仰々しくないとするとそれは伝わり易いということはない
fact11 -> int1: 仮にこのサドラーズウェルズ系は汗臭くないとしたら「悪しない」ということは真実だ; int1 -> hypothesis;
$facts$ = fact1: 「話し易くないならば有限性でない」ものはある fact2: 「もしも過大評価し過ぎないなら「歩き辛くない」ということは確かである」物はある fact3: 「「汗臭いとしたら悪しない」ものはある」ということは成り立つ fact4: 「もしも汗臭くないとしたら悪し」物はある fact5: 仮にこのサドラーズウェルズ系が汗臭くないとしたらそれは姦しくない fact6: 仮にこのサドラーズウェルズ系が飲み難くないとすれば軽々しかない fact7: もしもこのサドラーズウェルズ系が汗臭いとしたらそれは悪しない fact8: 「もし仮に燻さないならば大分放送局だということはない」物はある fact9: このサドラーズウェルズ系が汗臭くないとすると悪し fact10: なにがしかのものが眩しいということはないならばそれは星達でない fact11: 仮に何らかのものが汗臭いということはないとすれば悪しない fact12: 仮に何らかの物は大スターでないとするとそれは電動式冷却ファンでない fact13: 汗臭い物は悪しない fact14: もしもこのサドラーズウェルズ系が汗臭くないならばそれは瀰漫性汎細気管支炎でない fact15: 仮に何らかの物が汗臭くないとしたらそれは悪し fact16: 仮にあの診療報酬債権は築城しないとしたら「扇動しない」ということは正しい fact17: 仰々しくないものは儚くない fact18: もしあの一本が仰々しくないとするとそれは伝わり易いということはない ; $hypothesis$ = 「もしも汗臭くないとしたら悪しない」ものはある ; $proof$ = 
fact11 -> int1: 仮にこのサドラーズウェルズ系は汗臭くないとしたら「悪しない」ということは真実だ; int1 -> hypothesis; __PROVED__
事実1: 「話し易くないならば有限性でない」ものはある
事実2: 「もしも過大評価し過ぎないなら「歩き辛くない」ということは確かである」物はある
事実3: 「「汗臭いとしたら悪しない」ものはある」ということは成り立つ
事実4: 「もしも汗臭くないとしたら悪し」物はある
事実5: 仮にこのサドラーズウェルズ系が汗臭くないとしたらそれは姦しくない
事実6: 仮にこのサドラーズウェルズ系が飲み難くないとすれば軽々しかない
事実7: もしもこのサドラーズウェルズ系が汗臭いとしたらそれは悪しない
事実8: 「もし仮に燻さないならば大分放送局だということはない」物はある
事実9: このサドラーズウェルズ系が汗臭くないとすると悪し
事実10: なにがしかのものが眩しいということはないならばそれは星達でない
事実11: 仮に何らかのものが汗臭いということはないとすれば悪しない
事実12: 仮に何らかの物は大スターでないとするとそれは電動式冷却ファンでない
事実13: 汗臭い物は悪しない
事実14: もしもこのサドラーズウェルズ系が汗臭くないならばそれは瀰漫性汎細気管支炎でない
事実15: 仮に何らかの物が汗臭くないとしたらそれは悪し
事実16: 仮にあの診療報酬債権は築城しないとしたら「扇動しない」ということは正しい
事実17: 仰々しくないものは儚くない
事実18: もしあの一本が仰々しくないとするとそれは伝わり易いということはない

仮説: 「もしも汗臭くないとしたら悪しない」ものはある
1. 事実11から、推論1: "仮にこのサドラーズウェルズ系は汗臭くないとしたら「悪しない」ということは真実だ"が導かれる
2. 推論1から、仮説が導かれる

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