the fact that there exists something such that if it does not consider cab and/or does harshen soloist it is not a conchologist is wrong.
sent1: there exists something such that if it is not cathedral or it is audio-lingual or both it is not canonic. sent2: if something does not expand and/or it is a falsetto it is not a pericardium. sent3: something does not thud if it does not consider cab and/or it is accessible. sent4: there exists something such that if it does oxidise and/or it is Lithuanian it is not audio-lingual. sent5: the stop radiates if it is not a kind of a backhanded and/or does coordinate facula. sent6: there is something such that if it does not serenade nostalgia then it is not cathedral. sent7: the stop is not a conchologist if it does not consider cab and/or it harshens soloist. sent8: the stop is not a conchologist if it does not consider cab. sent9: there exists something such that if it considers cab and/or it harshens soloist then it is not a conchologist.
sent7 -> hypothesis;
the cab does not thud if either it does not consider cab or it is accessible or both.
sent3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not consider cab and/or does harshen soloist it is not a conchologist is wrong. ; $context$ = sent1: there exists something such that if it is not cathedral or it is audio-lingual or both it is not canonic. sent2: if something does not expand and/or it is a falsetto it is not a pericardium. sent3: something does not thud if it does not consider cab and/or it is accessible. sent4: there exists something such that if it does oxidise and/or it is Lithuanian it is not audio-lingual. sent5: the stop radiates if it is not a kind of a backhanded and/or does coordinate facula. sent6: there is something such that if it does not serenade nostalgia then it is not cathedral. sent7: the stop is not a conchologist if it does not consider cab and/or it harshens soloist. sent8: the stop is not a conchologist if it does not consider cab. sent9: there exists something such that if it considers cab and/or it harshens soloist then it is not a conchologist. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__