もしこのもちょもちゃLv.38が勉強し始めればそのもにもにゅLv.31は冷たい
fact1: そのもにもにゅLv.31は平べったい fact2: もし仮にこのもちょもちゃLv.38が勉強し始めればこのぷねぷいLv.2は平べったい fact3: もし仮に「何らかのモンスターは冷たくないが平べったい」ということは偽であるならば勉強し始める fact4: そのもにもにゅLv.31は平ったい fact5: もし仮にそのもにもにゅLv.31が平べったいとすればこのぷねぷいLv.2は冷たい fact6: このぷねぷいLv.2が冷たいとしたらそのもにもにゅLv.31は平べったい fact7: このぷねぷいLv.2が平べったいならばそのもにもにゅLv.31は冷たい
void -> assump1: 以下のように仮定する。このもちょもちゃLv.38は勉強し始める; fact2 & assump1 -> int1: このぷねぷいLv.2は平べったい; int1 & fact7 -> int2: そのもにもにゅLv.31は冷たい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
このぷねぷいLv.2は勉強し始める
fact8 -> int3: 「このぷねぷいLv.2は冷たいということはないけどそれは平べったい」ということは誤っていればそれは勉強し始める;
$facts$ = fact1: そのもにもにゅLv.31は平べったい fact2: もし仮にこのもちょもちゃLv.38が勉強し始めればこのぷねぷいLv.2は平べったい fact3: もし仮に「何らかのモンスターは冷たくないが平べったい」ということは偽であるならば勉強し始める fact4: そのもにもにゅLv.31は平ったい fact5: もし仮にそのもにもにゅLv.31が平べったいとすればこのぷねぷいLv.2は冷たい fact6: このぷねぷいLv.2が冷たいとしたらそのもにもにゅLv.31は平べったい fact7: このぷねぷいLv.2が平べったいならばそのもにもにゅLv.31は冷たい ; $hypothesis$ = もしこのもちょもちゃLv.38が勉強し始めればそのもにもにゅLv.31は冷たい ; $proof$ = 
void -> assump1: 以下のように仮定する。このもちょもちゃLv.38は勉強し始める; fact2 & assump1 -> int1: このぷねぷいLv.2は平べったい; int1 & fact7 -> int2: そのもにもにゅLv.31は冷たい; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __PROVED__