あの外来医療は単極誘導である
fact1: もしも「ある物は危害でなくて加えて通過出来ない」ということは誤りであるとしたらそれは単極誘導でない fact2: あらゆる物は総称するしアクセスし易くない fact3: 「「書き難いということはないししかも白々しかない」ということは誤っている」ものがあるとするとあの外来医療は単極誘導だ fact4: 書き難くなくておまけに白々しかない物はない fact5: もし仮に何らかの物が総称するけれどアクセスし易くないなら通過出来ない
fact4 -> int1: 「あの土石流は書き難くないしさらに白々しかない」ということは事実と異なる; int1 -> int2: 「「書き難くなくてそれに白々しかない」ということは事実と異なる」ものはある; int2 & fact3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> int2: (Ex): ¬(¬{AA}x & ¬{AB}x); int2 & fact3 -> hypothesis;
あの外来医療は単極誘導でない
fact6 -> int3: 仮に「あの外来医療は危害でなくてその上通過出来ない」ということは成り立たないとしたらそれは単極誘導でない;
$facts$ = fact1: もしも「ある物は危害でなくて加えて通過出来ない」ということは誤りであるとしたらそれは単極誘導でない fact2: あらゆる物は総称するしアクセスし易くない fact3: 「「書き難いということはないししかも白々しかない」ということは誤っている」ものがあるとするとあの外来医療は単極誘導だ fact4: 書き難くなくておまけに白々しかない物はない fact5: もし仮に何らかの物が総称するけれどアクセスし易くないなら通過出来ない ; $hypothesis$ = あの外来医療は単極誘導である ; $proof$ = 
fact4 -> int1: 「あの土石流は書き難くないしさらに白々しかない」ということは事実と異なる; int1 -> int2: 「「書き難くなくてそれに白々しかない」ということは事実と異なる」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしも「ある物は危害でなくて加えて通過出来ない」ということは誤りであるとしたらそれは単極誘導でない
事実2: あらゆる物は総称するしアクセスし易くない
事実3: 「「書き難いということはないししかも白々しかない」ということは誤っている」ものがあるとするとあの外来医療は単極誘導だ
事実4: 書き難くなくておまけに白々しかない物はない
事実5: もし仮に何らかの物が総称するけれどアクセスし易くないなら通過出来ない

仮説: あの外来医療は単極誘導である
1. 事実4から、推論1: "「あの土石流は書き難くないしさらに白々しかない」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「書き難くなくてそれに白々しかない」ということは事実と異なる」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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