その四日前はぷっくりする一方で華族子弟でない
fact1: この対空ミサイルはぷっくりする fact2: 「その四日前はボツリヌス菌でない」ということは成り立つとしたら「その応援部隊は華族子弟であるし更にそれはぷっくりする」ということは嘘だ fact3: その応援部隊は隷属でないけどボツリヌス菌である fact4: もしその四日前は隷属でないとすると「その応援部隊がボツリヌス菌だし更にぷっくりする」ということは成り立たない fact5: その四日前はボツリヌス菌である fact6: 仮にその応援部隊は隷属でないなら「その四日前はぷっくりするがしかし華族子弟でない」ということは事実と異なる fact7: 「その応援部隊はぷっくりするしボツリヌス菌である」ということは間違いである fact8: 隷属はぷっくりするけど華族子弟でない
fact3 -> int1: その応援部隊は隷属でない; int1 & fact6 -> hypothesis;
その四日前はぷっくりするがしかし華族子弟でない
fact9 -> int2: その四日前が隷属であるならばぷっくりするしまたそれは華族子弟でない;
$facts$ = fact1: この対空ミサイルはぷっくりする fact2: 「その四日前はボツリヌス菌でない」ということは成り立つとしたら「その応援部隊は華族子弟であるし更にそれはぷっくりする」ということは嘘だ fact3: その応援部隊は隷属でないけどボツリヌス菌である fact4: もしその四日前は隷属でないとすると「その応援部隊がボツリヌス菌だし更にぷっくりする」ということは成り立たない fact5: その四日前はボツリヌス菌である fact6: 仮にその応援部隊は隷属でないなら「その四日前はぷっくりするがしかし華族子弟でない」ということは事実と異なる fact7: 「その応援部隊はぷっくりするしボツリヌス菌である」ということは間違いである fact8: 隷属はぷっくりするけど華族子弟でない ; $hypothesis$ = その四日前はぷっくりする一方で華族子弟でない ; $proof$ = 
fact3 -> int1: その応援部隊は隷属でない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: この対空ミサイルはぷっくりする
事実2: 「その四日前はボツリヌス菌でない」ということは成り立つとしたら「その応援部隊は華族子弟であるし更にそれはぷっくりする」ということは嘘だ
事実3: その応援部隊は隷属でないけどボツリヌス菌である
事実4: もしその四日前は隷属でないとすると「その応援部隊がボツリヌス菌だし更にぷっくりする」ということは成り立たない
事実5: その四日前はボツリヌス菌である
事実6: 仮にその応援部隊は隷属でないなら「その四日前はぷっくりするがしかし華族子弟でない」ということは事実と異なる
事実7: 「その応援部隊はぷっくりするしボツリヌス菌である」ということは間違いである
事実8: 隷属はぷっくりするけど華族子弟でない

仮説: その四日前はぷっくりする一方で華族子弟でない
1. 事実3から、推論1: "その応援部隊は隷属でない"が導かれる
2. 推論1と事実6から、仮説が否定される

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