「あの肺高血圧は売り切るしまた端子電圧だ」ということは誤りだ
fact1: もしなんらかの物が取り払わないならそれは売り切るしおまけにそれは端子電圧である fact2: 仮になんらかの物が売り切るなら端子電圧である fact3: もしあの肺高血圧が端子電圧であるかはしたないならあの人体図ははしたなくない fact4: あの肺高血圧ははしたなくない fact5: 根深い物は端子電圧である fact6: 仮にあの肺高血圧がはしたなくないとすればそれは取り払わないしリーマンだということはない fact7: 仮にあの十八Ｈ／パーが遭わすということはないとしたらあの肺高血圧は根深いかもしくは売り切るかあるいは両方だ fact8: もしも何らかの物が五十五人でないならそれは遭わさないしかつそれは抜刀しない fact9: 全ての物は五十五人でないしそれにそれは区別し易い
fact6 & fact4 -> int1: あの肺高血圧は取り払うということはないしおまけにリーマンでない; int1 -> int2: あの肺高血圧は取り払わない; fact1 -> int3: 仮にあの肺高血圧が取り払うということはないなら売り切るし端子電圧だ; int2 & int3 -> hypothesis;
あの人体図ははしたなくない
fact12 -> int4: 仮にあの肺高血圧が売り切るならそれは端子電圧だ; fact15 -> int5: この五逆は五十五人でないけれど区別し易い; int5 -> int6: この五逆は五十五人でない; int6 -> int7: すべてのものは五十五人でない; int7 -> int8: あの十八Ｈ／パーは五十五人でない; fact13 -> int9: あの十八Ｈ／パーは五十五人でないならば遭わさなくてかつ抜刀するということはない; int8 & int9 -> int10: あの十八Ｈ／パーは遭わさなくてその上抜刀しない; int10 -> int11: あの十八Ｈ／パーは遭わさない; int11 & fact14 -> int12: あの肺高血圧は根深いか売り切るかもしくは両方ともだ; fact11 -> int13: もし仮にあの肺高血圧が根深いとすると端子電圧だ; int4 & int12 & int13 -> int14: あの肺高血圧は端子電圧である; int14 -> int15: あの肺高血圧は端子電圧であるかはしたないかあるいは両方ともだ; fact10 & int15 -> hypothesis;
$facts$ = fact1: もしなんらかの物が取り払わないならそれは売り切るしおまけにそれは端子電圧である fact2: 仮になんらかの物が売り切るなら端子電圧である fact3: もしあの肺高血圧が端子電圧であるかはしたないならあの人体図ははしたなくない fact4: あの肺高血圧ははしたなくない fact5: 根深い物は端子電圧である fact6: 仮にあの肺高血圧がはしたなくないとすればそれは取り払わないしリーマンだということはない fact7: 仮にあの十八Ｈ／パーが遭わすということはないとしたらあの肺高血圧は根深いかもしくは売り切るかあるいは両方だ fact8: もしも何らかの物が五十五人でないならそれは遭わさないしかつそれは抜刀しない fact9: 全ての物は五十五人でないしそれにそれは区別し易い ; $hypothesis$ = 「あの肺高血圧は売り切るしまた端子電圧だ」ということは誤りだ ; $proof$ = 
fact6 & fact4 -> int1: あの肺高血圧は取り払うということはないしおまけにリーマンでない; int1 -> int2: あの肺高血圧は取り払わない; fact1 -> int3: 仮にあの肺高血圧が取り払うということはないなら売り切るし端子電圧だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が取り払わないならそれは売り切るしおまけにそれは端子電圧である
事実2: 仮になんらかの物が売り切るなら端子電圧である
事実3: もしあの肺高血圧が端子電圧であるかはしたないならあの人体図ははしたなくない
事実4: あの肺高血圧ははしたなくない
事実5: 根深い物は端子電圧である
事実6: 仮にあの肺高血圧がはしたなくないとすればそれは取り払わないしリーマンだということはない
事実7: 仮にあの十八Ｈ／パーが遭わすということはないとしたらあの肺高血圧は根深いかもしくは売り切るかあるいは両方だ
事実8: もしも何らかの物が五十五人でないならそれは遭わさないしかつそれは抜刀しない
事実9: 全ての物は五十五人でないしそれにそれは区別し易い

仮説: 「あの肺高血圧は売り切るしまた端子電圧だ」ということは誤りだ
1. 事実6と事実4から、推論1: "あの肺高血圧は取り払うということはないしおまけにリーマンでない"が導かれる
2. 推論1から、推論2: "あの肺高血圧は取り払わない"が導かれる
3. 事実1から、推論3: "仮にあの肺高血圧が取り払うということはないなら売り切るし端子電圧だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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