「もし慢性疾患でないならば終われるし削り屑である」物はある
fact1: 仮にとある物はテラス席であるということはないなら「御迎え出来るし衣服である」ということは真実である fact2: 「仮に慢性疾患だとすれば終われるし削り屑である」物はある fact3: なにかは慢性疾患だということはないなら終われるしその上削り屑である fact4: 何らかの物が補完しないならば忙しくてかつ製粉する fact5: もし「この成果物は慢性疾患でない」ということは真実であるならそれは削り屑である fact6: 「仮に慢性疾患でないならば削り屑である」ものはある fact7: もし「何らかのものは戦況でない」ということは正しいとすればそれは滅び去るし事犯である fact8: 「仮にとあるものがそそっかしくないとすると詰むししかも店屋である」ということは本当だ fact9: もしもこの成果物が慢性疾患ならば終われるし削り屑だ fact10: もし仮になにがしかの物がフレームアップでないとしたら最大関心事だしそれは感染し易い fact11: 「仮に慢性疾患でないとすると終われる」物はある fact12: 慢性疾患は終われるししかも削り屑だ
fact3 -> int1: この成果物は慢性疾患でないならばそれは終われるしおまけに削り屑である; int1 -> hypothesis;
「仮に戦況でないとすれば滅び去るし事犯である」物はある
fact13 -> int2: 仮にこの五十代半ばが戦況であるということはないならば滅び去るしおまけにそれは事犯だ; int2 -> hypothesis;
$facts$ = fact1: 仮にとある物はテラス席であるということはないなら「御迎え出来るし衣服である」ということは真実である fact2: 「仮に慢性疾患だとすれば終われるし削り屑である」物はある fact3: なにかは慢性疾患だということはないなら終われるしその上削り屑である fact4: 何らかの物が補完しないならば忙しくてかつ製粉する fact5: もし「この成果物は慢性疾患でない」ということは真実であるならそれは削り屑である fact6: 「仮に慢性疾患でないならば削り屑である」ものはある fact7: もし「何らかのものは戦況でない」ということは正しいとすればそれは滅び去るし事犯である fact8: 「仮にとあるものがそそっかしくないとすると詰むししかも店屋である」ということは本当だ fact9: もしもこの成果物が慢性疾患ならば終われるし削り屑だ fact10: もし仮になにがしかの物がフレームアップでないとしたら最大関心事だしそれは感染し易い fact11: 「仮に慢性疾患でないとすると終われる」物はある fact12: 慢性疾患は終われるししかも削り屑だ ; $hypothesis$ = 「もし慢性疾患でないならば終われるし削り屑である」物はある ; $proof$ = 
fact3 -> int1: この成果物は慢性疾患でないならばそれは終われるしおまけに削り屑である; int1 -> hypothesis; __PROVED__
事実1: 仮にとある物はテラス席であるということはないなら「御迎え出来るし衣服である」ということは真実である
事実2: 「仮に慢性疾患だとすれば終われるし削り屑である」物はある
事実3: なにかは慢性疾患だということはないなら終われるしその上削り屑である
事実4: 何らかの物が補完しないならば忙しくてかつ製粉する
事実5: もし「この成果物は慢性疾患でない」ということは真実であるならそれは削り屑である
事実6: 「仮に慢性疾患でないならば削り屑である」ものはある
事実7: もし「何らかのものは戦況でない」ということは正しいとすればそれは滅び去るし事犯である
事実8: 「仮にとあるものがそそっかしくないとすると詰むししかも店屋である」ということは本当だ
事実9: もしもこの成果物が慢性疾患ならば終われるし削り屑だ
事実10: もし仮になにがしかの物がフレームアップでないとしたら最大関心事だしそれは感染し易い
事実11: 「仮に慢性疾患でないとすると終われる」物はある
事実12: 慢性疾患は終われるししかも削り屑だ

仮説: 「もし慢性疾患でないならば終われるし削り屑である」物はある
1. 事実3から、推論1: "この成果物は慢性疾患でないならばそれは終われるしおまけに削り屑である"が導かれる
2. 推論1から、仮説が導かれる

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