that there exists something such that if it is not a cornerstone then it is a Oran and it does not clear apology does not hold.
sent1: something does bonnet former and does not grease Culicidae if it is a necklace. sent2: something is a Oran but it does not clear apology if it is not a cornerstone. sent3: the northerly is a Stercorarius that is not a kind of a angostura if it is not a Jamaican. sent4: if something is not a cornerstone it is a kind of a Oran. sent5: if the luncher is a cornerstone it is a Oran that does not clear apology.
sent2 -> int1: if the luncher is not a cornerstone then it is a Oran and it does not clear apology.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a cornerstone then it is a Oran and it does not clear apology does not hold. ; $context$ = sent1: something does bonnet former and does not grease Culicidae if it is a necklace. sent2: something is a Oran but it does not clear apology if it is not a cornerstone. sent3: the northerly is a Stercorarius that is not a kind of a angostura if it is not a Jamaican. sent4: if something is not a cornerstone it is a kind of a Oran. sent5: if the luncher is a cornerstone it is a Oran that does not clear apology. ; $proof$ = 
sent2 -> int1: if the luncher is not a cornerstone then it is a Oran and it does not clear apology.; int1 -> hypothesis; __DISPROVED__