あのもちゅもやLv.89は把握し易くない
fact1: もしもあのぴわぴのLv.42が自制出来るとしたらあのもちゅもやLv.89は把握し易い fact2: あのぴわぴのLv.42は調節し易くない fact3: もし仮にあのもちゅもやLv.89が調節し易いならばあのぴわぴのLv.42は把握し易い fact4: 仮にあのぴわぴのLv.42が把握し易いとしたらあのもちゅもやLv.89は自制出来る fact5: もしあのぴわぴのLv.42が調節し易くないとすればあのぴわぴのLv.42は自制出来る fact6: あのみゆみちゃLv.31は自制出来る fact7: あのみよみにょLv.31は調節し易いということはない
fact5 & fact2 -> int1: あのぴわぴのLv.42は自制出来る; int1 & fact1 -> hypothesis;
fact5 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもあのぴわぴのLv.42が自制出来るとしたらあのもちゅもやLv.89は把握し易い fact2: あのぴわぴのLv.42は調節し易くない fact3: もし仮にあのもちゅもやLv.89が調節し易いならばあのぴわぴのLv.42は把握し易い fact4: 仮にあのぴわぴのLv.42が把握し易いとしたらあのもちゅもやLv.89は自制出来る fact5: もしあのぴわぴのLv.42が調節し易くないとすればあのぴわぴのLv.42は自制出来る fact6: あのみゆみちゃLv.31は自制出来る fact7: あのみよみにょLv.31は調節し易いということはない ; $hypothesis$ = あのもちゅもやLv.89は把握し易くない ; $proof$ = 
fact5 & fact2 -> int1: あのぴわぴのLv.42は自制出来る; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__