あの寄託は再利用でないとしたら手痛い
fact1: もしもあの寄託が秘するならそれは再利用だ fact2: もし仮になにがしかの物が失格するならそれは峙つ fact3: もし仮にとある物は再利用でないならば手痛い fact4: あの寄託は船倉でないとすれば「平ったい」ということは成り立つ fact5: もしもその第一傍系親が内省するとするとそれは雇い入れだ fact6: もしその反トレンドが邪魔臭くないならば再利用だ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしもあの寄託が秘するならそれは再利用だ fact2: もし仮になにがしかの物が失格するならそれは峙つ fact3: もし仮にとある物は再利用でないならば手痛い fact4: あの寄託は船倉でないとすれば「平ったい」ということは成り立つ fact5: もしもその第一傍系親が内省するとするとそれは雇い入れだ fact6: もしその反トレンドが邪魔臭くないならば再利用だ ; $hypothesis$ = あの寄託は再利用でないとしたら手痛い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもあの寄託が秘するならそれは再利用だ
事実2: もし仮になにがしかの物が失格するならそれは峙つ
事実3: もし仮にとある物は再利用でないならば手痛い
事実4: あの寄託は船倉でないとすれば「平ったい」ということは成り立つ
事実5: もしもその第一傍系親が内省するとするとそれは雇い入れだ
事実6: もしその反トレンドが邪魔臭くないならば再利用だ

仮説: あの寄託は再利用でないとしたら手痛い
1. 事実3から、仮説が導かれる

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