あのみなみにょLv.79は長し
fact1: もしも「あのみなみにょLv.79は絶え間無い」ということは事実ならば離れ難い fact2: あのみなみにょLv.79は思考する fact3: あのみなみにょLv.79が僻みっぽいならばそれは絶え間無い fact4: もし仮にあのみなみにょLv.79が離れ難いとしたらあのみなみにょLv.79は長し fact5: 仮にあのぷよぷくLv.97が取り易いならばあのぷよぷくLv.97は僻みっぽい
$facts$ = fact1: もしも「あのみなみにょLv.79は絶え間無い」ということは事実ならば離れ難い fact2: あのみなみにょLv.79は思考する fact3: あのみなみにょLv.79が僻みっぽいならばそれは絶え間無い fact4: もし仮にあのみなみにょLv.79が離れ難いとしたらあのみなみにょLv.79は長し fact5: 仮にあのぷよぷくLv.97が取り易いならばあのぷよぷくLv.97は僻みっぽい ; $hypothesis$ = あのみなみにょLv.79は長し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__