もしそのみにゃみちゅLv.34が御高いとすればこのぽいぽちょLv.59は曇り無し
fact1: 仮に「「「熱っぽいかまたは御高いかもしくは両方ともである」ということは確かである」モンスターはいる」ということは成り立つとするとこのぽいぽちょLv.59は曇り無し fact2: もし「熱っぽいかまたは曇り無し」モンスターがいるならこのぽいぽちょLv.59は御高い fact3: そのみにゃみちゅLv.34は熱っぽい fact4: もしこのぽいぽちょLv.59が御高くないとするとそのみにゃみちゅLv.34は熱っぽいし混同し易い fact5: 「御高い」モンスターはいる
void -> assump1: 以下のように仮定する。そのみにゃみちゅLv.34は御高い; assump1 -> int1: そのみにゃみちゅLv.34は熱っぽいかまたは御高いかまたは両方だ; int1 -> int2: あるモンスターは熱っぽいかもしくはそれは御高い; int2 & fact1 -> int3: このぽいぽちょLv.59は曇り無し; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> int3: {C}{b}; [assump1] & int3 -> hypothesis;
「混同し易いかまたは有り難いかあるいはどちらもな」モンスターはいる
$facts$ = fact1: 仮に「「「熱っぽいかまたは御高いかもしくは両方ともである」ということは確かである」モンスターはいる」ということは成り立つとするとこのぽいぽちょLv.59は曇り無し fact2: もし「熱っぽいかまたは曇り無し」モンスターがいるならこのぽいぽちょLv.59は御高い fact3: そのみにゃみちゅLv.34は熱っぽい fact4: もしこのぽいぽちょLv.59が御高くないとするとそのみにゃみちゅLv.34は熱っぽいし混同し易い fact5: 「御高い」モンスターはいる ; $hypothesis$ = もしそのみにゃみちゅLv.34が御高いとすればこのぽいぽちょLv.59は曇り無し ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみにゃみちゅLv.34は御高い; assump1 -> int1: そのみにゃみちゅLv.34は熱っぽいかまたは御高いかまたは両方だ; int1 -> int2: あるモンスターは熱っぽいかもしくはそれは御高い; int2 & fact1 -> int3: このぽいぽちょLv.59は曇り無し; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> int3: {C}{b}; [assump1] & int3 -> hypothesis; __PROVED__