あのみやみえLv.6はすばしっこい
fact1: 悩ましいモンスターはすばしっこい fact2: もしもこのぷちょぷわLv.99はすばしっこくないならば「あのみやみえLv.6は悩ましいが専念すらない」ということは事実と異なる fact3: もし仮に「「あのみやみえLv.6は悩ましくなくてまた専念すということはない」ということは事実と異なる」ということは事実であるならそれはすばしっこくない fact4: 仮になんらかのモンスターは悩ましくないなら「それは連鎖しなくてさらに灰色っぽくない」ということは誤っている fact5: もしもこのぷちょぷわLv.99が早しないとしたらあのみやみえLv.6は専念すし加えて悩ましい fact6: あのみやみえLv.6は専念す
void -> assump1: 以下のように仮定する。あのみやみえLv.6は悩ましくなくてさらに専念すらない; assump1 -> int1: あのみやみえLv.6は専念すらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのみやみえLv.6は悩ましくなくて専念すらない」ということは成り立たない; int3 & fact3 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact3 -> hypothesis;
あのみやみえLv.6はすばしっこい
fact8 -> int4: 仮にあのみやみえLv.6が悩ましいとすればすばしっこい;
$facts$ = fact1: 悩ましいモンスターはすばしっこい fact2: もしもこのぷちょぷわLv.99はすばしっこくないならば「あのみやみえLv.6は悩ましいが専念すらない」ということは事実と異なる fact3: もし仮に「「あのみやみえLv.6は悩ましくなくてまた専念すということはない」ということは事実と異なる」ということは事実であるならそれはすばしっこくない fact4: 仮になんらかのモンスターは悩ましくないなら「それは連鎖しなくてさらに灰色っぽくない」ということは誤っている fact5: もしもこのぷちょぷわLv.99が早しないとしたらあのみやみえLv.6は専念すし加えて悩ましい fact6: あのみやみえLv.6は専念す ; $hypothesis$ = あのみやみえLv.6はすばしっこい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみやみえLv.6は悩ましくなくてさらに専念すらない; assump1 -> int1: あのみやみえLv.6は専念すらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのみやみえLv.6は悩ましくなくて専念すらない」ということは成り立たない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact3 -> hypothesis; __DISPROVED__