あの性器ヘルペスは代行部分でないかあるいは物狂おしくないかもしくは両方である
fact1: 仮にその本支店テーブルが存しないならば標榜でないが悪口だ fact2: もし標榜が悪口でないとするとその遠位部は存する fact3: 仮にとある物は四角くないとしたら「代行部分でないかまたは物狂おしくないかまたは両方である」ということは偽だ fact4: もしもその遠位部が存するとするとあの性器ヘルペスは四角くない fact5: とある物は標榜であるが悪口でない
fact5 & fact2 -> int1: 「その遠位部は存する」ということは成り立つ; int1 & fact4 -> int2: あの性器ヘルペスは四角くない; fact3 -> int3: もしあの性器ヘルペスは四角くないとすれば「それは代行部分であるということはないかあるいは物狂おしくないかあるいは両方だ」ということは間違いだ; int2 & int3 -> hypothesis;
fact5 & fact2 -> int1: {C}{a}; int1 & fact4 -> int2: ¬{D}{b}; fact3 -> int3: ¬{D}{b} -> ¬(¬{F}{b} v ¬{E}{b}); int2 & int3 -> hypothesis;
「その本支店テーブルは少なくないかそれはヘア＆メークでないかあるいは両方である」ということは誤っている
$facts$ = fact1: 仮にその本支店テーブルが存しないならば標榜でないが悪口だ fact2: もし標榜が悪口でないとするとその遠位部は存する fact3: 仮にとある物は四角くないとしたら「代行部分でないかまたは物狂おしくないかまたは両方である」ということは偽だ fact4: もしもその遠位部が存するとするとあの性器ヘルペスは四角くない fact5: とある物は標榜であるが悪口でない ; $hypothesis$ = あの性器ヘルペスは代行部分でないかあるいは物狂おしくないかもしくは両方である ; $proof$ = 
fact5 & fact2 -> int1: 「その遠位部は存する」ということは成り立つ; int1 & fact4 -> int2: あの性器ヘルペスは四角くない; fact3 -> int3: もしあの性器ヘルペスは四角くないとすれば「それは代行部分であるということはないかあるいは物狂おしくないかあるいは両方だ」ということは間違いだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にその本支店テーブルが存しないならば標榜でないが悪口だ
事実2: もし標榜が悪口でないとするとその遠位部は存する
事実3: 仮にとある物は四角くないとしたら「代行部分でないかまたは物狂おしくないかまたは両方である」ということは偽だ
事実4: もしもその遠位部が存するとするとあの性器ヘルペスは四角くない
事実5: とある物は標榜であるが悪口でない

仮説: あの性器ヘルペスは代行部分でないかあるいは物狂おしくないかもしくは両方である
1. 事実5と事実2から、推論1: "「その遠位部は存する」ということは成り立つ"が導かれる
2. 推論1と事実4から、推論2: "あの性器ヘルペスは四角くない"が導かれる
3. 事実3から、推論3: "もしあの性器ヘルペスは四角くないとすれば「それは代行部分であるということはないかあるいは物狂おしくないかあるいは両方だ」ということは間違いだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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