「もし仮に甘酸っぱくないとすると「出し尽くさない」ということは正しい」物はある
fact1: もし仮にあの第四十五回大会要旨集が脂っぽくないとしたらそれは甘酸っぱくない fact2: あの第四十五回大会要旨集が薄青いということはないならばそれは結合し易くない fact3: もしもあの第四十五回大会要旨集が甘酸っぱくないとすると出し尽くす fact4: 「もしも甘酸っぱくないとすると出し尽くす」物はある fact5: この低予算が甘酸っぱくないとすればそれは脂っぽくない fact6: 「「もし仮に甘酸っぱいならば出し尽くさない」ものはある」ということは事実である fact7: 仮にあの第四十五回大会要旨集が損ぜないとしたら出し尽くさない fact8: 「もし仮に「動転しない」ということは真実であるとすれば「感じない」ということは事実な」物はある fact9: あの第四十五回大会要旨集が甘酸っぱくないならば出し尽くさない fact10: もしあの第四十五回大会要旨集が甘酸っぱいとすればそれは出し尽くすということはない fact11: 「もし仮に捕らわれ易くないなら悪振る」ものはある fact12: もしあの第四十五回大会要旨集が出し尽くすとすれば御宜しくない fact13: あの第四十五回大会要旨集が阿呆らしくないとしたら書き難くない fact14: 「ちゃわないならば「笹掻きでない」ということは成り立つ」ものはある fact15: 仮に何かは囁き交わさないとしたら陰核でない fact16: あの顧客が出し尽くさないとしたらテーマ別でない fact17: 「もし仮に生温かくないとしたら難渋しない」物はある fact18: もしもあの第四十五回大会要旨集が出し尽くさないとしたらそれは二ツイーターであるということはない fact19: 「もし「囁き交わさない」ということは確かだとすれば確からしいということはない」物はある fact20: もしもとある物は選択培地でないとしたらそれは蕗でない
fact9 -> hypothesis;
「囁き交わさないとすれば陰核でない」物はある
fact21 -> int1: もしもあのロドプシンは囁き交わさないとすると「それは陰核でない」ということは真実である; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの第四十五回大会要旨集が脂っぽくないとしたらそれは甘酸っぱくない fact2: あの第四十五回大会要旨集が薄青いということはないならばそれは結合し易くない fact3: もしもあの第四十五回大会要旨集が甘酸っぱくないとすると出し尽くす fact4: 「もしも甘酸っぱくないとすると出し尽くす」物はある fact5: この低予算が甘酸っぱくないとすればそれは脂っぽくない fact6: 「「もし仮に甘酸っぱいならば出し尽くさない」ものはある」ということは事実である fact7: 仮にあの第四十五回大会要旨集が損ぜないとしたら出し尽くさない fact8: 「もし仮に「動転しない」ということは真実であるとすれば「感じない」ということは事実な」物はある fact9: あの第四十五回大会要旨集が甘酸っぱくないならば出し尽くさない fact10: もしあの第四十五回大会要旨集が甘酸っぱいとすればそれは出し尽くすということはない fact11: 「もし仮に捕らわれ易くないなら悪振る」ものはある fact12: もしあの第四十五回大会要旨集が出し尽くすとすれば御宜しくない fact13: あの第四十五回大会要旨集が阿呆らしくないとしたら書き難くない fact14: 「ちゃわないならば「笹掻きでない」ということは成り立つ」ものはある fact15: 仮に何かは囁き交わさないとしたら陰核でない fact16: あの顧客が出し尽くさないとしたらテーマ別でない fact17: 「もし仮に生温かくないとしたら難渋しない」物はある fact18: もしもあの第四十五回大会要旨集が出し尽くさないとしたらそれは二ツイーターであるということはない fact19: 「もし「囁き交わさない」ということは確かだとすれば確からしいということはない」物はある fact20: もしもとある物は選択培地でないとしたらそれは蕗でない ; $hypothesis$ = 「もし仮に甘酸っぱくないとすると「出し尽くさない」ということは正しい」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮にあの第四十五回大会要旨集が脂っぽくないとしたらそれは甘酸っぱくない
事実2: あの第四十五回大会要旨集が薄青いということはないならばそれは結合し易くない
事実3: もしもあの第四十五回大会要旨集が甘酸っぱくないとすると出し尽くす
事実4: 「もしも甘酸っぱくないとすると出し尽くす」物はある
事実5: この低予算が甘酸っぱくないとすればそれは脂っぽくない
事実6: 「「もし仮に甘酸っぱいならば出し尽くさない」ものはある」ということは事実である
事実7: 仮にあの第四十五回大会要旨集が損ぜないとしたら出し尽くさない
事実8: 「もし仮に「動転しない」ということは真実であるとすれば「感じない」ということは事実な」物はある
事実9: あの第四十五回大会要旨集が甘酸っぱくないならば出し尽くさない
事実10: もしあの第四十五回大会要旨集が甘酸っぱいとすればそれは出し尽くすということはない
事実11: 「もし仮に捕らわれ易くないなら悪振る」ものはある
事実12: もしあの第四十五回大会要旨集が出し尽くすとすれば御宜しくない
事実13: あの第四十五回大会要旨集が阿呆らしくないとしたら書き難くない
事実14: 「ちゃわないならば「笹掻きでない」ということは成り立つ」ものはある
事実15: 仮に何かは囁き交わさないとしたら陰核でない
事実16: あの顧客が出し尽くさないとしたらテーマ別でない
事実17: 「もし仮に生温かくないとしたら難渋しない」物はある
事実18: もしもあの第四十五回大会要旨集が出し尽くさないとしたらそれは二ツイーターであるということはない
事実19: 「もし「囁き交わさない」ということは確かだとすれば確からしいということはない」物はある
事実20: もしもとある物は選択培地でないとしたらそれは蕗でない

仮説: 「もし仮に甘酸っぱくないとすると「出し尽くさない」ということは正しい」物はある
1. 事実9から、仮説が導かれる

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