there exists something such that it is abstemious and does Simonize FAO.
sent1: the thiazide Simonizes FAO or it is nectar-rich or both. sent2: either the thiazide is not non-nectar-rich or it is divisible or both. sent3: if there is something such that it is not non-compliant or is not impassable or both then the aristocrat does Simonize FAO. sent4: if there is something such that it is nectar-rich and/or is not abstemious then the thiazide does Simonize FAO. sent5: the thiazide does soar and it is nonpasserine. sent6: the aristocrat is abstemious if the thiazide is divisible. sent7: there exists something such that it is nectar-rich and/or it is abstemious. sent8: the aristocrat is nectar-rich if there exists something such that it Simonizes FAO and/or is not divisible. sent9: the thiazide does heat thiazide and does hook. sent10: something is compliant and/or it is not impassable. sent11: the thiazide Simonizes FAO if something is either divisible or non-abstemious or both. sent12: there is something such that it does oscillate.
sent10 & sent3 -> int1: the aristocrat does Simonize FAO.;
$hypothesis$ = there exists something such that it is abstemious and does Simonize FAO. ; $context$ = sent1: the thiazide Simonizes FAO or it is nectar-rich or both. sent2: either the thiazide is not non-nectar-rich or it is divisible or both. sent3: if there is something such that it is not non-compliant or is not impassable or both then the aristocrat does Simonize FAO. sent4: if there is something such that it is nectar-rich and/or is not abstemious then the thiazide does Simonize FAO. sent5: the thiazide does soar and it is nonpasserine. sent6: the aristocrat is abstemious if the thiazide is divisible. sent7: there exists something such that it is nectar-rich and/or it is abstemious. sent8: the aristocrat is nectar-rich if there exists something such that it Simonizes FAO and/or is not divisible. sent9: the thiazide does heat thiazide and does hook. sent10: something is compliant and/or it is not impassable. sent11: the thiazide Simonizes FAO if something is either divisible or non-abstemious or both. sent12: there is something such that it does oscillate. ; $proof$ = 
sent10 & sent3 -> int1: the aristocrat does Simonize FAO.; __UNKNOWN__