そのもちゅもいLv.29は御濃くない
fact1: もしもなにがしかのモンスターがハモるけど儚しないとしたらそれは進化し易い fact2: あのぽいぽゆLv.46は儚し fact3: もし仮にあのぽいぽゆLv.46が御濃いし進化し易いならそのもちゅもいLv.29は儚しない fact4: もしも「あのぽいぽゆLv.46は進化し易いし儚し」ということは成り立つとすればそのもちゅもいLv.29は御濃くない fact5: あのぽいぽゆLv.46は進化し易い fact6: あのぽいぽゆLv.46はおもろいということはない fact7: 御濃くないモンスターは進化し易いし更に儚し fact8: もし仮にそのもいもちゅLv.28が崩れ掛けないとしたら御濃くなくてハモるない
fact5 & fact2 -> int1: あのぽいぽゆLv.46は進化し易くて更に儚し; int1 & fact4 -> hypothesis;
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
そのもいもちゅLv.28は儚し
fact10 -> int2: もし仮に「そのもいもちゅLv.28は御濃くない」ということは真実だとするとそのもいもちゅLv.28は進化し易くてまたそれは儚し;
$facts$ = fact1: もしもなにがしかのモンスターがハモるけど儚しないとしたらそれは進化し易い fact2: あのぽいぽゆLv.46は儚し fact3: もし仮にあのぽいぽゆLv.46が御濃いし進化し易いならそのもちゅもいLv.29は儚しない fact4: もしも「あのぽいぽゆLv.46は進化し易いし儚し」ということは成り立つとすればそのもちゅもいLv.29は御濃くない fact5: あのぽいぽゆLv.46は進化し易い fact6: あのぽいぽゆLv.46はおもろいということはない fact7: 御濃くないモンスターは進化し易いし更に儚し fact8: もし仮にそのもいもちゅLv.28が崩れ掛けないとしたら御濃くなくてハモるない ; $hypothesis$ = そのもちゅもいLv.29は御濃くない ; $proof$ = 
fact5 & fact2 -> int1: あのぽいぽゆLv.46は進化し易くて更に儚し; int1 & fact4 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis; __PROVED__