the hemin is not serviceable.
sent1: if the stinger does not pour but it is adequate that the ponderosa is a Cronyn is right. sent2: the mainland does not pour. sent3: the fact that the ponderosa does not fornicate is true. sent4: the fact that if the fact that something is not a Cronyn and it is not serviceable is false it is serviceable is not wrong. sent5: the mainland Frenches devising. sent6: the ponderosa is adequate. sent7: The devising Frenches mainland. sent8: if the fact that the stinger does not pour and is adequate does not hold then it is not serviceable. sent9: the stinger does not pour. sent10: if the ponderosa is a kind of a Saccharum the mainland does not French devising. sent11: if the stinger does pour it is unserviceable. sent12: a Cronyn is a Saccharum. sent13: the hemin does fornicate but it is not serviceable if the stinger is not serviceable.
void -> assump1: Let's assume that the stinger does not pour but it is not inadequate.; sent1 & assump1 -> int1: the ponderosa is a kind of a Cronyn.; sent12 -> int2: if the ponderosa is a kind of a Cronyn then it is a Saccharum.; int1 & int2 -> int3: the ponderosa is a kind of a Saccharum.; int3 & sent10 -> int4: the mainland does not French devising.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the stinger does not pour but it is adequate is wrong.; int6 & sent8 -> int7: the stinger is not serviceable.; int7 & sent13 -> int8: the hemin does fornicate but it is not serviceable.; int8 -> hypothesis;
the hemin is serviceable.
sent4 -> int9: the hemin is serviceable if the fact that it is not a kind of a Cronyn and it is not serviceable is wrong.;
$hypothesis$ = the hemin is not serviceable. ; $context$ = sent1: if the stinger does not pour but it is adequate that the ponderosa is a Cronyn is right. sent2: the mainland does not pour. sent3: the fact that the ponderosa does not fornicate is true. sent4: the fact that if the fact that something is not a Cronyn and it is not serviceable is false it is serviceable is not wrong. sent5: the mainland Frenches devising. sent6: the ponderosa is adequate. sent7: The devising Frenches mainland. sent8: if the fact that the stinger does not pour and is adequate does not hold then it is not serviceable. sent9: the stinger does not pour. sent10: if the ponderosa is a kind of a Saccharum the mainland does not French devising. sent11: if the stinger does pour it is unserviceable. sent12: a Cronyn is a Saccharum. sent13: the hemin does fornicate but it is not serviceable if the stinger is not serviceable. ; $proof$ = 
void -> assump1: Let's assume that the stinger does not pour but it is not inadequate.; sent1 & assump1 -> int1: the ponderosa is a kind of a Cronyn.; sent12 -> int2: if the ponderosa is a kind of a Cronyn then it is a Saccharum.; int1 & int2 -> int3: the ponderosa is a kind of a Saccharum.; int3 & sent10 -> int4: the mainland does not French devising.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the stinger does not pour but it is adequate is wrong.; int6 & sent8 -> int7: the stinger is not serviceable.; int7 & sent13 -> int8: the hemin does fornicate but it is not serviceable.; int8 -> hypothesis; __PROVED__