あのもなもちょLv.4は深しないしまた雄々しくない
fact1: もし仮にあのもなもちょLv.4がしょぼいとするとこのぴくぴのLv.93は通じ難くなくてそれに雄々しくない fact2: 「しょぼい」モンスターはいる fact3: 仮になにがしかのモンスターがしょぼいならばあのもなもちょLv.4は深しないしそれにそれは雄々しくない
fact2 -> int1: 「しょぼい」モンスターはいる; int1 & fact3 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis;
このぴくぴのLv.93は通じ難いということはなくて加えて雄々しくない
$facts$ = fact1: もし仮にあのもなもちょLv.4がしょぼいとするとこのぴくぴのLv.93は通じ難くなくてそれに雄々しくない fact2: 「しょぼい」モンスターはいる fact3: 仮になにがしかのモンスターがしょぼいならばあのもなもちょLv.4は深しないしそれにそれは雄々しくない ; $hypothesis$ = あのもなもちょLv.4は深しないしまた雄々しくない ; $proof$ = 
fact2 -> int1: 「しょぼい」モンスターはいる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis; __PROVED__