the fact that the fact that the psychic is not a extraneousness but a grade is not right if the gametoecium is not a Ham does not hold.
sent1: the candlemaker is both a feist and a true if the gametoecium is not a Ham. sent2: that the psychic is a extraneousness and it is a grade is false. sent3: that the psychic is a extraneousness and it grades does not hold if the candlemaker is a feist. sent4: the gametoecium does grade. sent5: the modifier is not a feist. sent6: the fact that the gametoecium is both not a true and a Ham does not hold. sent7: the candlemaker is a grade and it is a kind of a true. sent8: the psychic is not a extraneousness and is a grade if the gametoecium is not a Ham. sent9: that the psychic is not a kind of a extraneousness and grades is incorrect if the candlemaker is a feist. sent10: that the psychic is not a kind of a Ham and is a extraneousness is not true if the gametoecium is a kind of a feist. sent11: if the candlemaker is not a extraneousness the psychic does true and it is a kind of a feist. sent12: the candlemaker does true if the gametoecium is not a Ham. sent13: the contractor grades. sent14: the fact that the psychic is both a extraneousness and a grade is false if the gametoecium is not a Ham. sent15: the candlemaker does true. sent16: if the gametoecium is a Ham the fact that the psychic is not a extraneousness and is a grade is not right. sent17: the candlemaker is a feist and true if the gametoecium is a kind of a Ham. sent18: the fact that the gametoecium does not grade and is a Ham is false if the psychic is not a kind of a feist.
void -> assump1: Let's assume that the fact that the gametoecium is not a Ham is not wrong.; sent1 & assump1 -> int1: the candlemaker is a feist and it trues.; int1 -> int2: the candlemaker is a feist.; int2 & sent9 -> int3: that the psychic is not a extraneousness but it is a grade is not true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the fact that the psychic is not a extraneousness but a grade is not right if the gametoecium is not a Ham does not hold. ; $context$ = sent1: the candlemaker is both a feist and a true if the gametoecium is not a Ham. sent2: that the psychic is a extraneousness and it is a grade is false. sent3: that the psychic is a extraneousness and it grades does not hold if the candlemaker is a feist. sent4: the gametoecium does grade. sent5: the modifier is not a feist. sent6: the fact that the gametoecium is both not a true and a Ham does not hold. sent7: the candlemaker is a grade and it is a kind of a true. sent8: the psychic is not a extraneousness and is a grade if the gametoecium is not a Ham. sent9: that the psychic is not a kind of a extraneousness and grades is incorrect if the candlemaker is a feist. sent10: that the psychic is not a kind of a Ham and is a extraneousness is not true if the gametoecium is a kind of a feist. sent11: if the candlemaker is not a extraneousness the psychic does true and it is a kind of a feist. sent12: the candlemaker does true if the gametoecium is not a Ham. sent13: the contractor grades. sent14: the fact that the psychic is both a extraneousness and a grade is false if the gametoecium is not a Ham. sent15: the candlemaker does true. sent16: if the gametoecium is a Ham the fact that the psychic is not a extraneousness and is a grade is not right. sent17: the candlemaker is a feist and true if the gametoecium is a kind of a Ham. sent18: the fact that the gametoecium does not grade and is a Ham is false if the psychic is not a kind of a feist. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gametoecium is not a Ham is not wrong.; sent1 & assump1 -> int1: the candlemaker is a feist and it trues.; int1 -> int2: the candlemaker is a feist.; int2 & sent9 -> int3: that the psychic is not a extraneousness but it is a grade is not true.; [assump1] & int3 -> hypothesis; __DISPROVED__