the technician is not a kind of a Ulster.
sent1: there is something such that it is not unshockable but a Zechariah. sent2: the firkin is a kind of a mission that is collagenous. sent3: something does hand machilid if the fact that it does not hand machilid and is nonresidential is not true. sent4: the firkin does not hand machilid if something is shockable and is not a Zechariah. sent5: something is collagenous and does not hand machilid if it is not nonresidential. sent6: the backup is not unshockable and it is not a Zechariah if the technician is a Ulster.
void -> assump1: Let's assume that the technician is a Ulster.; sent6 & assump1 -> int1: the backup is not unshockable and not a Zechariah.; int1 -> int2: there is something such that it is not unshockable and is not a Zechariah.; int2 & sent4 -> int3: the firkin does not hand machilid.; sent3 -> int4: the firkin hands machilid if the fact that it does not hands machilid and it is nonresidential is wrong.; sent2 -> int5: the firkin is collagenous.;
the fact that the technician is a kind of a Ulster is right.
sent5 -> int6: if the backup is not nonresidential it is collagenous and it does not hand machilid.;
$hypothesis$ = the technician is not a kind of a Ulster. ; $context$ = sent1: there is something such that it is not unshockable but a Zechariah. sent2: the firkin is a kind of a mission that is collagenous. sent3: something does hand machilid if the fact that it does not hand machilid and is nonresidential is not true. sent4: the firkin does not hand machilid if something is shockable and is not a Zechariah. sent5: something is collagenous and does not hand machilid if it is not nonresidential. sent6: the backup is not unshockable and it is not a Zechariah if the technician is a Ulster. ; $proof$ = 
void -> assump1: Let's assume that the technician is a Ulster.; sent6 & assump1 -> int1: the backup is not unshockable and not a Zechariah.; int1 -> int2: there is something such that it is not unshockable and is not a Zechariah.; int2 & sent4 -> int3: the firkin does not hand machilid.; sent3 -> int4: the firkin hands machilid if the fact that it does not hands machilid and it is nonresidential is wrong.; sent2 -> int5: the firkin is collagenous.; __UNKNOWN__