either the lumen does not disarm or it is not inaesthetic or both if the trudger is not a kind of a facial.
sent1: the trudger is a kind of a facial if it does not overhang. sent2: that if something does not overhang the fact that it is non-phrenic thing that is not a Rustbelt is not true hold. sent3: that the testator is an overhang but it is not facial is not correct. sent4: the lumen is not facial. sent5: if the trudger is not liturgical the testator is not facial and/or it does not disarm. sent6: the fact that the NIMBY does not overhang hold. sent7: if the trudger is inaesthetic then the lumen is not a kind of an overhang. sent8: the lumen is not a facial if the trudger does disarm. sent9: that the testator is not liturgical and it is not an overhang is not true if the trudger is a kind of an overhang. sent10: the fact that the testator is non-liturgical an overhang is incorrect if the trudger does overhang. sent11: the fact that the lumen is both not inaesthetic and not an overhang is not true. sent12: the testator does not disarm or it is not inaesthetic or both if the lumen is not a kind of an overhang. sent13: the fact that the testator does not overhang is not false if the fact that the lumen is not facial and it does not disarm is not true. sent14: if the fact that the testator is both not liturgical and not an overhang does not hold then the lumen is inaesthetic.
void -> assump2: Let's assume that the trudger is not an overhang.; sent1 & assump2 -> int1: the trudger is a facial.; void -> assump1: Let's assume that the trudger is not a facial.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trudger is an overhang.; sent9 & int3 -> int4: that the testator is not liturgical and not an overhang is incorrect.;
the fact that the hairpiece is non-phrenic and is not a Rustbelt is false.
sent2 -> int5: that the hairpiece is not phrenic and it is not a Rustbelt is not right if it does not overhang.;
$hypothesis$ = either the lumen does not disarm or it is not inaesthetic or both if the trudger is not a kind of a facial. ; $context$ = sent1: the trudger is a kind of a facial if it does not overhang. sent2: that if something does not overhang the fact that it is non-phrenic thing that is not a Rustbelt is not true hold. sent3: that the testator is an overhang but it is not facial is not correct. sent4: the lumen is not facial. sent5: if the trudger is not liturgical the testator is not facial and/or it does not disarm. sent6: the fact that the NIMBY does not overhang hold. sent7: if the trudger is inaesthetic then the lumen is not a kind of an overhang. sent8: the lumen is not a facial if the trudger does disarm. sent9: that the testator is not liturgical and it is not an overhang is not true if the trudger is a kind of an overhang. sent10: the fact that the testator is non-liturgical an overhang is incorrect if the trudger does overhang. sent11: the fact that the lumen is both not inaesthetic and not an overhang is not true. sent12: the testator does not disarm or it is not inaesthetic or both if the lumen is not a kind of an overhang. sent13: the fact that the testator does not overhang is not false if the fact that the lumen is not facial and it does not disarm is not true. sent14: if the fact that the testator is both not liturgical and not an overhang does not hold then the lumen is inaesthetic. ; $proof$ = 
void -> assump2: Let's assume that the trudger is not an overhang.; sent1 & assump2 -> int1: the trudger is a facial.; void -> assump1: Let's assume that the trudger is not a facial.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trudger is an overhang.; sent9 & int3 -> int4: that the testator is not liturgical and not an overhang is incorrect.; __UNKNOWN__