このぴちゃぴにLv.50は相待つということはない
fact1: あのぴちゅぴちょLv.32は戻り易い fact2: 仮にあのぴちゅぴちょLv.32が戻り易いし抜き掛ければこのぴちゃぴにLv.50は相待たない fact3: このぷなぷゆLv.1は纏まり易いし抜き掛ける fact4: 手早くないモンスターは戻り易いかまたは抜き掛ける fact5: あのぴちゅぴちょLv.32は抜き掛ける
fact1 & fact5 -> int1: あのぴちゅぴちょLv.32は戻り易いし更にそれは抜き掛ける; int1 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
このぴちゃぴにLv.50は相待つ
fact6 -> int2: もし仮にあのぴちゅぴちょLv.32が手早くないとすればあのぴちゅぴちょLv.32は戻り易いかもしくはそれは抜き掛ける;
$facts$ = fact1: あのぴちゅぴちょLv.32は戻り易い fact2: 仮にあのぴちゅぴちょLv.32が戻り易いし抜き掛ければこのぴちゃぴにLv.50は相待たない fact3: このぷなぷゆLv.1は纏まり易いし抜き掛ける fact4: 手早くないモンスターは戻り易いかまたは抜き掛ける fact5: あのぴちゅぴちょLv.32は抜き掛ける ; $hypothesis$ = このぴちゃぴにLv.50は相待つということはない ; $proof$ = 
fact1 & fact5 -> int1: あのぴちゅぴちょLv.32は戻り易いし更にそれは抜き掛ける; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __PROVED__