the fact that there exists something such that if it is not a kind of a sphenion then the fact that it is not lithographic and is not a blond does not hold is not correct.
sent1: the fact that something is not a Ceratopetalum and does not sow is not true if it is not a sphenion. sent2: that the fenoprofen is not lithographic and is not a blond is false if it is not a sphenion. sent3: that that the poseur is not a sphenion and does not solve does not hold is true if it shallows. sent4: there exists something such that if it is not a sphenion it is not lithographic and it is non-blond.
sent2 -> hypothesis;
the fact that the fenoprofen is not a Ceratopetalum and not a sow is incorrect if it is not a sphenion.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a sphenion then the fact that it is not lithographic and is not a blond does not hold is not correct. ; $context$ = sent1: the fact that something is not a Ceratopetalum and does not sow is not true if it is not a sphenion. sent2: that the fenoprofen is not lithographic and is not a blond is false if it is not a sphenion. sent3: that that the poseur is not a sphenion and does not solve does not hold is true if it shallows. sent4: there exists something such that if it is not a sphenion it is not lithographic and it is non-blond. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__