このまくまえLv.95は頑是無い
fact1: もしも「なんらかのモンスターは頑是無い一方で御存じ無いということはない」ということは誤りだとすればそれは頑是無くない fact2: もしもあのみくみちゃLv.84が御存じ無いならこのまくまえLv.95は騒々しい fact3: 直り難くないモンスターは届き難いかもしくは重々しくない fact4: あのみくみちゃLv.84は御存じ無い fact5: 仮にこのまくまえLv.95が騒々しいとするとこのまくまえLv.95は頑是無い fact6: もし仮にあのみくみちゃLv.84が届き難いとするとそのもゆもねLv.25は重々しくない fact7: もし仮に「あるモンスターは甘噛みしないし捗々しくない」ということは真実でないとするとそれは直り難いということはない
fact2 & fact4 -> int1: このまくまえLv.95は騒々しい; int1 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
このまくまえLv.95は頑是無くない
fact8 -> int2: 仮に「このまくまえLv.95は頑是無いけど御存じ無くない」ということは偽であるとすればこのまくまえLv.95は頑是無くない;
$facts$ = fact1: もしも「なんらかのモンスターは頑是無い一方で御存じ無いということはない」ということは誤りだとすればそれは頑是無くない fact2: もしもあのみくみちゃLv.84が御存じ無いならこのまくまえLv.95は騒々しい fact3: 直り難くないモンスターは届き難いかもしくは重々しくない fact4: あのみくみちゃLv.84は御存じ無い fact5: 仮にこのまくまえLv.95が騒々しいとするとこのまくまえLv.95は頑是無い fact6: もし仮にあのみくみちゃLv.84が届き難いとするとそのもゆもねLv.25は重々しくない fact7: もし仮に「あるモンスターは甘噛みしないし捗々しくない」ということは真実でないとするとそれは直り難いということはない ; $hypothesis$ = このまくまえLv.95は頑是無い ; $proof$ = 
fact2 & fact4 -> int1: このまくまえLv.95は騒々しい; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact5 -> hypothesis; __PROVED__