that there is something such that if it is a kind of non-handmade thing that is datable it is unworldly is wrong.
sent1: if something that is not handmade is datable then it is unworldly. sent2: if something that is handmade is datable then it is unworldly. sent3: there is something such that if it is a Jordanian and does scram Lycosa then it is unfavorable. sent4: if something is not an electrolytic and is a assizes then it does outsail boulle.
sent1 -> int1: the cuff is unworldly if it is not handmade and it is datable.; int1 -> hypothesis;
there is something such that if it is not an electrolytic but a assizes it does outsail boulle.
sent4 -> int2: the ultracentrifugation outsails boulle if it is not an electrolytic but a assizes.; int2 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of non-handmade thing that is datable it is unworldly is wrong. ; $context$ = sent1: if something that is not handmade is datable then it is unworldly. sent2: if something that is handmade is datable then it is unworldly. sent3: there is something such that if it is a Jordanian and does scram Lycosa then it is unfavorable. sent4: if something is not an electrolytic and is a assizes then it does outsail boulle. ; $proof$ = 
sent1 -> int1: the cuff is unworldly if it is not handmade and it is datable.; int1 -> hypothesis; __DISPROVED__