このぽにょぽえLv.77は抗い難いということはない
fact1: このまちゅまにゅLv.92は灼熱する fact2: 「手痛い」モンスターはいる fact3: 仮に手痛いモンスターであってまた灼熱するモンスターがいるならこのぽにょぽえLv.77は抗い難くない fact4: このまちゅまにゅLv.92は手痛い fact5: このまちゅまにゅLv.92は抗い難い
fact4 & fact1 -> int1: このまちゅまにゅLv.92は手痛いししかも灼熱する; int1 -> int2: 「手痛いし灼熱する」モンスターはいる; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
このぽにょぽえLv.77は抗い難い
$facts$ = fact1: このまちゅまにゅLv.92は灼熱する fact2: 「手痛い」モンスターはいる fact3: 仮に手痛いモンスターであってまた灼熱するモンスターがいるならこのぽにょぽえLv.77は抗い難くない fact4: このまちゅまにゅLv.92は手痛い fact5: このまちゅまにゅLv.92は抗い難い ; $hypothesis$ = このぽにょぽえLv.77は抗い難いということはない ; $proof$ = 
fact4 & fact1 -> int1: このまちゅまにゅLv.92は手痛いししかも灼熱する; int1 -> int2: 「手痛いし灼熱する」モンスターはいる; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis; __PROVED__