このバンド端は通じ難い
fact1: もし「この真宗は罪深いけどピッキングしない」ということは間違いであるなら送受信出来る fact2: もしこの真宗が短大であるしその上送受信出来るならばあのＷヒア句はスリップするということはない fact3: その御風呂場はスリップする fact4: このバンド端は短大だ fact5: 「この真宗は罪深いがしかしそれはピッキングしない」ということは偽である fact6: もしこの真宗が短大だということはないならこのバンド端は六日町でなくてそれに通じ難くない fact7: そのＷヒア句はスリップする
fact1 & fact5 -> int1: この真宗は送受信出来る; void -> assump1: 以下のように仮定する。この真宗は短大である; int1 & assump1 -> int2: この真宗は短大だしかつ送受信出来る; int2 & fact2 -> int3: そのＷヒア句はスリップしない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この真宗は短大である」ということは誤っている; int5 & fact6 -> int6: このバンド端は六日町でないしその上通じ難くない; int6 -> hypothesis;
$facts$ = fact1: もし「この真宗は罪深いけどピッキングしない」ということは間違いであるなら送受信出来る fact2: もしこの真宗が短大であるしその上送受信出来るならばあのＷヒア句はスリップするということはない fact3: その御風呂場はスリップする fact4: このバンド端は短大だ fact5: 「この真宗は罪深いがしかしそれはピッキングしない」ということは偽である fact6: もしこの真宗が短大だということはないならこのバンド端は六日町でなくてそれに通じ難くない fact7: そのＷヒア句はスリップする ; $hypothesis$ = このバンド端は通じ難い ; $proof$ = 
fact1 & fact5 -> int1: この真宗は送受信出来る; void -> assump1: 以下のように仮定する。この真宗は短大である; int1 & assump1 -> int2: この真宗は短大だしかつ送受信出来る; int2 & fact2 -> int3: そのＷヒア句はスリップしない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この真宗は短大である」ということは誤っている; int5 & fact6 -> int6: このバンド端は六日町でないしその上通じ難くない; int6 -> hypothesis; __DISPROVED__
事実1: もし「この真宗は罪深いけどピッキングしない」ということは間違いであるなら送受信出来る
事実2: もしこの真宗が短大であるしその上送受信出来るならばあのＷヒア句はスリップするということはない
事実3: その御風呂場はスリップする
事実4: このバンド端は短大だ
事実5: 「この真宗は罪深いがしかしそれはピッキングしない」ということは偽である
事実6: もしこの真宗が短大だということはないならこのバンド端は六日町でなくてそれに通じ難くない
事実7: そのＷヒア句はスリップする

仮説: このバンド端は通じ難い
1. 事実1と事実5から、推論1: "この真宗は送受信出来る"が導かれる
2. 仮定1: 以下のように仮定する。この真宗は短大である
3. 推論1と仮定1から、推論2: "この真宗は短大だしかつ送受信出来る"が導かれる
4. 推論2と事実2から、推論3: "そのＷヒア句はスリップしない"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この真宗は短大である」ということは誤っている"が導かれる
7. 推論5と事実6から、推論6: "このバンド端は六日町でないしその上通じ難くない"が導かれる
8. 推論6から、仮説が否定される

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