あのもなもいLv.56は作り易い
fact1: 仮に「解釈出来るかまたは破れ難いかまたはどちらもである」モンスターがいるとすればあのもなもいLv.56は作り易い fact2: 「破れ難い」モンスターがいるとするとあのもなもいLv.56は作り易い fact3: あのもなもいLv.56はみみっちくない fact4: このぽちょぽゆLv.93は解釈出来る
fact4 -> int1: このぽちょぽゆLv.93は解釈出来るかもしくは破れ難い; int1 -> int2: あるモンスターは解釈出来るかまたは破れ難いか両方ともである; int2 & fact1 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> hypothesis;
このぽちょぽゆLv.93は作り易いかあるいは誤解し易いかどちらもだ
fact5 -> int3: 「みみっちいということはない」モンスターはいる;
$facts$ = fact1: 仮に「解釈出来るかまたは破れ難いかまたはどちらもである」モンスターがいるとすればあのもなもいLv.56は作り易い fact2: 「破れ難い」モンスターがいるとするとあのもなもいLv.56は作り易い fact3: あのもなもいLv.56はみみっちくない fact4: このぽちょぽゆLv.93は解釈出来る ; $hypothesis$ = あのもなもいLv.56は作り易い ; $proof$ = 
fact4 -> int1: このぽちょぽゆLv.93は解釈出来るかもしくは破れ難い; int1 -> int2: あるモンスターは解釈出来るかまたは破れ難いか両方ともである; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> hypothesis; __PROVED__