あのぷいぷくLv.19は掛け難くない
fact1: あのぷいぷくLv.19が掛け難くて加えて留年すればあのぷいぷくLv.19はみっともなくない fact2: あのぷいぷくLv.19はみっともない fact3: 「このぴねぴにゅLv.72はみっともなくない」ということは確かである fact4: 「みっともなくないモンスターは掛け難いしまた留年する」ということは正しい fact5: あのぷいぷくLv.19は留年する
void -> assump1: 以下のように仮定する。あのぷいぷくLv.19は掛け難い; assump1 & fact5 -> int1: あのぷいぷくLv.19は掛け難いしおまけに留年する; int1 & fact1 -> int2: あのぷいぷくLv.19はみっともなくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのもにもにょLv.48は掛け難い
fact6 -> int4: もしあのもにもにょLv.48がみっともなくないとするとあのもにもにょLv.48は掛け難いしそれに留年する;
$facts$ = fact1: あのぷいぷくLv.19が掛け難くて加えて留年すればあのぷいぷくLv.19はみっともなくない fact2: あのぷいぷくLv.19はみっともない fact3: 「このぴねぴにゅLv.72はみっともなくない」ということは確かである fact4: 「みっともなくないモンスターは掛け難いしまた留年する」ということは正しい fact5: あのぷいぷくLv.19は留年する ; $hypothesis$ = あのぷいぷくLv.19は掛け難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷいぷくLv.19は掛け難い; assump1 & fact5 -> int1: あのぷいぷくLv.19は掛け難いしおまけに留年する; int1 & fact1 -> int2: あのぷいぷくLv.19はみっともなくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__