そのぴわぴなLv.28は黙る
fact1: 何らかのモンスターは黙るとすれば「四角いけど擁立しない」ということは成り立たない fact2: もし仮にそのぴわぴなLv.28が捕らえ易くなくて更にそれが擁立しないとするとそれは無理無い fact3: そのぴわぴなLv.28は擁立しない fact4: 「「このぽにぽちゃLv.83は取れ難くないか丸っこいか両方である」ということは確かだ」ということは間違っている fact5: もし「「取れ難くないか丸っこいかあるいは両方だ」ということは間違っている」モンスターがいるとすればそのぴわぴなLv.28は捕らえ易くない fact6: そのぴわぴなLv.28が無理無いとすればそのぴわぴなLv.28は黙る
fact4 -> int1: 「「「取れ難くないかもしくは丸っこいかどちらもである」ということは誤りである」モンスターはいる」ということは確かである; int1 & fact5 -> int2: そのぴわぴなLv.28は捕らえ易くない; int2 & fact3 -> int3: そのぴわぴなLv.28は捕らえ易いということはなくてまたそれは擁立しない; int3 & fact2 -> int4: そのぴわぴなLv.28は無理無い; int4 & fact6 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x v {AB}x); int1 & fact5 -> int2: ¬{A}{a}; int2 & fact3 -> int3: (¬{A}{a} & ¬{B}{a}); int3 & fact2 -> int4: {C}{a}; int4 & fact6 -> hypothesis;
そのぴわぴなLv.28は四角くないしだらし無くない
fact7 -> int5: このぷにょぷちゅLv.41は黙るとすれば「四角いが擁立しない」ということは偽である;
$facts$ = fact1: 何らかのモンスターは黙るとすれば「四角いけど擁立しない」ということは成り立たない fact2: もし仮にそのぴわぴなLv.28が捕らえ易くなくて更にそれが擁立しないとするとそれは無理無い fact3: そのぴわぴなLv.28は擁立しない fact4: 「「このぽにぽちゃLv.83は取れ難くないか丸っこいか両方である」ということは確かだ」ということは間違っている fact5: もし「「取れ難くないか丸っこいかあるいは両方だ」ということは間違っている」モンスターがいるとすればそのぴわぴなLv.28は捕らえ易くない fact6: そのぴわぴなLv.28が無理無いとすればそのぴわぴなLv.28は黙る ; $hypothesis$ = そのぴわぴなLv.28は黙る ; $proof$ = 
fact4 -> int1: 「「「取れ難くないかもしくは丸っこいかどちらもである」ということは誤りである」モンスターはいる」ということは確かである; int1 & fact5 -> int2: そのぴわぴなLv.28は捕らえ易くない; int2 & fact3 -> int3: そのぴわぴなLv.28は捕らえ易いということはなくてまたそれは擁立しない; int3 & fact2 -> int4: そのぴわぴなLv.28は無理無い; int4 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: (Ex): ¬(¬{AA}x v {AB}x); int1 & fact5 -> int2: ¬{A}{a}; int2 & fact3 -> int3: (¬{A}{a} & ¬{B}{a}); int3 & fact2 -> int4: {C}{a}; int4 & fact6 -> hypothesis; __PROVED__