「そのぷにゃぷえLv.80は与え難いかまたは難しいかまたはどちらもだ」ということは間違いである
fact1: そのまにょまわLv.15は押さえ難い fact2: もしこのみねみいLv.36が仕方無いとすればあのぷにぷにょLv.61は反応し易い fact3: そのまにょまわLv.15は偉い fact4: 仕方無いということはないモンスターは偉いかまたは押さえ難いかあるいは両方ともである fact5: 仕方無くないモンスターは押さえ難いしおまけに偉い fact6: もし仮にあのぷにぷにょLv.61が反応し易いとすればそのぷにゃぷえLv.80は難しい fact7: もし仮にあのぷにぷにょLv.61が偉いならそのまにょまわLv.15は反応し易い fact8: 仮にそのまにょまわLv.15が偉いとすればあのもいもにLv.84は押さえ難い
fact8 & fact3 -> int1: あのもいもにLv.84は押さえ難い;
fact8 & fact3 -> int1: {B}{b};
「そのぷにゃぷえLv.80は与え難いかまたは難しいかまたはどちらもだ」ということは間違いである
fact9 -> int2: もし仮にあのもいもにLv.84が仕方無くないならあのもいもにLv.84は偉いかあるいはそれは押さえ難い;
$facts$ = fact1: そのまにょまわLv.15は押さえ難い fact2: もしこのみねみいLv.36が仕方無いとすればあのぷにぷにょLv.61は反応し易い fact3: そのまにょまわLv.15は偉い fact4: 仕方無いということはないモンスターは偉いかまたは押さえ難いかあるいは両方ともである fact5: 仕方無くないモンスターは押さえ難いしおまけに偉い fact6: もし仮にあのぷにぷにょLv.61が反応し易いとすればそのぷにゃぷえLv.80は難しい fact7: もし仮にあのぷにぷにょLv.61が偉いならそのまにょまわLv.15は反応し易い fact8: 仮にそのまにょまわLv.15が偉いとすればあのもいもにLv.84は押さえ難い ; $hypothesis$ = 「そのぷにゃぷえLv.80は与え難いかまたは難しいかまたはどちらもだ」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__