there exists something such that if it is not arthropodal it is a kind of a feathered and it is not comprehensible.
sent1: there exists something such that if that it is not an appraisal hold it is a platyrrhine. sent2: something is a kind of a peer if it is not womanly. sent3: if something is not arthropodal it feathers and is not comprehensible. sent4: there exists something such that if it is not a kind of a Carpobrotus it does clog and it is not congenial.
sent3 -> int1: if the tilth is not arthropodal it feathers and it is not comprehensible.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not arthropodal it is a kind of a feathered and it is not comprehensible. ; $context$ = sent1: there exists something such that if that it is not an appraisal hold it is a platyrrhine. sent2: something is a kind of a peer if it is not womanly. sent3: if something is not arthropodal it feathers and is not comprehensible. sent4: there exists something such that if it is not a kind of a Carpobrotus it does clog and it is not congenial. ; $proof$ = 
sent3 -> int1: if the tilth is not arthropodal it feathers and it is not comprehensible.; int1 -> hypothesis; __PROVED__