あのもちゅもなLv.80は緩くない
fact1: あのまちゃまにゃLv.43は不足し易くない fact2: 仮にそのみのみにょLv.16が手っ取り早いならばあのもちゅもなLv.80は荒い fact3: もしあのもちゅもなLv.80が荒いならあのもちゅもなLv.80は緩い fact4: もしもあのまちゃまにゃLv.43が長しとするとそのみのみにょLv.16は手っ取り早い
$facts$ = fact1: あのまちゃまにゃLv.43は不足し易くない fact2: 仮にそのみのみにょLv.16が手っ取り早いならばあのもちゅもなLv.80は荒い fact3: もしあのもちゅもなLv.80が荒いならあのもちゅもなLv.80は緩い fact4: もしもあのまちゃまにゃLv.43が長しとするとそのみのみにょLv.16は手っ取り早い ; $hypothesis$ = あのもちゅもなLv.80は緩くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__