なにがしかのモンスターは止む無くてかつ熱い
fact1: 「このもよもわLv.45はせせこましい」ということは真実である fact2: もし仮に「このもよもわLv.45はせせこましい」ということは真実だとするとこのぽやぽなLv.12は熱い fact3: あるモンスターはせせこましい fact4: このぽやぽなLv.12は止む無し
fact2 & fact1 -> int1: 「このぽやぽなLv.12は熱い」ということは誤っていない; int1 & fact4 -> int2: このぽやぽなLv.12が止む無ししその上熱い; int2 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis;
$facts$ = fact1: 「このもよもわLv.45はせせこましい」ということは真実である fact2: もし仮に「このもよもわLv.45はせせこましい」ということは真実だとするとこのぽやぽなLv.12は熱い fact3: あるモンスターはせせこましい fact4: このぽやぽなLv.12は止む無し ; $hypothesis$ = なにがしかのモンスターは止む無くてかつ熱い ; $proof$ = 
fact2 & fact1 -> int1: 「このぽやぽなLv.12は熱い」ということは誤っていない; int1 & fact4 -> int2: このぽやぽなLv.12が止む無ししその上熱い; int2 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis; __PROVED__