「「もし仮にぷっくりしないならしょっぱくないしさらにか弱くない」ものはある」ということは間違いである
fact1: 「「ぷっくりする」ということは事実だとすればしょっぱくないし更にか弱いということはない」ものはある fact2: もしあの無条件的可能性はぷっくりすれば「しょっぱくないしそれはか弱くない」ということは成り立つ fact3: 「もしも「この建築物は二歳時でない」ということは成り立てばこの建築物はＰＣカードタイプであるということはないしまた小気味良いということはない」ということは事実だ fact4: もしあの無条件的可能性がぷっくりしないとするとそれはしょっぱくないしか弱い fact5: あの無条件的可能性はぷっくりしないとすると「しょっぱくないしか弱くない」ということは正しい fact6: 「もしもぷっくりするということはないならか弱いということはない」ものはある fact7: もしある物が一纏めでないならしょっぱいということはなくて金槌でない fact8: 「ぷっくりしないとしたらしょっぱいしか弱くない」物はある
fact5 -> hypothesis;
もしもこの組織網が一纏めだということはないとしたらそれはしょっぱくないし金槌でない
fact9 -> hypothesis;
$facts$ = fact1: 「「ぷっくりする」ということは事実だとすればしょっぱくないし更にか弱いということはない」ものはある fact2: もしあの無条件的可能性はぷっくりすれば「しょっぱくないしそれはか弱くない」ということは成り立つ fact3: 「もしも「この建築物は二歳時でない」ということは成り立てばこの建築物はＰＣカードタイプであるということはないしまた小気味良いということはない」ということは事実だ fact4: もしあの無条件的可能性がぷっくりしないとするとそれはしょっぱくないしか弱い fact5: あの無条件的可能性はぷっくりしないとすると「しょっぱくないしか弱くない」ということは正しい fact6: 「もしもぷっくりするということはないならか弱いということはない」ものはある fact7: もしある物が一纏めでないならしょっぱいということはなくて金槌でない fact8: 「ぷっくりしないとしたらしょっぱいしか弱くない」物はある ; $hypothesis$ = 「「もし仮にぷっくりしないならしょっぱくないしさらにか弱くない」ものはある」ということは間違いである ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「「ぷっくりする」ということは事実だとすればしょっぱくないし更にか弱いということはない」ものはある
事実2: もしあの無条件的可能性はぷっくりすれば「しょっぱくないしそれはか弱くない」ということは成り立つ
事実3: 「もしも「この建築物は二歳時でない」ということは成り立てばこの建築物はＰＣカードタイプであるということはないしまた小気味良いということはない」ということは事実だ
事実4: もしあの無条件的可能性がぷっくりしないとするとそれはしょっぱくないしか弱い
事実5: あの無条件的可能性はぷっくりしないとすると「しょっぱくないしか弱くない」ということは正しい
事実6: 「もしもぷっくりするということはないならか弱いということはない」ものはある
事実7: もしある物が一纏めでないならしょっぱいということはなくて金槌でない
事実8: 「ぷっくりしないとしたらしょっぱいしか弱くない」物はある

仮説: 「「もし仮にぷっくりしないならしょっぱくないしさらにか弱くない」ものはある」ということは間違いである
1. 事実5から、仮説が否定される

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