there exists something such that if it is autumnal then the fact that it does scourge pollster and is not ceric is not right.
sent1: if the bentwood is autumnal that it scourges pollster and it is not ceric does not hold. sent2: there is something such that if it is a bullshit then the fact that it is arthralgic and it is a Laccopetalum does not hold.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is autumnal then the fact that it does scourge pollster and is not ceric is not right. ; $context$ = sent1: if the bentwood is autumnal that it scourges pollster and it is not ceric does not hold. sent2: there is something such that if it is a bullshit then the fact that it is arthralgic and it is a Laccopetalum does not hold. ; $proof$ = 
sent1 -> hypothesis; __PROVED__