the Mattole is not a twist.
sent1: the gipsywort is portable and twists. sent2: if the gipsywort does not sear the sarsaparilla does not proliferate aroma. sent3: the Mattole is not unportable and/or it does twist. sent4: if the gipsywort does proliferate aroma and sears the Mattole does not proliferate Iwo. sent5: the sarsaparilla does proliferate aroma and it is unportable. sent6: the gipsywort sears and it does proliferate aroma. sent7: the fact that the sarsaparilla does not proliferate aroma is true if either the gipsywort does not sear or it does proliferate Iwo or both. sent8: the gipsywort does proliferate aroma if it does twist. sent9: the sarsaparilla does not proliferate aroma or it does proliferate Iwo or both. sent10: that the Mattole is not a twist is not wrong if the gipsywort does not proliferate Iwo.
void -> assump1: Let's assume that the gipsywort proliferates Iwo.; assump1 -> int1: either the gipsywort does not sear or it does proliferate Iwo or both.; int1 & sent7 -> int2: the sarsaparilla does not proliferate aroma.; sent5 -> int3: the sarsaparilla does proliferate aroma.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the gipsywort does not proliferate Iwo is not incorrect.; int5 & sent10 -> hypothesis;
the Mattole does not proliferate Iwo.
sent1 -> int6: the fact that the gipsywort twists hold.; sent8 & int6 -> int7: the gipsywort does proliferate aroma.;
$hypothesis$ = the Mattole is not a twist. ; $context$ = sent1: the gipsywort is portable and twists. sent2: if the gipsywort does not sear the sarsaparilla does not proliferate aroma. sent3: the Mattole is not unportable and/or it does twist. sent4: if the gipsywort does proliferate aroma and sears the Mattole does not proliferate Iwo. sent5: the sarsaparilla does proliferate aroma and it is unportable. sent6: the gipsywort sears and it does proliferate aroma. sent7: the fact that the sarsaparilla does not proliferate aroma is true if either the gipsywort does not sear or it does proliferate Iwo or both. sent8: the gipsywort does proliferate aroma if it does twist. sent9: the sarsaparilla does not proliferate aroma or it does proliferate Iwo or both. sent10: that the Mattole is not a twist is not wrong if the gipsywort does not proliferate Iwo. ; $proof$ = 
void -> assump1: Let's assume that the gipsywort proliferates Iwo.; assump1 -> int1: either the gipsywort does not sear or it does proliferate Iwo or both.; int1 & sent7 -> int2: the sarsaparilla does not proliferate aroma.; sent5 -> int3: the sarsaparilla does proliferate aroma.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the gipsywort does not proliferate Iwo is not incorrect.; int5 & sent10 -> hypothesis; __PROVED__