the fact that the oxidation-reduction is not a chrism and does glom psilomelane does not hold.
sent1: the wheatflake is not mesic. sent2: if the fact that the pistol is a kind of non-cleaning thing that does not appropriate OV does not hold the bohrium is not mesic. sent3: the wheatflake gloms psilomelane if it is trapezoidal. sent4: if the bohrium is trapezoidal and it does skip Phoenician then the wheatflake does not skip Phoenician. sent5: the wheatflake is a chrism. sent6: the solitaire is a kind of a periosteum if it does not skip Phoenician. sent7: if the wheatflake is not a chrism then the oxidation-reduction is not trapezoidal. sent8: the bohrium is trapezoidal and does skip Phoenician if it is not mesic. sent9: the solitaire does not glom psilomelane if the oxidation-reduction does not skip Phoenician. sent10: if something does not skip Phoenician the fact that it is a periosteum and does glom psilomelane does not hold. sent11: the wheatflake is mesic if that it is trapezoidal is not incorrect. sent12: the oxidation-reduction is not a kind of a chrism. sent13: the solitaire does not skip Phoenician if the fact that the oxidation-reduction is not a chrism but it does glom psilomelane does not hold. sent14: the wheatflake is not a kind of a backlog. sent15: the wheatflake is trapezoidal if the solitaire is a kind of a periosteum. sent16: the wheatflake is not a kind of a periosteum. sent17: if the oxidation-reduction does glom psilomelane it is a periosteum.
void -> assump1: Let's assume that that the oxidation-reduction is not a chrism and gloms psilomelane is not right.; sent13 & assump1 -> int1: the solitaire does not skip Phoenician.; int1 & sent6 -> int2: the solitaire is a periosteum.; int2 & sent15 -> int3: the wheatflake is trapezoidal.; int3 & sent11 -> int4: the wheatflake is mesic.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that the oxidation-reduction is not a kind of a chrism but it gloms psilomelane is wrong.
sent10 -> int6: if the wheatflake does not skip Phoenician the fact that it is a periosteum and it does glom psilomelane is not right.;
$hypothesis$ = the fact that the oxidation-reduction is not a chrism and does glom psilomelane does not hold. ; $context$ = sent1: the wheatflake is not mesic. sent2: if the fact that the pistol is a kind of non-cleaning thing that does not appropriate OV does not hold the bohrium is not mesic. sent3: the wheatflake gloms psilomelane if it is trapezoidal. sent4: if the bohrium is trapezoidal and it does skip Phoenician then the wheatflake does not skip Phoenician. sent5: the wheatflake is a chrism. sent6: the solitaire is a kind of a periosteum if it does not skip Phoenician. sent7: if the wheatflake is not a chrism then the oxidation-reduction is not trapezoidal. sent8: the bohrium is trapezoidal and does skip Phoenician if it is not mesic. sent9: the solitaire does not glom psilomelane if the oxidation-reduction does not skip Phoenician. sent10: if something does not skip Phoenician the fact that it is a periosteum and does glom psilomelane does not hold. sent11: the wheatflake is mesic if that it is trapezoidal is not incorrect. sent12: the oxidation-reduction is not a kind of a chrism. sent13: the solitaire does not skip Phoenician if the fact that the oxidation-reduction is not a chrism but it does glom psilomelane does not hold. sent14: the wheatflake is not a kind of a backlog. sent15: the wheatflake is trapezoidal if the solitaire is a kind of a periosteum. sent16: the wheatflake is not a kind of a periosteum. sent17: if the oxidation-reduction does glom psilomelane it is a periosteum. ; $proof$ = 
void -> assump1: Let's assume that that the oxidation-reduction is not a chrism and gloms psilomelane is not right.; sent13 & assump1 -> int1: the solitaire does not skip Phoenician.; int1 & sent6 -> int2: the solitaire is a periosteum.; int2 & sent15 -> int3: the wheatflake is trapezoidal.; int3 & sent11 -> int4: the wheatflake is mesic.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__