there exists something such that if it is not insignificant and/or it is trophoblastic then it is not symbolic.
sent1: the kieserite is not symbolic if it is not insignificant and/or it is trophoblastic. sent2: there exists something such that if it is not insignificant then it is not symbolic. sent3: there is something such that if either it is not a rhinopathy or it is ciliary or both then it is frivolous. sent4: if either something is not lovable or it is gustatory or both it does not wipe. sent5: if either the beeper does not exceed tulip or it is scriptural or both then it does not exceed Ming. sent6: if the kieserite is either not insignificant or trophoblastic or both it is symbolic. sent7: there exists something such that if it is a bulkhead it is not worse. sent8: there is something such that if the fact that it is trophoblastic is right it is not symbolic. sent9: if the tulip is not a weatherboard and/or is insignificant then it is not a corporatist. sent10: the kieserite is non-symbolic if it is insignificant and/or it is trophoblastic. sent11: the kieserite is a alizarin if it is not trophoblastic or it directs or both. sent12: there exists something such that if that it does not jellify beeper and/or it does exceed carvedilol is not false it preempts Augustine. sent13: there exists something such that if either it is not a kind of a molybdenum or it is a rat or both then it is katabatic. sent14: that the swatch is not a weatherboard is not incorrect if it is not a worse or it is a Auchincloss or both. sent15: the kieserite is not symbolic if that it is trophoblastic is correct. sent16: there is something such that if it is not Dionysian and/or it is a televangelist it preempts chortle. sent17: there is something such that if it either is insignificant or is trophoblastic or both then that it is not symbolic is right.
sent1 -> hypothesis;
there exists something such that if either it is not lovable or it is gustatory or both then it does not wipe.
sent4 -> int1: the hardbake does not wipe if it is not lovable and/or it is gustatory.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not insignificant and/or it is trophoblastic then it is not symbolic. ; $context$ = sent1: the kieserite is not symbolic if it is not insignificant and/or it is trophoblastic. sent2: there exists something such that if it is not insignificant then it is not symbolic. sent3: there is something such that if either it is not a rhinopathy or it is ciliary or both then it is frivolous. sent4: if either something is not lovable or it is gustatory or both it does not wipe. sent5: if either the beeper does not exceed tulip or it is scriptural or both then it does not exceed Ming. sent6: if the kieserite is either not insignificant or trophoblastic or both it is symbolic. sent7: there exists something such that if it is a bulkhead it is not worse. sent8: there is something such that if the fact that it is trophoblastic is right it is not symbolic. sent9: if the tulip is not a weatherboard and/or is insignificant then it is not a corporatist. sent10: the kieserite is non-symbolic if it is insignificant and/or it is trophoblastic. sent11: the kieserite is a alizarin if it is not trophoblastic or it directs or both. sent12: there exists something such that if that it does not jellify beeper and/or it does exceed carvedilol is not false it preempts Augustine. sent13: there exists something such that if either it is not a kind of a molybdenum or it is a rat or both then it is katabatic. sent14: that the swatch is not a weatherboard is not incorrect if it is not a worse or it is a Auchincloss or both. sent15: the kieserite is not symbolic if that it is trophoblastic is correct. sent16: there is something such that if it is not Dionysian and/or it is a televangelist it preempts chortle. sent17: there is something such that if it either is insignificant or is trophoblastic or both then that it is not symbolic is right. ; $proof$ = 
sent1 -> hypothesis; __PROVED__