「もしも「馬鹿馬鹿しいしまた調べ易くない」ということは誤りであるならば説明し直す」モンスターはいる
fact1: もしも「あのぴわぴなLv.11はどたばたする」ということは事実なら説明し直す fact2: 仮に「あのぴわぴなLv.11は馬鹿馬鹿しい一方でそれは調べ易くない」ということは誤りであるとするとどたばたする fact3: もし「なんらかのモンスターは説明し直すけど罵倒しない」ということは成り立つということはないならば寝苦しい
void -> assump1: 以下のように仮定する。「あのぴわぴなLv.11は馬鹿馬鹿しいけれど調べ易くない」ということは誤っている; fact2 & assump1 -> int1: あのぴわぴなLv.11はどたばたする; int1 & fact1 -> int2: あのぴわぴなLv.11は説明し直す; [assump1] & int2 -> int3: 「あのぴわぴなLv.11は馬鹿馬鹿しいがしかし調べ易いということはない」ということは誤りであるとしたら「説明し直す」ということは成り立つ; int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{a}; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}) -> {A}{a}; int3 -> hypothesis;
もしも「このみいみちゃLv.83は説明し直すがしかし罵倒するということはない」ということは成り立たないとしたら「それは寝苦しい」ということは誤りでない
fact4 -> hypothesis;
$facts$ = fact1: もしも「あのぴわぴなLv.11はどたばたする」ということは事実なら説明し直す fact2: 仮に「あのぴわぴなLv.11は馬鹿馬鹿しい一方でそれは調べ易くない」ということは誤りであるとするとどたばたする fact3: もし「なんらかのモンスターは説明し直すけど罵倒しない」ということは成り立つということはないならば寝苦しい ; $hypothesis$ = 「もしも「馬鹿馬鹿しいしまた調べ易くない」ということは誤りであるならば説明し直す」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぴわぴなLv.11は馬鹿馬鹿しいけれど調べ易くない」ということは誤っている; fact2 & assump1 -> int1: あのぴわぴなLv.11はどたばたする; int1 & fact1 -> int2: あのぴわぴなLv.11は説明し直す; [assump1] & int2 -> int3: 「あのぴわぴなLv.11は馬鹿馬鹿しいがしかし調べ易いということはない」ということは誤りであるとしたら「説明し直す」ということは成り立つ; int3 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{a}; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}) -> {A}{a}; int3 -> hypothesis; __PROVED__