「もし仮にあのぴえぴちゃLv.20が調査出来るとするとあのぴえぴちゃLv.20はきつい」ということは間違いである
fact1: もし仮にあのぴえぴちゃLv.20が調査出来ればあのぴえぴちゃLv.20は悪賢い fact2: もしあのぴえぴちゃLv.20が悪賢いならばあのぴえぴちゃLv.20はきつい
void -> assump1: 以下のように仮定する。あのぴえぴちゃLv.20は調査出来る; fact1 & assump1 -> int1: あのぴえぴちゃLv.20は悪賢い; int1 & fact2 -> int2: あのぴえぴちゃLv.20はきつい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にあのぴえぴちゃLv.20が調査出来ればあのぴえぴちゃLv.20は悪賢い fact2: もしあのぴえぴちゃLv.20が悪賢いならばあのぴえぴちゃLv.20はきつい ; $hypothesis$ = 「もし仮にあのぴえぴちゃLv.20が調査出来るとするとあのぴえぴちゃLv.20はきつい」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴえぴちゃLv.20は調査出来る; fact1 & assump1 -> int1: あのぴえぴちゃLv.20は悪賢い; int1 & fact2 -> int2: あのぴえぴちゃLv.20はきつい; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; [assump1] & int2 -> hypothesis; __DISPROVED__