the fact that the innocent does jam kosher or does trepan barbell or both does not hold.
sent1: if the educationist is not real that the tetrafluoroethylene is a Nation and it is an impressionist is wrong. sent2: if that something is a Nation and it is a kind of an impressionist is not true it is not impressionist. sent3: the educationist is a kind of a Nation. sent4: the fact that the innocent jams kosher or does trepan barbell or both is not right if the tetrafluoroethylene is not a kind of a real. sent5: the innocent jams kosher and/or is unreal. sent6: if the tetrafluoroethylene is not impressionist the lumper is not a kind of an impressionist. sent7: the tetrafluoroethylene is not real if the fact that it is not a kind of an impressionist and/or it is not valid is false. sent8: the educationist is not a Nation if the tetrafluoroethylene is not impressionist or not valid or both.
void -> assump1: Let's assume that the tetrafluoroethylene is not impressionist and/or it is not valid.; sent8 & assump1 -> int1: the educationist is not a Nation.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the tetrafluoroethylene is not impressionist or it is invalid or both does not hold.; int3 & sent7 -> int4: the tetrafluoroethylene is not a kind of a real.; int4 & sent4 -> hypothesis;
the lumper is not an impressionist.
sent2 -> int5: if the fact that the fact that the tetrafluoroethylene is a Nation and it is an impressionist does not hold is not incorrect it is not an impressionist.;
$hypothesis$ = the fact that the innocent does jam kosher or does trepan barbell or both does not hold. ; $context$ = sent1: if the educationist is not real that the tetrafluoroethylene is a Nation and it is an impressionist is wrong. sent2: if that something is a Nation and it is a kind of an impressionist is not true it is not impressionist. sent3: the educationist is a kind of a Nation. sent4: the fact that the innocent jams kosher or does trepan barbell or both is not right if the tetrafluoroethylene is not a kind of a real. sent5: the innocent jams kosher and/or is unreal. sent6: if the tetrafluoroethylene is not impressionist the lumper is not a kind of an impressionist. sent7: the tetrafluoroethylene is not real if the fact that it is not a kind of an impressionist and/or it is not valid is false. sent8: the educationist is not a Nation if the tetrafluoroethylene is not impressionist or not valid or both. ; $proof$ = 
void -> assump1: Let's assume that the tetrafluoroethylene is not impressionist and/or it is not valid.; sent8 & assump1 -> int1: the educationist is not a Nation.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the tetrafluoroethylene is not impressionist or it is invalid or both does not hold.; int3 & sent7 -> int4: the tetrafluoroethylene is not a kind of a real.; int4 & sent4 -> hypothesis; __PROVED__