このぽえぽわLv.97は紳士らしくない
fact1: もし仮に「あのもいもなLv.12は打ち始める」ということは偽でないとしたらこのぽえぽわLv.97は紳士らしい fact2: 仮にあのもいもなLv.12は激しいなら「あのもいもなLv.12は長しかあるいはそれは絶え難くない」ということは成り立つということはない fact3: あのもいもなLv.12は激しい fact4: もし仮に「あのもいもなLv.12は長しかもしくはそれは絶え難いということはない」ということは間違いであるならあのもいもなLv.12は打ち始める fact5: もし激しいモンスターが打ち始めるとすれば紳士らしくない fact6: もしもあのもいもなLv.12が紳士らしいならこのぽえぽわLv.97は長し
fact2 & fact3 -> int1: 「あのもいもなLv.12は長しかそれは絶え難くないかまたはどちらもである」ということは嘘である; int1 & fact4 -> int2: あのもいもなLv.12は打ち始める; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact4 -> int2: {B}{a}; int2 & fact1 -> hypothesis;
このぽえぽわLv.97は紳士らしくない
fact7 -> int3: このぽえぽわLv.97が激しくてそれが打ち始めるとするとこのぽえぽわLv.97は紳士らしくない;
$facts$ = fact1: もし仮に「あのもいもなLv.12は打ち始める」ということは偽でないとしたらこのぽえぽわLv.97は紳士らしい fact2: 仮にあのもいもなLv.12は激しいなら「あのもいもなLv.12は長しかあるいはそれは絶え難くない」ということは成り立つということはない fact3: あのもいもなLv.12は激しい fact4: もし仮に「あのもいもなLv.12は長しかもしくはそれは絶え難いということはない」ということは間違いであるならあのもいもなLv.12は打ち始める fact5: もし激しいモンスターが打ち始めるとすれば紳士らしくない fact6: もしもあのもいもなLv.12が紳士らしいならこのぽえぽわLv.97は長し ; $hypothesis$ = このぽえぽわLv.97は紳士らしくない ; $proof$ = 
fact2 & fact3 -> int1: 「あのもいもなLv.12は長しかそれは絶え難くないかまたはどちらもである」ということは嘘である; int1 & fact4 -> int2: あのもいもなLv.12は打ち始める; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact4 -> int2: {B}{a}; int2 & fact1 -> hypothesis; __DISPROVED__