この予防的治療は赤黒である
fact1: もし仮にこのジェミュールが雌系でないとすればあの予防的治療は赤黒でない fact2: もし「「このジェミュールは雌系であるししかもそれは労働基準監督署だ」ということは本当だ」ということは事実と異なるとしたら「この予防的治療は赤黒でない」ということは真実である fact3: それは雌系であるししかも労働基準監督署であるという物はない
fact3 -> int1: 「このジェミュールは雌系であるし労働基準監督署である」ということは正しくない; int1 & fact2 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこのジェミュールが雌系でないとすればあの予防的治療は赤黒でない fact2: もし「「このジェミュールは雌系であるししかもそれは労働基準監督署だ」ということは本当だ」ということは事実と異なるとしたら「この予防的治療は赤黒でない」ということは真実である fact3: それは雌系であるししかも労働基準監督署であるという物はない ; $hypothesis$ = この予防的治療は赤黒である ; $proof$ = 
fact3 -> int1: 「このジェミュールは雌系であるし労働基準監督署である」ということは正しくない; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこのジェミュールが雌系でないとすればあの予防的治療は赤黒でない
事実2: もし「「このジェミュールは雌系であるししかもそれは労働基準監督署だ」ということは本当だ」ということは事実と異なるとしたら「この予防的治療は赤黒でない」ということは真実である
事実3: それは雌系であるししかも労働基準監督署であるという物はない

仮説: この予防的治療は赤黒である
1. 事実3から、推論1: "「このジェミュールは雌系であるし労働基準監督署である」ということは正しくない"が導かれる
2. 推論1と事実2から、仮説が否定される

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