the Apache is not a kind of a hypanthium.
sent1: if something is not balletic then that it is acropetal and is a throwaway is not right. sent2: The Brown does not space deer. sent3: the deer does not space Brown. sent4: the aqualung is a hypanthium. sent5: if something is balletic and it is gerundial then the fact that it is not a hypanthium is not incorrect. sent6: if there is something such that that it spaces Brown and is not a Monophysite is wrong then the aqualung is not a terminal. sent7: the aqualung is a kind of a throwaway if there exists something such that that it is a kind of non-cytogenetic thing that does not space Siemens is not correct. sent8: there is something such that it is not urban. sent9: if something that is a Monophysite is not a kind of a terminal the Apache is gerundial. sent10: the aqualung is not a throwaway. sent11: if something does not space Siemens and/or it is acropetal it is balletic. sent12: if the deer does not space Brown then the cinch is Monophysite but it is not a terminal. sent13: that that the cinch spaces Brown and is not a Monophysite is wrong is true if there are non-urban things.
void -> assump1: Let's assume that the fact that that the Apache is non-cytogenetic thing that does not space Siemens hold is false.; assump1 -> int1: there is something such that the fact that it is a kind of non-cytogenetic thing that does not space Siemens is not true.; int1 & sent7 -> int2: the aqualung is a throwaway.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Apache is not cytogenetic and does not space Siemens.; int4 -> int5: the Apache does not space Siemens.; int5 -> int6: the Apache does not space Siemens or it is acropetal or both.; sent11 -> int7: if the Apache does not space Siemens or it is acropetal or both then it is balletic.; int6 & int7 -> int8: the Apache is balletic.; sent12 & sent3 -> int9: the cinch is Monophysite but it is not terminal.; int9 -> int10: something is Monophysite thing that is not a terminal.; int10 & sent9 -> int11: the Apache is gerundial.; int8 & int11 -> int12: the Apache is balletic and is gerundial.; sent5 -> int13: the Apache is not a kind of a hypanthium if it is balletic and it is gerundial.; int12 & int13 -> hypothesis;
the Apache is a hypanthium.
sent1 -> int14: if the aqualung is not balletic then the fact that it is acropetal and it is a throwaway is not right.; sent8 & sent13 -> int15: that the fact that the cinch does space Brown and is not a Monophysite is not correct is true.; int15 -> int16: there exists something such that that it spaces Brown and it is not a Monophysite does not hold.; int16 & sent6 -> int17: the aqualung is not a terminal.;
$hypothesis$ = the Apache is not a kind of a hypanthium. ; $context$ = sent1: if something is not balletic then that it is acropetal and is a throwaway is not right. sent2: The Brown does not space deer. sent3: the deer does not space Brown. sent4: the aqualung is a hypanthium. sent5: if something is balletic and it is gerundial then the fact that it is not a hypanthium is not incorrect. sent6: if there is something such that that it spaces Brown and is not a Monophysite is wrong then the aqualung is not a terminal. sent7: the aqualung is a kind of a throwaway if there exists something such that that it is a kind of non-cytogenetic thing that does not space Siemens is not correct. sent8: there is something such that it is not urban. sent9: if something that is a Monophysite is not a kind of a terminal the Apache is gerundial. sent10: the aqualung is not a throwaway. sent11: if something does not space Siemens and/or it is acropetal it is balletic. sent12: if the deer does not space Brown then the cinch is Monophysite but it is not a terminal. sent13: that that the cinch spaces Brown and is not a Monophysite is wrong is true if there are non-urban things. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the Apache is non-cytogenetic thing that does not space Siemens hold is false.; assump1 -> int1: there is something such that the fact that it is a kind of non-cytogenetic thing that does not space Siemens is not true.; int1 & sent7 -> int2: the aqualung is a throwaway.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Apache is not cytogenetic and does not space Siemens.; int4 -> int5: the Apache does not space Siemens.; int5 -> int6: the Apache does not space Siemens or it is acropetal or both.; sent11 -> int7: if the Apache does not space Siemens or it is acropetal or both then it is balletic.; int6 & int7 -> int8: the Apache is balletic.; sent12 & sent3 -> int9: the cinch is Monophysite but it is not terminal.; int9 -> int10: something is Monophysite thing that is not a terminal.; int10 & sent9 -> int11: the Apache is gerundial.; int8 & int11 -> int12: the Apache is balletic and is gerundial.; sent5 -> int13: the Apache is not a kind of a hypanthium if it is balletic and it is gerundial.; int12 & int13 -> hypothesis; __PROVED__