その成分採血装置は男っぽい
fact1: 「何らかのものは煩わしくないけれど悍ましい」ということは間違いであるとすれば「男っぽくない」ということは成り立つ fact2: もし仮に「その成分採血装置は煩わしい」ということは事実と異ならないとすれば男っぽくない fact3: もしも掻き易くないものが瞑目しないとすれば解禁しない fact4: その成分採血装置は最新テクノロジーでない fact5: もしも「その成分採血装置は最新テクノロジーでない」ということは真実なら「それは煩わしくないが悍ましい」ということは成り立たない fact6: もし仮に「ある物は解禁するかあるいは掻き易い」ということは成り立たないなら男っぽくない fact7: 仮にあるものが解禁するということはないとしたら男っぽくて更に最新テクノロジーだ fact8: あの衝突後は男っぽくない fact9: もし仮に「ブラバスらしい」物はあるなら「あの政治・社会はブラバスらしくないがしかし悍ましい」ということは嘘である
fact1 -> int1: もしも「その成分採血装置は煩わしくないが悍ましい」ということは嘘だとすると男っぽくない; fact4 & fact5 -> int2: 「その成分採血装置は煩わしくないがしかし悍ましい」ということは成り立たない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact4 & fact5 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
その成分採血装置は男っぽい
fact11 -> int3: 仮にその成分採血装置が解禁するということはないとすればそれは男っぽくて最新テクノロジーだ; fact10 -> int4: もしその成分採血装置が掻き易くないしそれが瞑目しないとしたらそれは解禁しない;
$facts$ = fact1: 「何らかのものは煩わしくないけれど悍ましい」ということは間違いであるとすれば「男っぽくない」ということは成り立つ fact2: もし仮に「その成分採血装置は煩わしい」ということは事実と異ならないとすれば男っぽくない fact3: もしも掻き易くないものが瞑目しないとすれば解禁しない fact4: その成分採血装置は最新テクノロジーでない fact5: もしも「その成分採血装置は最新テクノロジーでない」ということは真実なら「それは煩わしくないが悍ましい」ということは成り立たない fact6: もし仮に「ある物は解禁するかあるいは掻き易い」ということは成り立たないなら男っぽくない fact7: 仮にあるものが解禁するということはないとしたら男っぽくて更に最新テクノロジーだ fact8: あの衝突後は男っぽくない fact9: もし仮に「ブラバスらしい」物はあるなら「あの政治・社会はブラバスらしくないがしかし悍ましい」ということは嘘である ; $hypothesis$ = その成分採血装置は男っぽい ; $proof$ = 
fact1 -> int1: もしも「その成分採血装置は煩わしくないが悍ましい」ということは嘘だとすると男っぽくない; fact4 & fact5 -> int2: 「その成分採血装置は煩わしくないがしかし悍ましい」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「何らかのものは煩わしくないけれど悍ましい」ということは間違いであるとすれば「男っぽくない」ということは成り立つ
事実2: もし仮に「その成分採血装置は煩わしい」ということは事実と異ならないとすれば男っぽくない
事実3: もしも掻き易くないものが瞑目しないとすれば解禁しない
事実4: その成分採血装置は最新テクノロジーでない
事実5: もしも「その成分採血装置は最新テクノロジーでない」ということは真実なら「それは煩わしくないが悍ましい」ということは成り立たない
事実6: もし仮に「ある物は解禁するかあるいは掻き易い」ということは成り立たないなら男っぽくない
事実7: 仮にあるものが解禁するということはないとしたら男っぽくて更に最新テクノロジーだ
事実8: あの衝突後は男っぽくない
事実9: もし仮に「ブラバスらしい」物はあるなら「あの政治・社会はブラバスらしくないがしかし悍ましい」ということは嘘である

仮説: その成分採血装置は男っぽい
1. 事実1から、推論1: "もしも「その成分採血装置は煩わしくないが悍ましい」ということは嘘だとすると男っぽくない"が導かれる
2. 事実4と事実5から、推論2: "「その成分採血装置は煩わしくないがしかし悍ましい」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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