「あの生体防御系は有り過ぎるしコメディーだ」ということは嘘である
fact1: あの生体防御系は地粉でない fact2: もしもなにかは地粉でないとすればそれは有り過ぎるしかつコメディーである
fact2 -> int1: もし「あの生体防御系は地粉でない」ということは正しいとしたらそれは有り過ぎるしかつコメディーだ; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: あの生体防御系は地粉でない fact2: もしもなにかは地粉でないとすればそれは有り過ぎるしかつコメディーである ; $hypothesis$ = 「あの生体防御系は有り過ぎるしコメディーだ」ということは嘘である ; $proof$ = 
fact2 -> int1: もし「あの生体防御系は地粉でない」ということは正しいとしたらそれは有り過ぎるしかつコメディーだ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: あの生体防御系は地粉でない
事実2: もしもなにかは地粉でないとすればそれは有り過ぎるしかつコメディーである

仮説: 「あの生体防御系は有り過ぎるしコメディーだ」ということは嘘である
1. 事実2から、推論1: "もし「あの生体防御系は地粉でない」ということは正しいとしたらそれは有り過ぎるしかつコメディーだ"が導かれる
2. 推論1と事実1から、仮説が否定される

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