「「もし仮に「転写しないしまた拙くない」ということは成り立たないならば感じ難い」モンスターはいる」ということは誤りである
fact1: もし「何らかのモンスターは転写するということはないしおまけにそれは拙くない」ということは偽だとすればそれは感じ難い fact2: もし「「とあるモンスターは無声化し易くなくて乾き易いということはない」ということは事実と異ならない」ということは偽だとすればそれは締めっぽい
fact1 -> int1: もし「あのぽくぽいLv.58は転写しないし拙くない」ということは成り立たないとするとあのぽくぽいLv.58は感じ難い; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
もしも「あのぴねぴちゃLv.15は無声化し易くなくてかつ乾き易くない」ということは間違いであるならあのぴねぴちゃLv.15は締めっぽい
fact3 -> hypothesis;
$facts$ = fact1: もし「何らかのモンスターは転写するということはないしおまけにそれは拙くない」ということは偽だとすればそれは感じ難い fact2: もし「「とあるモンスターは無声化し易くなくて乾き易いということはない」ということは事実と異ならない」ということは偽だとすればそれは締めっぽい ; $hypothesis$ = 「「もし仮に「転写しないしまた拙くない」ということは成り立たないならば感じ難い」モンスターはいる」ということは誤りである ; $proof$ = 
fact1 -> int1: もし「あのぽくぽいLv.58は転写しないし拙くない」ということは成り立たないとするとあのぽくぽいLv.58は感じ難い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__