there is something such that if it is a agent-in-place and it does not complect pull then it rustles.
sent1: something is a kind of a warble if it is a denizen and is not a kind of a peg. sent2: if something is a agent-in-place but it does not complect pull it does rustle. sent3: if something is yeasty and is immaterial it is a English. sent4: there is something such that if it deposes and it is not a railroading the fact that it is a stable hold.
sent2 -> int1: that if the churchyard is the agent-in-place and does not complect pull the churchyard is a kind of a rustle hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a agent-in-place and it does not complect pull then it rustles. ; $context$ = sent1: something is a kind of a warble if it is a denizen and is not a kind of a peg. sent2: if something is a agent-in-place but it does not complect pull it does rustle. sent3: if something is yeasty and is immaterial it is a English. sent4: there is something such that if it deposes and it is not a railroading the fact that it is a stable hold. ; $proof$ = 
sent2 -> int1: that if the churchyard is the agent-in-place and does not complect pull the churchyard is a kind of a rustle hold.; int1 -> hypothesis; __PROVED__