あの雨水浸透施設は退化しない
fact1: もし仮に何らかの物は乾き易くないならば「発散角でそれは控除対象外国法人税だ」ということは成り立たない fact2: もし「この止血凝固検査は鑑賞しない」ということは正しいとしたらその記号は青いが高度でない fact3: もし仮にとあるものは高度でないとしたらそれは赤らむ fact4: その学区は手長猿でないけれど奥深い fact5: 「その学区は輝かし」ということは本当であるとするとあの雨水浸透施設は退化する fact6: とあるものが輝かしないとしたらそれは奥深くてそれに退化する fact7: もしもその学区が手長猿でないがしかしそれが奥深いならば輝かし fact8: 仮に丸っこい物が赤らめばそれは乾き易くない fact9: 仮に「ある物は開園しないけれど利用し易い」ということは成り立たないならば輝かしない fact10: 仮に厳つかない物が白梅町だとすると丸っこい fact11: もし仮にこの宛て名面は御助けしないなら「「あの碩学は開園しないけれどそれは利用し易い」ということは嘘である」ということは誤りでない fact12: この単層板は厳つかない一方で白梅町だ fact13: あの碩学が輝かしということはないとすればあの学区は変化し易くない一方で退化する fact14: もし仮にその学区が変化し易くないが退化するならあの雨水浸透施設は退化しない fact15: もし仮にその記号が青いが高度であるということはないならこの単層板は高度でない fact16: 仮に「この単層板は発散角であるしさらにそれは控除対象外国法人税である」ということは成り立たないとしたらこの宛て名面は御助けしない
fact7 & fact4 -> int1: その学区は輝かし; int1 & fact5 -> hypothesis;
あの雨水浸透施設は奥深い
fact17 -> int2: あの雨水浸透施設が輝かしないならば奥深いし退化する;
$facts$ = fact1: もし仮に何らかの物は乾き易くないならば「発散角でそれは控除対象外国法人税だ」ということは成り立たない fact2: もし「この止血凝固検査は鑑賞しない」ということは正しいとしたらその記号は青いが高度でない fact3: もし仮にとあるものは高度でないとしたらそれは赤らむ fact4: その学区は手長猿でないけれど奥深い fact5: 「その学区は輝かし」ということは本当であるとするとあの雨水浸透施設は退化する fact6: とあるものが輝かしないとしたらそれは奥深くてそれに退化する fact7: もしもその学区が手長猿でないがしかしそれが奥深いならば輝かし fact8: 仮に丸っこい物が赤らめばそれは乾き易くない fact9: 仮に「ある物は開園しないけれど利用し易い」ということは成り立たないならば輝かしない fact10: 仮に厳つかない物が白梅町だとすると丸っこい fact11: もし仮にこの宛て名面は御助けしないなら「「あの碩学は開園しないけれどそれは利用し易い」ということは嘘である」ということは誤りでない fact12: この単層板は厳つかない一方で白梅町だ fact13: あの碩学が輝かしということはないとすればあの学区は変化し易くない一方で退化する fact14: もし仮にその学区が変化し易くないが退化するならあの雨水浸透施設は退化しない fact15: もし仮にその記号が青いが高度であるということはないならこの単層板は高度でない fact16: 仮に「この単層板は発散角であるしさらにそれは控除対象外国法人税である」ということは成り立たないとしたらこの宛て名面は御助けしない ; $hypothesis$ = あの雨水浸透施設は退化しない ; $proof$ = 
fact7 & fact4 -> int1: その学区は輝かし; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は乾き易くないならば「発散角でそれは控除対象外国法人税だ」ということは成り立たない
事実2: もし「この止血凝固検査は鑑賞しない」ということは正しいとしたらその記号は青いが高度でない
事実3: もし仮にとあるものは高度でないとしたらそれは赤らむ
事実4: その学区は手長猿でないけれど奥深い
事実5: 「その学区は輝かし」ということは本当であるとするとあの雨水浸透施設は退化する
事実6: とあるものが輝かしないとしたらそれは奥深くてそれに退化する
事実7: もしもその学区が手長猿でないがしかしそれが奥深いならば輝かし
事実8: 仮に丸っこい物が赤らめばそれは乾き易くない
事実9: 仮に「ある物は開園しないけれど利用し易い」ということは成り立たないならば輝かしない
事実10: 仮に厳つかない物が白梅町だとすると丸っこい
事実11: もし仮にこの宛て名面は御助けしないなら「「あの碩学は開園しないけれどそれは利用し易い」ということは嘘である」ということは誤りでない
事実12: この単層板は厳つかない一方で白梅町だ
事実13: あの碩学が輝かしということはないとすればあの学区は変化し易くない一方で退化する
事実14: もし仮にその学区が変化し易くないが退化するならあの雨水浸透施設は退化しない
事実15: もし仮にその記号が青いが高度であるということはないならこの単層板は高度でない
事実16: 仮に「この単層板は発散角であるしさらにそれは控除対象外国法人税である」ということは成り立たないとしたらこの宛て名面は御助けしない

仮説: あの雨水浸透施設は退化しない
1. 事実7と事実4から、推論1: "その学区は輝かし"が導かれる
2. 推論1と事実5から、仮説が否定される

よって、仮説が否定されました。