そのもなもねLv.43は気持ち良くない
fact1: もしもそのもなもねLv.43が利用し難いならそのもなもねLv.43は気持ち良い fact2: そのもなもねLv.43は利用し難い fact3: そのみにょみゆLv.80は捕まえ易くないならば「そのもなもねLv.43はスクラブする一方で利用し難いということはない」ということは正しくない
fact2 -> int1: そのもなもねLv.43は利用し難い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
そのもなもねLv.43は気持ち良くない
$facts$ = fact1: もしもそのもなもねLv.43が利用し難いならそのもなもねLv.43は気持ち良い fact2: そのもなもねLv.43は利用し難い fact3: そのみにょみゆLv.80は捕まえ易くないならば「そのもなもねLv.43はスクラブする一方で利用し難いということはない」ということは正しくない ; $hypothesis$ = そのもなもねLv.43は気持ち良くない ; $proof$ = 
fact2 -> int1: そのもなもねLv.43は利用し難い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__