そのぽゆぽねLv.2が通じ易くないならこのぴゆぴちゃLv.30は汗臭くてそれは青っぽい
fact1: 仮に何らかのモンスターが青っぽいということはないとしたら通じ易いしかつ読み辛い fact2: このまにゅまのLv.26が読み辛いとしたらこのぴゆぴちゃLv.30は汗臭い fact3: もし仮にそのぽゆぽねLv.2が通じ易くないならこのまにゅまのLv.26は読み辛い fact4: このぴゆぴちゃLv.30は青っぽい
void -> assump1: 以下のように仮定する。そのぽゆぽねLv.2は通じ易くない; fact3 & assump1 -> int1: このまにゅまのLv.26は読み辛い; int1 & fact2 -> int2: このぴゆぴちゃLv.30は汗臭い; int2 & fact4 -> int3: このぴゆぴちゃLv.30は汗臭いしそれに青っぽい; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact4 -> int3: ({C}{c} & {D}{c}); [assump1] & int3 -> hypothesis;
そのまわまゆLv.66は汗臭い
fact5 -> int4: もし仮にこのまにゅまのLv.26が青っぽくないとすれば通じ易いししかも読み辛い;
$facts$ = fact1: 仮に何らかのモンスターが青っぽいということはないとしたら通じ易いしかつ読み辛い fact2: このまにゅまのLv.26が読み辛いとしたらこのぴゆぴちゃLv.30は汗臭い fact3: もし仮にそのぽゆぽねLv.2が通じ易くないならこのまにゅまのLv.26は読み辛い fact4: このぴゆぴちゃLv.30は青っぽい ; $hypothesis$ = そのぽゆぽねLv.2が通じ易くないならこのぴゆぴちゃLv.30は汗臭くてそれは青っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽゆぽねLv.2は通じ易くない; fact3 & assump1 -> int1: このまにゅまのLv.26は読み辛い; int1 & fact2 -> int2: このぴゆぴちゃLv.30は汗臭い; int2 & fact4 -> int3: このぴゆぴちゃLv.30は汗臭いしそれに青っぽい; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact4 -> int3: ({C}{c} & {D}{c}); [assump1] & int3 -> hypothesis; __PROVED__