そのパーは着信するということはない
fact1: あの発明者は着信する fact2: 「入り易いものは着信する」ということは成り立つ fact3: どでかくないし更に入り易くない物は着信しない fact4: 仮にあの比内鶏がどでかいならばあの消極的要件は入り易い fact5: そのパーは慎み深い fact6: 「どれもこれもは堕胎しない」ということは成り立つ fact7: 仮に何らかのものが見逃せないとしたらそれは能開調査であるしおまけにそれはどでかい fact8: そのパーは自動化であるということはない fact9: もしもあの比内鶏が能開調査ならそのパーはどでかくないしおまけにそれは入り易くない fact10: 「その物では無いは慎み深い」ということは確かである fact11: 仮にある物は堕胎するということはないとしたら「それが見逃せるしその上それは関連機器だ」ということは嘘である fact12: 何らかの物は男女関係でない一方で慎み深いとすればそれは着信する fact13: そのパーは男女関係でない
fact12 -> int1: もし「そのパーは男女関係でないが慎み深い」ということは本当であるとすると着信する; fact13 & fact5 -> int2: そのパーは男女関係でない一方でそれは慎み深い; int1 & int2 -> hypothesis;
そのパーは着信しない
fact14 -> int3: そのパーはどでかいということはなくてまた入り易くないならば着信しない;
$facts$ = fact1: あの発明者は着信する fact2: 「入り易いものは着信する」ということは成り立つ fact3: どでかくないし更に入り易くない物は着信しない fact4: 仮にあの比内鶏がどでかいならばあの消極的要件は入り易い fact5: そのパーは慎み深い fact6: 「どれもこれもは堕胎しない」ということは成り立つ fact7: 仮に何らかのものが見逃せないとしたらそれは能開調査であるしおまけにそれはどでかい fact8: そのパーは自動化であるということはない fact9: もしもあの比内鶏が能開調査ならそのパーはどでかくないしおまけにそれは入り易くない fact10: 「その物では無いは慎み深い」ということは確かである fact11: 仮にある物は堕胎するということはないとしたら「それが見逃せるしその上それは関連機器だ」ということは嘘である fact12: 何らかの物は男女関係でない一方で慎み深いとすればそれは着信する fact13: そのパーは男女関係でない ; $hypothesis$ = そのパーは着信するということはない ; $proof$ = 
fact12 -> int1: もし「そのパーは男女関係でないが慎み深い」ということは本当であるとすると着信する; fact13 & fact5 -> int2: そのパーは男女関係でない一方でそれは慎み深い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの発明者は着信する
事実2: 「入り易いものは着信する」ということは成り立つ
事実3: どでかくないし更に入り易くない物は着信しない
事実4: 仮にあの比内鶏がどでかいならばあの消極的要件は入り易い
事実5: そのパーは慎み深い
事実6: 「どれもこれもは堕胎しない」ということは成り立つ
事実7: 仮に何らかのものが見逃せないとしたらそれは能開調査であるしおまけにそれはどでかい
事実8: そのパーは自動化であるということはない
事実9: もしもあの比内鶏が能開調査ならそのパーはどでかくないしおまけにそれは入り易くない
事実10: 「その物では無いは慎み深い」ということは確かである
事実11: 仮にある物は堕胎するということはないとしたら「それが見逃せるしその上それは関連機器だ」ということは嘘である
事実12: 何らかの物は男女関係でない一方で慎み深いとすればそれは着信する
事実13: そのパーは男女関係でない

仮説: そのパーは着信するということはない
1. 事実12から、推論1: "もし「そのパーは男女関係でないが慎み深い」ということは本当であるとすると着信する"が導かれる
2. 事実13と事実5から、推論2: "そのパーは男女関係でない一方でそれは慎み深い"が導かれる
3. 推論1と推論2から、仮説が否定される

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