このもちゅもくLv.49は思い出さない
fact1: このぷゆぷなLv.29は粘っこい fact2: もしも何らかのモンスターが聞こえ難くないかもしくはそれは厳格化するかまたはどちらもだとしたら新しない fact3: もし「新しかまたは呆気ないか両方ともである」モンスターがいるならこのもちゅもくLv.49は思い出す fact4: このぽちゅぽちゅLv.12は呆気ない fact5: 仮にあるモンスターが新しならこのもちゅもくLv.49は思い出す
fact4 -> int1: このぽちゅぽちゅLv.12は新しかもしくは呆気ないかあるいは両方ともだ; int1 -> int2: 新しか呆気ないモンスターはいる; int2 & fact3 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis;
このもちゅもくLv.49は思い出さない
fact6 -> int3: もし仮にこのぽちゅぽちゅLv.12が聞こえ難くないかもしくはそれが厳格化するならこのぽちゅぽちゅLv.12は新しない;
$facts$ = fact1: このぷゆぷなLv.29は粘っこい fact2: もしも何らかのモンスターが聞こえ難くないかもしくはそれは厳格化するかまたはどちらもだとしたら新しない fact3: もし「新しかまたは呆気ないか両方ともである」モンスターがいるならこのもちゅもくLv.49は思い出す fact4: このぽちゅぽちゅLv.12は呆気ない fact5: 仮にあるモンスターが新しならこのもちゅもくLv.49は思い出す ; $hypothesis$ = このもちゅもくLv.49は思い出さない ; $proof$ = 
fact4 -> int1: このぽちゅぽちゅLv.12は新しかもしくは呆気ないかあるいは両方ともだ; int1 -> int2: 新しか呆気ないモンスターはいる; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis; __DISPROVED__