あのもにもねLv.28は掻き乱さない
fact1: もし仮にこのもいもちょLv.71が紛らわしいとしたら極まり悪い fact2: 「このもいもちょLv.71は野太い」ということは成り立つ fact3: このもいもちょLv.71は極まり悪い fact4: もしもこのもいもちょLv.71が極まり悪いならばそれは痒い fact5: 仮に「なにがしかのモンスターは極まり悪くないかあるいは痒くないかあるいは両方だ」ということは成り立つということはないとすると「掻き乱さない」ということは成り立つ fact6: 仮にあのもにもねLv.28が野太いならそれは掻き乱す
fact4 & fact3 -> int1: このもいもちょLv.71は痒い;
fact4 & fact3 -> int1: {B}{a};
あのもにもねLv.28は掻き乱さない
fact7 -> int2: もし「あのもにもねLv.28は極まり悪くないかもしくは痒くないかどちらもだ」ということは間違いならばあのもにもねLv.28は掻き乱さない;
$facts$ = fact1: もし仮にこのもいもちょLv.71が紛らわしいとしたら極まり悪い fact2: 「このもいもちょLv.71は野太い」ということは成り立つ fact3: このもいもちょLv.71は極まり悪い fact4: もしもこのもいもちょLv.71が極まり悪いならばそれは痒い fact5: 仮に「なにがしかのモンスターは極まり悪くないかあるいは痒くないかあるいは両方だ」ということは成り立つということはないとすると「掻き乱さない」ということは成り立つ fact6: 仮にあのもにもねLv.28が野太いならそれは掻き乱す ; $hypothesis$ = あのもにもねLv.28は掻き乱さない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__