「もし仮にこのもちゃもやLv.57がふてぶてしいならあのぴゆぴにょLv.78は偏り易い」ということは間違っている
fact1: このもちゃもやLv.57は偏り易い fact2: あのぴゆぴにょLv.78は会話らしい fact3: もしもあのぴゆぴにょLv.78がむくつけしとすればそれは偏り易い fact4: もしこのもちゃもやLv.57がふてぶてしいならばあのぴゆぴにょLv.78はむくつけし
void -> assump1: 以下のように仮定する。このもちゃもやLv.57はふてぶてしい; fact4 & assump1 -> int1: あのぴゆぴにょLv.78はむくつけし; int1 & fact3 -> int2: あのぴゆぴにょLv.78は偏り易い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: このもちゃもやLv.57は偏り易い fact2: あのぴゆぴにょLv.78は会話らしい fact3: もしもあのぴゆぴにょLv.78がむくつけしとすればそれは偏り易い fact4: もしこのもちゃもやLv.57がふてぶてしいならばあのぴゆぴにょLv.78はむくつけし ; $hypothesis$ = 「もし仮にこのもちゃもやLv.57がふてぶてしいならあのぴゆぴにょLv.78は偏り易い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。このもちゃもやLv.57はふてぶてしい; fact4 & assump1 -> int1: あのぴゆぴにょLv.78はむくつけし; int1 & fact3 -> int2: あのぴゆぴにょLv.78は偏り易い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__