そのぴなぴえLv.61は洒落臭くない
fact1: 仮にそのぴなぴえLv.61がひ弱いならばそのぴなぴえLv.61は伴奏する fact2: そのぴなぴえLv.61は表現し難い fact3: もしも「「表現し難いし伴奏する」ということは事実と異なる」モンスターがいるとするとそのぽいぽのLv.9は伴奏しない fact4: そのもにょもわLv.5は乏しいししかも表現し難い fact5: そのぴなぴえLv.61はひ弱い fact6: もしもそのぴなぴえLv.61が伴奏するし表現し難いとすればそのぴなぴえLv.61は洒落臭いということはない
fact1 & fact5 -> int1: そのぴなぴえLv.61は伴奏する; int1 & fact2 -> int2: そのぴなぴえLv.61は伴奏するし表現し難い; int2 & fact6 -> hypothesis;
fact1 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact6 -> hypothesis;
「そのぽいぽのLv.9は洒落臭いということはない」ということは成り立つ
$facts$ = fact1: 仮にそのぴなぴえLv.61がひ弱いならばそのぴなぴえLv.61は伴奏する fact2: そのぴなぴえLv.61は表現し難い fact3: もしも「「表現し難いし伴奏する」ということは事実と異なる」モンスターがいるとするとそのぽいぽのLv.9は伴奏しない fact4: そのもにょもわLv.5は乏しいししかも表現し難い fact5: そのぴなぴえLv.61はひ弱い fact6: もしもそのぴなぴえLv.61が伴奏するし表現し難いとすればそのぴなぴえLv.61は洒落臭いということはない ; $hypothesis$ = そのぴなぴえLv.61は洒落臭くない ; $proof$ = 
fact1 & fact5 -> int1: そのぴなぴえLv.61は伴奏する; int1 & fact2 -> int2: そのぴなぴえLv.61は伴奏するし表現し難い; int2 & fact6 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact6 -> hypothesis; __PROVED__