「あのもいもにゃLv.53は買い易いししかもそれは疚しい」ということは誤っている
fact1: あのもいもにゃLv.53は買い易い fact2: もしも「なんらかのモンスターは狙い打ちする」ということは真実であるならば「尊い一方で塩辛くない」ということは間違いである fact3: あのもいもにゃLv.53は疚しい fact4: そのまえまなLv.52は疚しくて使用し易い
fact3 -> int1: あのもいもにゃLv.53は疚しい; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「あのもいもにゃLv.53は買い易いししかもそれは疚しい」ということは誤っている
fact5 -> int2: 仮にそのぽよぽにLv.54は狙い打ちすれば「尊い一方で塩辛くない」ということは偽だ;
$facts$ = fact1: あのもいもにゃLv.53は買い易い fact2: もしも「なんらかのモンスターは狙い打ちする」ということは真実であるならば「尊い一方で塩辛くない」ということは間違いである fact3: あのもいもにゃLv.53は疚しい fact4: そのまえまなLv.52は疚しくて使用し易い ; $hypothesis$ = 「あのもいもにゃLv.53は買い易いししかもそれは疚しい」ということは誤っている ; $proof$ = 
fact3 -> int1: あのもいもにゃLv.53は疚しい; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__