そのみえみにょLv.26は根強い
fact1: 「「あのぽにゃぽよLv.8はスクープするしまた持ち難い」ということは事実と異なる」ということは成り立つ fact2: 「あのぽにゃぽよLv.8はスクープするけど持ち難くない」ということは事実と異なるとするとあのみえみなLv.81はぐずぐずしない fact3: あのみえみなLv.81はぐずぐずする fact4: 仮に「あのぽにゃぽよLv.8は持ち難い」ということは誤っていないとするとあのみえみなLv.81はぐずぐずしない fact5: もし仮に「あのみえみなLv.81は根強い」ということは本当であるなら「あのぽにゃぽよLv.8はぐずぐずするけど踏み分けるということはない」ということは間違いである fact6: もし仮にあのぽにゃぽよLv.8がスクープするがしかしそれが持ち難いということはないとしたらそのみえみにょLv.26は根強くない
void -> assump1: 以下のように仮定する。「「あのぽにゃぽよLv.8はスクープするけれどそれは持ち難くない」ということは成り立つ」ということは成り立つということはない; fact2 & assump1 -> int1: あのみえみなLv.81はぐずぐずしない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぽにゃぽよLv.8はスクープするが持ち難くない; int3 & fact6 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 & fact6 -> hypothesis;
「あのぽにゃぽよLv.8はぐずぐずするがしかし踏み分けない」ということは成り立たない
$facts$ = fact1: 「「あのぽにゃぽよLv.8はスクープするしまた持ち難い」ということは事実と異なる」ということは成り立つ fact2: 「あのぽにゃぽよLv.8はスクープするけど持ち難くない」ということは事実と異なるとするとあのみえみなLv.81はぐずぐずしない fact3: あのみえみなLv.81はぐずぐずする fact4: 仮に「あのぽにゃぽよLv.8は持ち難い」ということは誤っていないとするとあのみえみなLv.81はぐずぐずしない fact5: もし仮に「あのみえみなLv.81は根強い」ということは本当であるなら「あのぽにゃぽよLv.8はぐずぐずするけど踏み分けるということはない」ということは間違いである fact6: もし仮にあのぽにゃぽよLv.8がスクープするがしかしそれが持ち難いということはないとしたらそのみえみにょLv.26は根強くない ; $hypothesis$ = そのみえみにょLv.26は根強い ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あのぽにゃぽよLv.8はスクープするけれどそれは持ち難くない」ということは成り立つ」ということは成り立つということはない; fact2 & assump1 -> int1: あのみえみなLv.81はぐずぐずしない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぽにゃぽよLv.8はスクープするが持ち難くない; int3 & fact6 -> hypothesis; __DISPROVED__
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 & fact6 -> hypothesis; __DISPROVED__