このもよもにょLv.25はパロディ化するということはない
fact1: このもよもにょLv.25は大人しくない fact2: もし仮に「このぽにょぽちょLv.96は赤しないかあるいは進ぜないかまたは両方だ」ということは誤っていればそれは大人しくない fact3: 「このもよもにょLv.25はパロディ化しないかあるいは赤しないか両方ともである」ということは成り立たないならばこのもよもにょLv.25は進ぜるということはない fact4: 仮にそのぴわぴちょLv.63が大人しいということはないしパロディ化しないならこのぽにょぽちょLv.96は赤しない fact5: このぽにょぽちょLv.96は大人しい fact6: このぽにょぽちょLv.96が赤しないかあるいは進ぜないならばこのもよもにょLv.25はパロディ化しない fact7: 仮に「このもよもにょLv.25は進ぜるということはないかあるいは赤しということはない」ということは誤りだとするとそれはパロディ化するということはない fact8: このぽにょぽちょLv.96は巡業するかまたは癒し難いということはないか両方ともだ
void -> assump1: 以下のように仮定する。「このぽにょぽちょLv.96は赤しないかまたは進ぜないかあるいは両方だ」ということは本当でない; fact2 & assump1 -> int1: このぽにょぽちょLv.96は大人しくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぽにょぽちょLv.96は赤しないかそれは進ぜないか両方だ; int3 & fact6 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} v ¬{AB}{a}); int3 & fact6 -> hypothesis;
「このもよもにょLv.25は掛け難くないかもしくはそれは赤しということはない」ということは誤っている
$facts$ = fact1: このもよもにょLv.25は大人しくない fact2: もし仮に「このぽにょぽちょLv.96は赤しないかあるいは進ぜないかまたは両方だ」ということは誤っていればそれは大人しくない fact3: 「このもよもにょLv.25はパロディ化しないかあるいは赤しないか両方ともである」ということは成り立たないならばこのもよもにょLv.25は進ぜるということはない fact4: 仮にそのぴわぴちょLv.63が大人しいということはないしパロディ化しないならこのぽにょぽちょLv.96は赤しない fact5: このぽにょぽちょLv.96は大人しい fact6: このぽにょぽちょLv.96が赤しないかあるいは進ぜないならばこのもよもにょLv.25はパロディ化しない fact7: 仮に「このもよもにょLv.25は進ぜるということはないかあるいは赤しということはない」ということは誤りだとするとそれはパロディ化するということはない fact8: このぽにょぽちょLv.96は巡業するかまたは癒し難いということはないか両方ともだ ; $hypothesis$ = このもよもにょLv.25はパロディ化するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このぽにょぽちょLv.96は赤しないかまたは進ぜないかあるいは両方だ」ということは本当でない; fact2 & assump1 -> int1: このぽにょぽちょLv.96は大人しくない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぽにょぽちょLv.96は赤しないかそれは進ぜないか両方だ; int3 & fact6 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{a} v ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} v ¬{AB}{a}); int3 & fact6 -> hypothesis; __PROVED__