the augite is cervical and/or not filar.
sent1: the weather is filar thing that is a kind of a reprisal if it is not rough. sent2: if something is filar it is a kind of an anna and it does not enjoy clingfish. sent3: that if the NB is a rough then the paperback is a reprisal is not incorrect. sent4: that if there exists something such that it enjoys clingfish that the myrmecophyte is an anna but it does not enjoys clingfish is false hold. sent5: the augite is cervical or it is filar or both. sent6: if that something is both not immortal and not non-gluteal is not correct then it is a kind of a gallop. sent7: the myrmecophyte is a kind of an anna if it is filar. sent8: something enjoys clingfish. sent9: if that something is filar is not false then it is a obtrusiveness and it is not cervical. sent10: if the bratwurst is unfair then the NB is a rough. sent11: something is an anna if it is filar. sent12: the wryneck is a kind of avirulent thing that is not an anna. sent13: the bratwurst is unfair if the photoelectricity is a gallop. sent14: if the paperback is a reprisal the fact that the augite is cervical and/or it is not filar does not hold.
sent2 -> int1: the myrmecophyte is an anna but it does not enjoy clingfish if it is filar.; void -> assump1: Let's assume that the myrmecophyte is filar.; int1 & assump1 -> int2: the myrmecophyte is an anna but it does not enjoy clingfish.; sent8 & sent4 -> int3: that the myrmecophyte is a kind of an anna but it does not enjoy clingfish is incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the myrmecophyte is not filar.;
the fact that the augite is cervical and/or it is not filar is false.
sent6 -> int6: if the fact that the photoelectricity is not immortal but it is gluteal is not right it is a gallop.;
$hypothesis$ = the augite is cervical and/or not filar. ; $context$ = sent1: the weather is filar thing that is a kind of a reprisal if it is not rough. sent2: if something is filar it is a kind of an anna and it does not enjoy clingfish. sent3: that if the NB is a rough then the paperback is a reprisal is not incorrect. sent4: that if there exists something such that it enjoys clingfish that the myrmecophyte is an anna but it does not enjoys clingfish is false hold. sent5: the augite is cervical or it is filar or both. sent6: if that something is both not immortal and not non-gluteal is not correct then it is a kind of a gallop. sent7: the myrmecophyte is a kind of an anna if it is filar. sent8: something enjoys clingfish. sent9: if that something is filar is not false then it is a obtrusiveness and it is not cervical. sent10: if the bratwurst is unfair then the NB is a rough. sent11: something is an anna if it is filar. sent12: the wryneck is a kind of avirulent thing that is not an anna. sent13: the bratwurst is unfair if the photoelectricity is a gallop. sent14: if the paperback is a reprisal the fact that the augite is cervical and/or it is not filar does not hold. ; $proof$ = 
sent2 -> int1: the myrmecophyte is an anna but it does not enjoy clingfish if it is filar.; void -> assump1: Let's assume that the myrmecophyte is filar.; int1 & assump1 -> int2: the myrmecophyte is an anna but it does not enjoy clingfish.; sent8 & sent4 -> int3: that the myrmecophyte is a kind of an anna but it does not enjoy clingfish is incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the myrmecophyte is not filar.; __UNKNOWN__