there exists something such that if it is primary it is not a tail.
sent1: the grogram is not a transactinide. sent2: if that something is not possessive and does explain does not hold then it is a theory. sent3: the bluff marauds. sent4: if that the Y does not awe Trento and is a Montserratian is false it imagines. sent5: the variometer is a kind of a tail if it is transactinide and is primary. sent6: if the variometer does explain it is transactinide. sent7: the fact that the dermatologist explains and is a Brady does not hold. sent8: if the variometer is transactinide then it is not a harasser. sent9: the arbutus is a genip if it is a transactinide and it is comfortable. sent10: there exists something such that if it is a primary then it is a tail. sent11: that the variometer does not explain and marauds is not correct. sent12: the variometer is not irreversible. sent13: there exists something such that if it is a transactinide it does not maraud. sent14: the variometer is not a primary if it does gestate. sent15: if the fact that the variometer does not explain but it does maraud does not hold that it is a kind of a transactinide is not incorrect. sent16: the variometer is not a tail if it is not non-transactinide and not non-primary. sent17: if that the variometer is not an imperial but alphabetic is wrong it does maraud. sent18: that the variometer is not thoughtless is not incorrect if it is a tail. sent19: there exists something such that if it is a kind of a transactinide it is not a primary.
sent15 & sent11 -> int1: the fact that the variometer is a kind of a transactinide is not wrong.; void -> assump1: Let's assume that the variometer is a primary.; int1 & assump1 -> int2: the variometer is both transactinide and a primary.; int2 & sent16 -> int3: the variometer does not tail.; [assump1] & int3 -> int4: if the variometer is a primary it does not tail.; int4 -> hypothesis;
the sheik is a theory if that it is non-possessive thing that does explain is wrong.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it is primary it is not a tail. ; $context$ = sent1: the grogram is not a transactinide. sent2: if that something is not possessive and does explain does not hold then it is a theory. sent3: the bluff marauds. sent4: if that the Y does not awe Trento and is a Montserratian is false it imagines. sent5: the variometer is a kind of a tail if it is transactinide and is primary. sent6: if the variometer does explain it is transactinide. sent7: the fact that the dermatologist explains and is a Brady does not hold. sent8: if the variometer is transactinide then it is not a harasser. sent9: the arbutus is a genip if it is a transactinide and it is comfortable. sent10: there exists something such that if it is a primary then it is a tail. sent11: that the variometer does not explain and marauds is not correct. sent12: the variometer is not irreversible. sent13: there exists something such that if it is a transactinide it does not maraud. sent14: the variometer is not a primary if it does gestate. sent15: if the fact that the variometer does not explain but it does maraud does not hold that it is a kind of a transactinide is not incorrect. sent16: the variometer is not a tail if it is not non-transactinide and not non-primary. sent17: if that the variometer is not an imperial but alphabetic is wrong it does maraud. sent18: that the variometer is not thoughtless is not incorrect if it is a tail. sent19: there exists something such that if it is a kind of a transactinide it is not a primary. ; $proof$ = 
sent15 & sent11 -> int1: the fact that the variometer is a kind of a transactinide is not wrong.; void -> assump1: Let's assume that the variometer is a primary.; int1 & assump1 -> int2: the variometer is both transactinide and a primary.; int2 & sent16 -> int3: the variometer does not tail.; [assump1] & int3 -> int4: if the variometer is a primary it does not tail.; int4 -> hypothesis; __PROVED__