「もし形するなら悍ましくない」モンスターはいる
fact1: そのぴねぴなLv.24は賢し fact2: もしとあるモンスターが阿るとすればそれはアメリカっぽくない fact3: 「そのぴねぴなLv.24は脱色する」ということは成り立つ fact4: あのもちょもにょLv.6は悍ましい fact5: 「仮に脱色すれば悍ましい」モンスターはいる fact6: もしもそのぴねぴなLv.24が脱色するし加えてそれが形すればそのぴねぴなLv.24は悍ましいということはない
void -> assump1: 以下のように仮定する。そのぴねぴなLv.24は形する; fact3 & assump1 -> int1: そのぴねぴなLv.24は脱色するしおまけに形する; int1 & fact6 -> int2: そのぴねぴなLv.24は悍ましいということはない; [assump1] & int2 -> int3: もし仮にそのぴねぴなLv.24が形するとすると悍ましかない; int3 -> hypothesis;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis;
「仮に阿るならアメリカっぽくない」モンスターはいる
fact7 -> int4: 仮にそのぴねぴなLv.24が阿るとするとそのぴねぴなLv.24はアメリカっぽくない; int4 -> hypothesis;
$facts$ = fact1: そのぴねぴなLv.24は賢し fact2: もしとあるモンスターが阿るとすればそれはアメリカっぽくない fact3: 「そのぴねぴなLv.24は脱色する」ということは成り立つ fact4: あのもちょもにょLv.6は悍ましい fact5: 「仮に脱色すれば悍ましい」モンスターはいる fact6: もしもそのぴねぴなLv.24が脱色するし加えてそれが形すればそのぴねぴなLv.24は悍ましいということはない ; $hypothesis$ = 「もし形するなら悍ましくない」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴねぴなLv.24は形する; fact3 & assump1 -> int1: そのぴねぴなLv.24は脱色するしおまけに形する; int1 & fact6 -> int2: そのぴねぴなLv.24は悍ましいということはない; [assump1] & int2 -> int3: もし仮にそのぴねぴなLv.24が形するとすると悍ましかない; int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; [assump1] & int2 -> int3: {B}{a} -> ¬{C}{a}; int3 -> hypothesis; __PROVED__