the curbstone is not a arianist.
sent1: the filefish is acinar. sent2: the filefish is acinar and is a kind of a Oceanic. sent3: the curbstone is not a arianist if the filefish is a supersymmetry or it is a Oceanic or both. sent4: the fact that the curbstone is not a kind of a arianist is true if the filefish is a supersymmetry.
sent2 -> int1: the filefish is a Oceanic.; int1 -> int2: the filefish is a supersymmetry or it is a Oceanic or both.; int2 & sent3 -> hypothesis;
$hypothesis$ = the curbstone is not a arianist. ; $context$ = sent1: the filefish is acinar. sent2: the filefish is acinar and is a kind of a Oceanic. sent3: the curbstone is not a arianist if the filefish is a supersymmetry or it is a Oceanic or both. sent4: the fact that the curbstone is not a kind of a arianist is true if the filefish is a supersymmetry. ; $proof$ = 
sent2 -> int1: the filefish is a Oceanic.; int1 -> int2: the filefish is a supersymmetry or it is a Oceanic or both.; int2 & sent3 -> hypothesis; __PROVED__