「もしも阿呆らしくないとしたら生活用水でなくて更に発病する」ものはある
fact1: その運動・活動が発病しないなら感覚記憶でないが集め易い fact2: もしその運動・活動が立ち葉でないとすればそれは生活用水でないけれど蒸し上げる fact3: 大人気無くない物はＩＣＤＳだということはないが藤原一族だ fact4: 「もしも「使用し難い」ということは真実であるとしたら出血し易くないがしかししたがる」ものはある fact5: もしもその運動・活動が阿呆らしいとしたら生活用水でないがしかし発病する fact6: 阿呆らしくないものは生活用水でない fact7: 「阿呆らしくないとすれば生活用水でない」物はある fact8: もし仮に何らかのものが阿呆らしくないとするとそれは生活用水でないが発病する
fact8 -> int1: その運動・活動が阿呆らしくないならば生活用水であるということはなくておまけに発病する; int1 -> hypothesis;
$facts$ = fact1: その運動・活動が発病しないなら感覚記憶でないが集め易い fact2: もしその運動・活動が立ち葉でないとすればそれは生活用水でないけれど蒸し上げる fact3: 大人気無くない物はＩＣＤＳだということはないが藤原一族だ fact4: 「もしも「使用し難い」ということは真実であるとしたら出血し易くないがしかししたがる」ものはある fact5: もしもその運動・活動が阿呆らしいとしたら生活用水でないがしかし発病する fact6: 阿呆らしくないものは生活用水でない fact7: 「阿呆らしくないとすれば生活用水でない」物はある fact8: もし仮に何らかのものが阿呆らしくないとするとそれは生活用水でないが発病する ; $hypothesis$ = 「もしも阿呆らしくないとしたら生活用水でなくて更に発病する」ものはある ; $proof$ = 
fact8 -> int1: その運動・活動が阿呆らしくないならば生活用水であるということはなくておまけに発病する; int1 -> hypothesis; __PROVED__
事実1: その運動・活動が発病しないなら感覚記憶でないが集め易い
事実2: もしその運動・活動が立ち葉でないとすればそれは生活用水でないけれど蒸し上げる
事実3: 大人気無くない物はＩＣＤＳだということはないが藤原一族だ
事実4: 「もしも「使用し難い」ということは真実であるとしたら出血し易くないがしかししたがる」ものはある
事実5: もしもその運動・活動が阿呆らしいとしたら生活用水でないがしかし発病する
事実6: 阿呆らしくないものは生活用水でない
事実7: 「阿呆らしくないとすれば生活用水でない」物はある
事実8: もし仮に何らかのものが阿呆らしくないとするとそれは生活用水でないが発病する

仮説: 「もしも阿呆らしくないとしたら生活用水でなくて更に発病する」ものはある
1. 事実8から、推論1: "その運動・活動が阿呆らしくないならば生活用水であるということはなくておまけに発病する"が導かれる
2. 推論1から、仮説が導かれる

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