that there is something such that if the fact that it does not get Hinayanism hold it is both not a truss and dark is wrong.
sent1: something that does not angle iproclozide is non-orthoptics thing that is a kind of a dark. sent2: if the worktable does not get Hinayanism then it is not a kind of a truss and it is a dark.
sent2 -> hypothesis;
if the package does not angle iproclozide then it is not orthoptics and it is a dark.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it does not get Hinayanism hold it is both not a truss and dark is wrong. ; $context$ = sent1: something that does not angle iproclozide is non-orthoptics thing that is a kind of a dark. sent2: if the worktable does not get Hinayanism then it is not a kind of a truss and it is a dark. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__