そのぴにぴにょLv.32は引き兼ねるししかも引き起こし易い
fact1: もしあのぴにゃぴいLv.25は賛成するとすると「そのぴにぴにょLv.32は引き兼ねる」ということは本当だ fact2: そのぴにぴにょLv.32は引き起こし易い fact3: 引き起こし易くないモンスターは賛成するしおまけに引き兼ねる fact4: あのぴにゃぴいLv.25は賛成する
fact1 & fact4 -> int1: 「そのぴにぴにょLv.32は引き兼ねる」ということは確かだ; int1 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
このぴにゅぴにゃLv.87は賛成する
fact5 -> int2: このぴにゅぴにゃLv.87が引き起こし易くないとすればこのぴにゅぴにゃLv.87は賛成するしそれは引き兼ねる;
$facts$ = fact1: もしあのぴにゃぴいLv.25は賛成するとすると「そのぴにぴにょLv.32は引き兼ねる」ということは本当だ fact2: そのぴにぴにょLv.32は引き起こし易い fact3: 引き起こし易くないモンスターは賛成するしおまけに引き兼ねる fact4: あのぴにゃぴいLv.25は賛成する ; $hypothesis$ = そのぴにぴにょLv.32は引き兼ねるししかも引き起こし易い ; $proof$ = 
fact1 & fact4 -> int1: 「そのぴにぴにょLv.32は引き兼ねる」ということは確かだ; int1 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __PROVED__