このまいまちゃLv.41は残り易くない
fact1: このまいまちゃLv.41は抗しない fact2: もしそのみいみにょLv.2が可笑しいしおまけにそれが甘酸っぱいとするとこのまいまちゃLv.41は残り易くない fact3: そのみいみにょLv.2は甘酸っぱい fact4: そのもよもわLv.3は抗する fact5: そのみいみにょLv.2は残り易い fact6: 「このまいまちゃLv.41はでっかい」ということは真実である fact7: そのもわもねLv.43は甘酸っぱい
$facts$ = fact1: このまいまちゃLv.41は抗しない fact2: もしそのみいみにょLv.2が可笑しいしおまけにそれが甘酸っぱいとするとこのまいまちゃLv.41は残り易くない fact3: そのみいみにょLv.2は甘酸っぱい fact4: そのもよもわLv.3は抗する fact5: そのみいみにょLv.2は残り易い fact6: 「このまいまちゃLv.41はでっかい」ということは真実である fact7: そのもわもねLv.43は甘酸っぱい ; $hypothesis$ = このまいまちゃLv.41は残り易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__