このぷにょぷえLv.78は平ったくない
fact1: このぷにょぷえLv.78は蘇る fact2: 仮にあのみえみなLv.0が愛しないし更にそれが平ったいということはないならこのぷのぷちょLv.5は平ったい fact3: もし仮にこのぷのぷちょLv.5が平ったいとしたらこのぷにょぷえLv.78は平ったい fact4: このぷのぷちょLv.5は愛し fact5: このぷにょぷえLv.78は愛し fact6: もしもこのぷにょぷえLv.78が蘇るしまた平ったいとするとこのぷのぷちょLv.5は愛しということはない
void -> assump1: 以下のように仮定する。このぷにょぷえLv.78は平ったい; fact1 & assump1 -> int1: このぷにょぷえLv.78は蘇るし加えて平ったい; int1 & fact6 -> int2: このぷのぷちょLv.5は愛しということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷにょぷえLv.78は平ったい
$facts$ = fact1: このぷにょぷえLv.78は蘇る fact2: 仮にあのみえみなLv.0が愛しないし更にそれが平ったいということはないならこのぷのぷちょLv.5は平ったい fact3: もし仮にこのぷのぷちょLv.5が平ったいとしたらこのぷにょぷえLv.78は平ったい fact4: このぷのぷちょLv.5は愛し fact5: このぷにょぷえLv.78は愛し fact6: もしもこのぷにょぷえLv.78が蘇るしまた平ったいとするとこのぷのぷちょLv.5は愛しということはない ; $hypothesis$ = このぷにょぷえLv.78は平ったくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷにょぷえLv.78は平ったい; fact1 & assump1 -> int1: このぷにょぷえLv.78は蘇るし加えて平ったい; int1 & fact6 -> int2: このぷのぷちょLv.5は愛しということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__