この親族称呼は広くない
fact1: 「この親族称呼は生活支援員でないがしかし大江山である」ということは誤りだ fact2: この親族称呼は観賞出来るということはない fact3: この親族称呼は精神科看護でない fact4: 仮に「この親族称呼は生活支援員でなくてその上それは大江山でない」ということは偽であるとすると広いということはない fact5: 「この親族称呼は生活支援員でなくて大江山でない」ということは事実と異なる fact6: あの部分集合は生活支援員でない fact7: この親族称呼は生活支援員であるとしたらそれは書き易くない fact8: 「この原則主義は紛らわしいが大江山でない」ということは偽だ fact9: この開始後は広くない fact10: この親族称呼が広いとしたら遠山君でない fact11: 「この親族称呼は大書するがしかしそれは生活支援員でない」ということは成り立つということはない fact12: 「あの天日塩は大江山でなくてその上重たくない」ということは誤っている
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
$facts$ = fact1: 「この親族称呼は生活支援員でないがしかし大江山である」ということは誤りだ fact2: この親族称呼は観賞出来るということはない fact3: この親族称呼は精神科看護でない fact4: 仮に「この親族称呼は生活支援員でなくてその上それは大江山でない」ということは偽であるとすると広いということはない fact5: 「この親族称呼は生活支援員でなくて大江山でない」ということは事実と異なる fact6: あの部分集合は生活支援員でない fact7: この親族称呼は生活支援員であるとしたらそれは書き易くない fact8: 「この原則主義は紛らわしいが大江山でない」ということは偽だ fact9: この開始後は広くない fact10: この親族称呼が広いとしたら遠山君でない fact11: 「この親族称呼は大書するがしかしそれは生活支援員でない」ということは成り立つということはない fact12: 「あの天日塩は大江山でなくてその上重たくない」ということは誤っている ; $hypothesis$ = この親族称呼は広くない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: 「この親族称呼は生活支援員でないがしかし大江山である」ということは誤りだ
事実2: この親族称呼は観賞出来るということはない
事実3: この親族称呼は精神科看護でない
事実4: 仮に「この親族称呼は生活支援員でなくてその上それは大江山でない」ということは偽であるとすると広いということはない
事実5: 「この親族称呼は生活支援員でなくて大江山でない」ということは事実と異なる
事実6: あの部分集合は生活支援員でない
事実7: この親族称呼は生活支援員であるとしたらそれは書き易くない
事実8: 「この原則主義は紛らわしいが大江山でない」ということは偽だ
事実9: この開始後は広くない
事実10: この親族称呼が広いとしたら遠山君でない
事実11: 「この親族称呼は大書するがしかしそれは生活支援員でない」ということは成り立つということはない
事実12: 「あの天日塩は大江山でなくてその上重たくない」ということは誤っている

仮説: この親族称呼は広くない
1. 事実4と事実5から、仮説が導かれる

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