このぴえぴわLv.76は誇らしくない一方で泊まる
fact1: もしこのぴえぴわLv.76が誇らしいならばそのぷなぷよLv.37は性転換する fact2: このぴえぴわLv.76は泊まる fact3: そのぷなぷよLv.37は性転換しない
void -> assump1: 以下のように仮定する。このぴえぴわLv.76は誇らしい; fact1 & assump1 -> int1: そのぷなぷよLv.37は性転換する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴえぴわLv.76は誇らしくない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もしこのぴえぴわLv.76が誇らしいならばそのぷなぷよLv.37は性転換する fact2: このぴえぴわLv.76は泊まる fact3: そのぷなぷよLv.37は性転換しない ; $hypothesis$ = このぴえぴわLv.76は誇らしくない一方で泊まる ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴえぴわLv.76は誇らしい; fact1 & assump1 -> int1: そのぷなぷよLv.37は性転換する; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴえぴわLv.76は誇らしくない; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __PROVED__