the footing is a kind of non-unalert thing that is not a sporophyll.
sent1: the fact that the menstruation is not relevant and it is not a narrow is incorrect if there exists something such that it does void footing. sent2: if the footing is not a kind of a Hull and is a gasman then it does void footing. sent3: the fact that the gazetteer is unmanageable is correct. sent4: if something is not parhelic and/or it does not loom Titaness it is not a kind of a sporophyll. sent5: if the gazetteer is unmanageable then the menstruation is not relevant and not a narrow. sent6: that the footing does not narrow hold. sent7: the footing is not parhelic and/or it does not loom Titaness.
void -> assump1: Let's assume that the footing is not a Hull but it is a gasman.; sent2 & assump1 -> int1: the footing voids footing.; int1 -> int2: there exists something such that it voids footing.; int2 & sent1 -> int3: that the menstruation is not relevant and it is not a kind of a narrow is incorrect.; sent5 & sent3 -> int4: the menstruation is not relevant and it is not a kind of a narrow.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the footing is not a Hull but it is a kind of a gasman is not correct.; sent4 -> int7: if the footing is not parhelic and/or does not loom Titaness that it is not a sporophyll is not false.; int7 & sent7 -> int8: the footing is not a sporophyll.;
$hypothesis$ = the footing is a kind of non-unalert thing that is not a sporophyll. ; $context$ = sent1: the fact that the menstruation is not relevant and it is not a narrow is incorrect if there exists something such that it does void footing. sent2: if the footing is not a kind of a Hull and is a gasman then it does void footing. sent3: the fact that the gazetteer is unmanageable is correct. sent4: if something is not parhelic and/or it does not loom Titaness it is not a kind of a sporophyll. sent5: if the gazetteer is unmanageable then the menstruation is not relevant and not a narrow. sent6: that the footing does not narrow hold. sent7: the footing is not parhelic and/or it does not loom Titaness. ; $proof$ = 
void -> assump1: Let's assume that the footing is not a Hull but it is a gasman.; sent2 & assump1 -> int1: the footing voids footing.; int1 -> int2: there exists something such that it voids footing.; int2 & sent1 -> int3: that the menstruation is not relevant and it is not a kind of a narrow is incorrect.; sent5 & sent3 -> int4: the menstruation is not relevant and it is not a kind of a narrow.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the footing is not a Hull but it is a kind of a gasman is not correct.; sent4 -> int7: if the footing is not parhelic and/or does not loom Titaness that it is not a sporophyll is not false.; int7 & sent7 -> int8: the footing is not a sporophyll.; __UNKNOWN__