「「もし仮に予納するとしたら男らしくない」モンスターはいる」ということは事実と異なる
fact1: もし何らかのモンスターが予納するとすれば男らしくない
fact1 -> int1: もし仮に「このもゆものLv.41は予納する」ということは成り立つとするとこのもゆものLv.41は男らしくない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし何らかのモンスターが予納するとすれば男らしくない ; $hypothesis$ = 「「もし仮に予納するとしたら男らしくない」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact1 -> int1: もし仮に「このもゆものLv.41は予納する」ということは成り立つとするとこのもゆものLv.41は男らしくない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __DISPROVED__