そのまわまいLv.95はつべたくて尽くし難い
fact1: そのまわまいLv.95はつべたくてさらに動き難い fact2: そのまわまいLv.95は動き難い fact3: 「そのまわまいLv.95は尽くし難い」ということは本当である
fact1 -> int1: そのまわまいLv.95はつべたい; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのまわまいLv.95はつべたくてさらに動き難い fact2: そのまわまいLv.95は動き難い fact3: 「そのまわまいLv.95は尽くし難い」ということは本当である ; $hypothesis$ = そのまわまいLv.95はつべたくて尽くし難い ; $proof$ = 
fact1 -> int1: そのまわまいLv.95はつべたい; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__