「「もし仮に答え難いということはない一方で細いとすると敢え無い」モンスターはいる」ということは誤っている
fact1: もしもなあくないモンスターが灯し難いとしたら艶っぽい fact2: 答え難くないしかつ細いモンスターは敢え無い
fact2 -> int1: もしもそのぴちょぴにLv.37は答え難くないがしかし細いならば「敢え無い」ということは成り立つ; int1 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
「もし仮になあくないしおまけに灯し難いとしたら艶っぽい」モンスターはいる
fact3 -> int2: もし仮にあのもにもわLv.78はなあくない一方で灯し難いならあのもにもわLv.78は艶っぽい; int2 -> hypothesis;
$facts$ = fact1: もしもなあくないモンスターが灯し難いとしたら艶っぽい fact2: 答え難くないしかつ細いモンスターは敢え無い ; $hypothesis$ = 「「もし仮に答え難いということはない一方で細いとすると敢え無い」モンスターはいる」ということは誤っている ; $proof$ = 
fact2 -> int1: もしもそのぴちょぴにLv.37は答え難くないがしかし細いならば「敢え無い」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__