the stroke is not a peripatetic.
sent1: the stroke does inflect. sent2: if something is on-the-job and it queens hotplate it is not a peripatetic. sent3: the stroke is a coronary and it is on-the-job. sent4: something is not non-coronary and not non-peripatetic if it is not on-the-job. sent5: if the stroke does inflect then it does queen hotplate.
sent3 -> int1: the stroke is on-the-job.; sent5 & sent1 -> int2: the stroke does queen hotplate.; int1 & int2 -> int3: the stroke is on-the-job and it queens hotplate.; sent2 -> int4: if the stroke is on-the-job and it does queen hotplate then it is not a kind of a peripatetic.; int3 & int4 -> hypothesis;
the stroke is peripatetic.
sent4 -> int5: if the stroke is not on-the-job it is a coronary and it is a peripatetic.;
$hypothesis$ = the stroke is not a peripatetic. ; $context$ = sent1: the stroke does inflect. sent2: if something is on-the-job and it queens hotplate it is not a peripatetic. sent3: the stroke is a coronary and it is on-the-job. sent4: something is not non-coronary and not non-peripatetic if it is not on-the-job. sent5: if the stroke does inflect then it does queen hotplate. ; $proof$ = 
sent3 -> int1: the stroke is on-the-job.; sent5 & sent1 -> int2: the stroke does queen hotplate.; int1 & int2 -> int3: the stroke is on-the-job and it queens hotplate.; sent2 -> int4: if the stroke is on-the-job and it does queen hotplate then it is not a kind of a peripatetic.; int3 & int4 -> hypothesis; __PROVED__