there exists something such that if that it is not a kind of a cephalothin and/or it is not marly is not right it is fungoid.
sent1: something is telegraphic if the fact that it is non-disjunct and/or is not flat is not true. sent2: something is fungoid if that it is a cephalothin and/or is not marly is incorrect. sent3: something is fungoid if the fact that it is not a cephalothin or it is marly or both is not correct. sent4: if that something is not a cephalothin and/or it is not marly does not hold then it is fungoid. sent5: there exists something such that if it is not a cephalothin or is not marly or both it is fungoid. sent6: there exists something such that if that it is not a thermochemistry or does not wrinkle or both does not hold it does honor Melampodium. sent7: there is something such that if the fact that it is not a cephalothin and/or it is marly does not hold it is fungoid. sent8: if the fact that the masher is not liturgical and/or it is not a criticism is not right then it is a Orectolobus. sent9: there exists something such that if the fact that that it is not telegraphic and/or it is not a kind of a hotel-casino is not incorrect does not hold then it is occlusive. sent10: if either the masher is not a cephalothin or it is not marly or both it is fungoid. sent11: something does slice raffle if the fact that it is not a Toyohashi or is not a sen or both is wrong. sent12: if something either is not a kind of a cephalothin or is not marly or both then it is fungoid. sent13: there exists something such that if that it is a cephalothin or it is not marly or both is false it is fungoid. sent14: if that the masher either does not mint cunt or is not a kind of a cephalothin or both does not hold then it is a henbit. sent15: if that the masher is a cephalothin and/or is non-marly is wrong it is fungoid. sent16: something is minimalist if that it does not mint oxaprozin or does not mint wired or both is not correct. sent17: the masher is fungoid if that it is not a cephalothin and/or it is not non-marly is not correct. sent18: the masher is a kind of a Erianthus if that it does not fumble Pterospermum and/or it is not angry is not correct.
sent4 -> int1: if that the masher is not a cephalothin and/or it is not marly does not hold it is fungoid.; int1 -> hypothesis;
there is something such that if that it either does not mint oxaprozin or does not mint wired or both is wrong it is a minimalist.
sent16 -> int2: if that the bricklayer either does not mint oxaprozin or does not mint wired or both does not hold then it is a kind of a minimalist.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a cephalothin and/or it is not marly is not right it is fungoid. ; $context$ = sent1: something is telegraphic if the fact that it is non-disjunct and/or is not flat is not true. sent2: something is fungoid if that it is a cephalothin and/or is not marly is incorrect. sent3: something is fungoid if the fact that it is not a cephalothin or it is marly or both is not correct. sent4: if that something is not a cephalothin and/or it is not marly does not hold then it is fungoid. sent5: there exists something such that if it is not a cephalothin or is not marly or both it is fungoid. sent6: there exists something such that if that it is not a thermochemistry or does not wrinkle or both does not hold it does honor Melampodium. sent7: there is something such that if the fact that it is not a cephalothin and/or it is marly does not hold it is fungoid. sent8: if the fact that the masher is not liturgical and/or it is not a criticism is not right then it is a Orectolobus. sent9: there exists something such that if the fact that that it is not telegraphic and/or it is not a kind of a hotel-casino is not incorrect does not hold then it is occlusive. sent10: if either the masher is not a cephalothin or it is not marly or both it is fungoid. sent11: something does slice raffle if the fact that it is not a Toyohashi or is not a sen or both is wrong. sent12: if something either is not a kind of a cephalothin or is not marly or both then it is fungoid. sent13: there exists something such that if that it is a cephalothin or it is not marly or both is false it is fungoid. sent14: if that the masher either does not mint cunt or is not a kind of a cephalothin or both does not hold then it is a henbit. sent15: if that the masher is a cephalothin and/or is non-marly is wrong it is fungoid. sent16: something is minimalist if that it does not mint oxaprozin or does not mint wired or both is not correct. sent17: the masher is fungoid if that it is not a cephalothin and/or it is not non-marly is not correct. sent18: the masher is a kind of a Erianthus if that it does not fumble Pterospermum and/or it is not angry is not correct. ; $proof$ = 
sent4 -> int1: if that the masher is not a cephalothin and/or it is not marly does not hold it is fungoid.; int1 -> hypothesis; __PROVED__