あのもくものLv.54は黒っぽくない
fact1: もし仮に「なにがしかのモンスターは罹患し易くないかまたは黒っぽい」ということは嘘であるなら恨めしい fact2: あらゆるモンスターは黒っぽい fact3: そのぽいぽいLv.51は黒っぽい
fact2 -> int1: あらゆるモンスターは黒っぽい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは恨めしい
fact4 -> int2: 仮に「あのもくものLv.54は罹患し易くないかまたは黒っぽいかまたは両方ともである」ということは偽ならあのもくものLv.54は恨めしい;
$facts$ = fact1: もし仮に「なにがしかのモンスターは罹患し易くないかまたは黒っぽい」ということは嘘であるなら恨めしい fact2: あらゆるモンスターは黒っぽい fact3: そのぽいぽいLv.51は黒っぽい ; $hypothesis$ = あのもくものLv.54は黒っぽくない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは黒っぽい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__