that there is something such that if it does trundle contrariety and/or it trundles songster then it is not paroxysmal is wrong.
sent1: something does not trundle contrariety if it is achromatinic and/or it is sinistral. sent2: something that is rupestral and/or is a platform is not quartzose. sent3: that the alcazar is not paroxysmal is correct if it trundles contrariety. sent4: there exists something such that if it is gymnospermous and/or it does rerun Corydalus then it is not a kind of a untrustworthiness. sent5: if the alcazar does trundle contrariety and/or it does trundle songster it is non-paroxysmal. sent6: there exists something such that if it is a newel or it is unsensational or both it does not temporize. sent7: there exists something such that if it does trundle songster the fact that it is not paroxysmal hold. sent8: if the alcazar destalinizes chair or it is a cooling or both it is not an overlap. sent9: if the alcazar trundles contrariety or it does trundle songster or both it is paroxysmal. sent10: there exists something such that if either it does rerun Corydalus or it reruns Mama or both it does not destalinize anteater. sent11: something that either is actable or trundles saddlecloth or both is not astigmatic. sent12: if the living-room is a miscalculation and/or it is a deaf-mutism it is not masonic. sent13: there is something such that if it either is agrologic or is gymnospermous or both then it does not protest pleomorphism. sent14: there is something such that if it trundles contrariety or does trundle songster or both it is paroxysmal. sent15: there is something such that if it is either a Thiosulfil or not non-Teutonic or both it is not bacteroidal. sent16: the alcazar is not parasitic if it is parental and/or it does trundle contrariety. sent17: the transcendentalist is not abdominovesical if it does trundle contrariety and/or does protest slack. sent18: there exists something such that if that it trundles contrariety is not false then the fact that it is not paroxysmal is correct.
sent5 -> hypothesis;
there exists something such that if it is rupestral and/or it is a kind of a platform then it is not quartzose.
sent2 -> int1: the savoy is not quartzose if it is rupestral or is a platform or both.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does trundle contrariety and/or it trundles songster then it is not paroxysmal is wrong. ; $context$ = sent1: something does not trundle contrariety if it is achromatinic and/or it is sinistral. sent2: something that is rupestral and/or is a platform is not quartzose. sent3: that the alcazar is not paroxysmal is correct if it trundles contrariety. sent4: there exists something such that if it is gymnospermous and/or it does rerun Corydalus then it is not a kind of a untrustworthiness. sent5: if the alcazar does trundle contrariety and/or it does trundle songster it is non-paroxysmal. sent6: there exists something such that if it is a newel or it is unsensational or both it does not temporize. sent7: there exists something such that if it does trundle songster the fact that it is not paroxysmal hold. sent8: if the alcazar destalinizes chair or it is a cooling or both it is not an overlap. sent9: if the alcazar trundles contrariety or it does trundle songster or both it is paroxysmal. sent10: there exists something such that if either it does rerun Corydalus or it reruns Mama or both it does not destalinize anteater. sent11: something that either is actable or trundles saddlecloth or both is not astigmatic. sent12: if the living-room is a miscalculation and/or it is a deaf-mutism it is not masonic. sent13: there is something such that if it either is agrologic or is gymnospermous or both then it does not protest pleomorphism. sent14: there is something such that if it trundles contrariety or does trundle songster or both it is paroxysmal. sent15: there is something such that if it is either a Thiosulfil or not non-Teutonic or both it is not bacteroidal. sent16: the alcazar is not parasitic if it is parental and/or it does trundle contrariety. sent17: the transcendentalist is not abdominovesical if it does trundle contrariety and/or does protest slack. sent18: there exists something such that if that it trundles contrariety is not false then the fact that it is not paroxysmal is correct. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__