there is something such that if that it is a kind of a fungus hold it is not stored-program but a drinking.
sent1: the antacid is not stored-program but it is a drinking if it is a fungus. sent2: if the cleanser does articulate it is a kind of an ethyl that is a convictfish. sent3: something is not ferric but it is an airport if it does cope infomercial. sent4: the antacid is not stored-program if it is a fungus.
sent1 -> hypothesis;
there is something such that if it does cope infomercial then it is non-ferric an airport.
sent3 -> int1: if the beautician copes infomercial then it is non-ferric thing that is an airport.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is a kind of a fungus hold it is not stored-program but a drinking. ; $context$ = sent1: the antacid is not stored-program but it is a drinking if it is a fungus. sent2: if the cleanser does articulate it is a kind of an ethyl that is a convictfish. sent3: something is not ferric but it is an airport if it does cope infomercial. sent4: the antacid is not stored-program if it is a fungus. ; $proof$ = 
sent1 -> hypothesis; __PROVED__