その出願中は鉢合わせるということはない
fact1: なにがしかの物が患者氏名でないとすればそれはぶっといし期待し難い fact2: もしも「あの立ち話は期待し難くないし跳躍でない」ということは事実と異なるとすればその出願中はクローズ・アップでない fact3: もし仮になんらかの物がクローズ・アップだということはないならばそれは鉢合わせない fact4: もしあの立ち話はブランシールしないとしたら「患者氏名でない」ということは成り立つ fact5: あの立ち話はクローズ・アップである fact6: なにがしかのものが鉢合わせるとするとそれはクローズ・アップだ fact7: もしも「あの立ち話は吹き替えないがしかしブランシールする」ということは事実と異なるならブランシールするということはない fact8: もし仮にあの立ち話がクローズ・アップであるとしたらその出願中は鉢合わせる fact9: 期待し難い物は跳躍である fact10: 「あの立ち話は跳躍である」ということは事実ならあの復興期は鉢合わせる
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
その出願中は鉢合わせない
fact12 -> int1: もしその出願中はクローズ・アップでないならば「鉢合わせない」ということは本当である;
$facts$ = fact1: なにがしかの物が患者氏名でないとすればそれはぶっといし期待し難い fact2: もしも「あの立ち話は期待し難くないし跳躍でない」ということは事実と異なるとすればその出願中はクローズ・アップでない fact3: もし仮になんらかの物がクローズ・アップだということはないならばそれは鉢合わせない fact4: もしあの立ち話はブランシールしないとしたら「患者氏名でない」ということは成り立つ fact5: あの立ち話はクローズ・アップである fact6: なにがしかのものが鉢合わせるとするとそれはクローズ・アップだ fact7: もしも「あの立ち話は吹き替えないがしかしブランシールする」ということは事実と異なるならブランシールするということはない fact8: もし仮にあの立ち話がクローズ・アップであるとしたらその出願中は鉢合わせる fact9: 期待し難い物は跳躍である fact10: 「あの立ち話は跳躍である」ということは事実ならあの復興期は鉢合わせる ; $hypothesis$ = その出願中は鉢合わせるということはない ; $proof$ = 
fact8 & fact5 -> hypothesis; __DISPROVED__
事実1: なにがしかの物が患者氏名でないとすればそれはぶっといし期待し難い
事実2: もしも「あの立ち話は期待し難くないし跳躍でない」ということは事実と異なるとすればその出願中はクローズ・アップでない
事実3: もし仮になんらかの物がクローズ・アップだということはないならばそれは鉢合わせない
事実4: もしあの立ち話はブランシールしないとしたら「患者氏名でない」ということは成り立つ
事実5: あの立ち話はクローズ・アップである
事実6: なにがしかのものが鉢合わせるとするとそれはクローズ・アップだ
事実7: もしも「あの立ち話は吹き替えないがしかしブランシールする」ということは事実と異なるならブランシールするということはない
事実8: もし仮にあの立ち話がクローズ・アップであるとしたらその出願中は鉢合わせる
事実9: 期待し難い物は跳躍である
事実10: 「あの立ち話は跳躍である」ということは事実ならあの復興期は鉢合わせる

仮説: その出願中は鉢合わせるということはない
1. 事実8と事実5から、仮説が否定される

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