the fact that the hagiographer is not a semi-climber is true.
sent1: if the scammony is not a kind of a mock then the regeneration does vex hardtack and is a kind of a intransitive. sent2: if the Alsatian is not a kind of a recompense the hagiographer does vex regeneration but it is not a recompense. sent3: something that does vex regeneration and is not a recompense is not a kind of a semi-climber. sent4: if something is a recompense then it is a semi-climber. sent5: if something does not pleach kwashiorkor but it is a kind of a Rasht it is not a kind of a intransitive. sent6: the scammony does not vex hardtack. sent7: the scammony is not a mock.
sent5 -> int1: the regeneration is not a intransitive if it does not pleach kwashiorkor and it is a Rasht.; void -> assump1: Let's assume that the regeneration does not pleach kwashiorkor but it is a Rasht.; int1 & assump1 -> int2: the regeneration is not a kind of a intransitive.; sent1 & sent7 -> int3: the regeneration vexes hardtack and is a intransitive.; int3 -> int4: the regeneration is intransitive.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the regeneration does not pleach kwashiorkor and is a Rasht is not correct.; sent3 -> int7: if the hagiographer vexes regeneration but it is not a recompense it is not a semi-climber.;
the hagiographer is a semi-climber.
sent4 -> int8: if the hagiographer is a kind of a recompense then it is a kind of a semi-climber.;
$hypothesis$ = the fact that the hagiographer is not a semi-climber is true. ; $context$ = sent1: if the scammony is not a kind of a mock then the regeneration does vex hardtack and is a kind of a intransitive. sent2: if the Alsatian is not a kind of a recompense the hagiographer does vex regeneration but it is not a recompense. sent3: something that does vex regeneration and is not a recompense is not a kind of a semi-climber. sent4: if something is a recompense then it is a semi-climber. sent5: if something does not pleach kwashiorkor but it is a kind of a Rasht it is not a kind of a intransitive. sent6: the scammony does not vex hardtack. sent7: the scammony is not a mock. ; $proof$ = 
sent5 -> int1: the regeneration is not a intransitive if it does not pleach kwashiorkor and it is a Rasht.; void -> assump1: Let's assume that the regeneration does not pleach kwashiorkor but it is a Rasht.; int1 & assump1 -> int2: the regeneration is not a kind of a intransitive.; sent1 & sent7 -> int3: the regeneration vexes hardtack and is a intransitive.; int3 -> int4: the regeneration is intransitive.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the regeneration does not pleach kwashiorkor and is a Rasht is not correct.; sent3 -> int7: if the hagiographer vexes regeneration but it is not a recompense it is not a semi-climber.; __UNKNOWN__