このＣＭＯＳセンサーは染みない
fact1: このＣＭＯＳセンサーは篤農家でない fact2: この慈愛は染みない fact3: 「低速な」ものはある fact4: このＣＭＯＳセンサーが這いずり回らなくてしかも染みないとするとこの慈愛は有り難しない fact5: もし仮に「篤農家であるし低速な」ものがあるとするとこの夜魔は有り難し fact6: なんらかの物は篤農家であるし低速である fact7: このＣＭＯＳセンサーは嗅ぎ分けないしそれは条令でない fact8: もしもこの夜魔が有り難しならばこの慈愛は有り難しないし這いずり回らない fact9: この慈愛は低速でない fact10: 仮に「この夜魔は篤農家でなくて染みない」ということは成り立たないならばあのＣＭＯＳセンサーは染みる fact11: もしもこの慈愛が有り難しということはないしさらに這いずり回るということはないとすればこのＣＭＯＳセンサーは染みるということはない fact12: この夜魔は這いずり回る fact13: 「有り難ししさらに這いずり回る」ものはある fact14: 「この慈愛が有り難しが這いずり回るということはないとしたらこのＣＭＯＳセンサーは染みない」ということは事実だ fact15: このＣＭＯＳセンサーは低速でなくてしかもそれは聞き取り易くない fact16: もしもこの夜魔が有り難しとすればあの慈愛は有り難しない fact17: この慈愛は篤農家でない fact18: この謙譲表現は這いずり回る
fact6 & fact5 -> int1: この夜魔は有り難し; int1 & fact8 -> int2: この慈愛は有り難しないしさらに這いずり回らない; int2 & fact11 -> hypothesis;
「このＣＭＯＳセンサーは染みる」ということは成り立つ
$facts$ = fact1: このＣＭＯＳセンサーは篤農家でない fact2: この慈愛は染みない fact3: 「低速な」ものはある fact4: このＣＭＯＳセンサーが這いずり回らなくてしかも染みないとするとこの慈愛は有り難しない fact5: もし仮に「篤農家であるし低速な」ものがあるとするとこの夜魔は有り難し fact6: なんらかの物は篤農家であるし低速である fact7: このＣＭＯＳセンサーは嗅ぎ分けないしそれは条令でない fact8: もしもこの夜魔が有り難しならばこの慈愛は有り難しないし這いずり回らない fact9: この慈愛は低速でない fact10: 仮に「この夜魔は篤農家でなくて染みない」ということは成り立たないならばあのＣＭＯＳセンサーは染みる fact11: もしもこの慈愛が有り難しということはないしさらに這いずり回るということはないとすればこのＣＭＯＳセンサーは染みるということはない fact12: この夜魔は這いずり回る fact13: 「有り難ししさらに這いずり回る」ものはある fact14: 「この慈愛が有り難しが這いずり回るということはないとしたらこのＣＭＯＳセンサーは染みない」ということは事実だ fact15: このＣＭＯＳセンサーは低速でなくてしかもそれは聞き取り易くない fact16: もしもこの夜魔が有り難しとすればあの慈愛は有り難しない fact17: この慈愛は篤農家でない fact18: この謙譲表現は這いずり回る ; $hypothesis$ = このＣＭＯＳセンサーは染みない ; $proof$ = 
fact6 & fact5 -> int1: この夜魔は有り難し; int1 & fact8 -> int2: この慈愛は有り難しないしさらに這いずり回らない; int2 & fact11 -> hypothesis; __PROVED__
事実1: このＣＭＯＳセンサーは篤農家でない
事実2: この慈愛は染みない
事実3: 「低速な」ものはある
事実4: このＣＭＯＳセンサーが這いずり回らなくてしかも染みないとするとこの慈愛は有り難しない
事実5: もし仮に「篤農家であるし低速な」ものがあるとするとこの夜魔は有り難し
事実6: なんらかの物は篤農家であるし低速である
事実7: このＣＭＯＳセンサーは嗅ぎ分けないしそれは条令でない
事実8: もしもこの夜魔が有り難しならばこの慈愛は有り難しないし這いずり回らない
事実9: この慈愛は低速でない
事実10: 仮に「この夜魔は篤農家でなくて染みない」ということは成り立たないならばあのＣＭＯＳセンサーは染みる
事実11: もしもこの慈愛が有り難しということはないしさらに這いずり回るということはないとすればこのＣＭＯＳセンサーは染みるということはない
事実12: この夜魔は這いずり回る
事実13: 「有り難ししさらに這いずり回る」ものはある
事実14: 「この慈愛が有り難しが這いずり回るということはないとしたらこのＣＭＯＳセンサーは染みない」ということは事実だ
事実15: このＣＭＯＳセンサーは低速でなくてしかもそれは聞き取り易くない
事実16: もしもこの夜魔が有り難しとすればあの慈愛は有り難しない
事実17: この慈愛は篤農家でない
事実18: この謙譲表現は這いずり回る

仮説: このＣＭＯＳセンサーは染みない
1. 事実6と事実5から、推論1: "この夜魔は有り難し"が導かれる
2. 推論1と事実8から、推論2: "この慈愛は有り難しないしさらに這いずり回らない"が導かれる
3. 推論2と事実11から、仮説が導かれる

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