the Koasati is not supernal.
sent1: the Koasati awards. sent2: the Koasati fudges Meniscium. sent3: there exists something such that that it does govern Nostradamus and is orthodox is incorrect. sent4: the Koasati fudges Oceanus if there is something such that it does not govern Nostradamus. sent5: something that does fudge Oceanus and does govern frog is not supernal. sent6: The Meniscium fudges Koasati. sent7: there is something such that that it governs Nostradamus and it is not orthodox is not true. sent8: the Koasati is a kind of a superoxide if there exists something such that that it governs frog and does not govern telpher is incorrect. sent9: the fact that something is not supernal and it does not fudge Meniscium is not right if it does govern frog. sent10: the Koasati does fudge Oceanus if there exists something such that that it does govern Nostradamus and it is not orthodox does not hold. sent11: that the Ryukyuan does not fudge Oceanus and does not govern Nostradamus does not hold if it is not orthodox. sent12: the frog is not a kind of a primus if it is a Northeast and anasarcous. sent13: the Koasati is supernal if there exists something such that it does not fudge Meniscium. sent14: the Koasati governs frog if it does fudge Meniscium. sent15: the rifampin is both a mylodon and supernal.
sent14 & sent2 -> int1: the Koasati does govern frog.; sent7 & sent10 -> int2: the Koasati does fudge Oceanus.; int1 & int2 -> int3: the Koasati fudges Oceanus and it does govern frog.; sent5 -> int4: the Koasati is not supernal if it does fudge Oceanus and it governs frog.; int3 & int4 -> hypothesis;
the Koasati is supernal.
sent9 -> int5: if the Ryukyuan governs frog the fact that it is not supernal and it does not fudge Meniscium is not correct.;
$hypothesis$ = the Koasati is not supernal. ; $context$ = sent1: the Koasati awards. sent2: the Koasati fudges Meniscium. sent3: there exists something such that that it does govern Nostradamus and is orthodox is incorrect. sent4: the Koasati fudges Oceanus if there is something such that it does not govern Nostradamus. sent5: something that does fudge Oceanus and does govern frog is not supernal. sent6: The Meniscium fudges Koasati. sent7: there is something such that that it governs Nostradamus and it is not orthodox is not true. sent8: the Koasati is a kind of a superoxide if there exists something such that that it governs frog and does not govern telpher is incorrect. sent9: the fact that something is not supernal and it does not fudge Meniscium is not right if it does govern frog. sent10: the Koasati does fudge Oceanus if there exists something such that that it does govern Nostradamus and it is not orthodox does not hold. sent11: that the Ryukyuan does not fudge Oceanus and does not govern Nostradamus does not hold if it is not orthodox. sent12: the frog is not a kind of a primus if it is a Northeast and anasarcous. sent13: the Koasati is supernal if there exists something such that it does not fudge Meniscium. sent14: the Koasati governs frog if it does fudge Meniscium. sent15: the rifampin is both a mylodon and supernal. ; $proof$ = 
sent14 & sent2 -> int1: the Koasati does govern frog.; sent7 & sent10 -> int2: the Koasati does fudge Oceanus.; int1 & int2 -> int3: the Koasati fudges Oceanus and it does govern frog.; sent5 -> int4: the Koasati is not supernal if it does fudge Oceanus and it governs frog.; int3 & int4 -> hypothesis; __PROVED__