あのもわもえLv.84は可愛い
fact1: 「仮にあのぴのぴにゅLv.47が用い始めればあのもわもえLv.84は可愛い」ということは事実である fact2: もし仮にそのぴなぴにょLv.32が用い始めればあのぴのぴにゅLv.47は重し fact3: そのぴなぴにょLv.32は弛み無くて重し fact4: あのぴのぴにゅLv.47は弛み無い fact5: もし仮にそのぴなぴにょLv.32が弛み無いならあのぴのぴにゅLv.47は用い始める fact6: そのぴなぴにょLv.32は重し
fact3 -> int1: そのぴなぴにょLv.32は弛み無い; int1 & fact5 -> int2: あのぴのぴにゅLv.47は用い始める; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「仮にあのぴのぴにゅLv.47が用い始めればあのもわもえLv.84は可愛い」ということは事実である fact2: もし仮にそのぴなぴにょLv.32が用い始めればあのぴのぴにゅLv.47は重し fact3: そのぴなぴにょLv.32は弛み無くて重し fact4: あのぴのぴにゅLv.47は弛み無い fact5: もし仮にそのぴなぴにょLv.32が弛み無いならあのぴのぴにゅLv.47は用い始める fact6: そのぴなぴにょLv.32は重し ; $hypothesis$ = あのもわもえLv.84は可愛い ; $proof$ = 
fact3 -> int1: そのぴなぴにょLv.32は弛み無い; int1 & fact5 -> int2: あのぴのぴにゅLv.47は用い始める; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__