そのスキャナは細かい
fact1: 「その肥満者は癒し難い」ということは本当ならばそのスキャナは細かい fact2: その肥満者は癒し難い fact3: その肥満者は細かい fact4: その肥満者が細かいならばそのスキャナは癒し難い fact5: その肥満者が深めるとしたらそのスキャナは名前である fact6: この最終処分災害防止費用は細かい fact7: その芝居見物は細かい fact8: そのスキャナは落ち込む fact9: 「もしそのスキャナが癒し難いとすればその肥満者は細かい」ということは成り立つ
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「その肥満者は癒し難い」ということは本当ならばそのスキャナは細かい fact2: その肥満者は癒し難い fact3: その肥満者は細かい fact4: その肥満者が細かいならばそのスキャナは癒し難い fact5: その肥満者が深めるとしたらそのスキャナは名前である fact6: この最終処分災害防止費用は細かい fact7: その芝居見物は細かい fact8: そのスキャナは落ち込む fact9: 「もしそのスキャナが癒し難いとすればその肥満者は細かい」ということは成り立つ ; $hypothesis$ = そのスキャナは細かい ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「その肥満者は癒し難い」ということは本当ならばそのスキャナは細かい
事実2: その肥満者は癒し難い
事実3: その肥満者は細かい
事実4: その肥満者が細かいならばそのスキャナは癒し難い
事実5: その肥満者が深めるとしたらそのスキャナは名前である
事実6: この最終処分災害防止費用は細かい
事実7: その芝居見物は細かい
事実8: そのスキャナは落ち込む
事実9: 「もしそのスキャナが癒し難いとすればその肥満者は細かい」ということは成り立つ

仮説: そのスキャナは細かい
1. 事実1と事実2から、仮説が導かれる

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