このまよまやLv.2は働き難くない
fact1: 仮にこのまよまやLv.2が働き難いならそれは相談し易い fact2: このまよまやLv.2は相談し易いとすれば「このぴいぴゆLv.75は寒ーい」ということは成り立つ fact3: このぴいぴゆLv.75は寒ーくない
void -> assump1: 以下のように仮定する。このまよまやLv.2は働き難い; fact1 & assump1 -> int1: このまよまやLv.2は相談し易い; int1 & fact2 -> int2: このぴいぴゆLv.75は寒ーい; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこのまよまやLv.2が働き難いならそれは相談し易い fact2: このまよまやLv.2は相談し易いとすれば「このぴいぴゆLv.75は寒ーい」ということは成り立つ fact3: このぴいぴゆLv.75は寒ーくない ; $hypothesis$ = このまよまやLv.2は働き難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまよまやLv.2は働き難い; fact1 & assump1 -> int1: このまよまやLv.2は相談し易い; int1 & fact2 -> int2: このぴいぴゆLv.75は寒ーい; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__