the screwtop deserts.
sent1: something is synaptic if it is a kind of a joinery. sent2: if something is agrypnotic then the fact that it is a desert hold. sent3: everything does boot fundamentalism. sent4: the sociolinguist is a desert. sent5: everything is traceable. sent6: the parrot is not non-agrypnotic. sent7: the pocket is traceable. sent8: if the grenade is traceable then the screwtop is agrypnotic. sent9: if the grenade is agrypnotic then the screwtop is traceable.
sent5 -> int1: the grenade is traceable.; int1 & sent8 -> int2: the screwtop is agrypnotic.; sent2 -> int3: if the screwtop is agrypnotic then it is a desert.; int2 & int3 -> hypothesis;
$hypothesis$ = the screwtop deserts. ; $context$ = sent1: something is synaptic if it is a kind of a joinery. sent2: if something is agrypnotic then the fact that it is a desert hold. sent3: everything does boot fundamentalism. sent4: the sociolinguist is a desert. sent5: everything is traceable. sent6: the parrot is not non-agrypnotic. sent7: the pocket is traceable. sent8: if the grenade is traceable then the screwtop is agrypnotic. sent9: if the grenade is agrypnotic then the screwtop is traceable. ; $proof$ = 
sent5 -> int1: the grenade is traceable.; int1 & sent8 -> int2: the screwtop is agrypnotic.; sent2 -> int3: if the screwtop is agrypnotic then it is a desert.; int2 & int3 -> hypothesis; __PROVED__