the fact that if the C is not a badness then the fact that the guanaco is not a encomium and it does not bear guanaco does not hold is not right.
sent1: the Gypsy does bear guanaco if the C is not a kind of a badness. sent2: the fact that the fact that the C is both a badness and not a encomium is not right is not false. sent3: if that the Gypsy bears guanaco is not incorrect then that the guanaco is not a encomium and does not bears guanaco does not hold. sent4: the C is not a trichromacy but unargumentative if the Gypsy outshouts seamanship. sent5: that something is not non-congestive but it does not even thermoplastic is wrong if it outshouts Quebec. sent6: the affiant is not a kind of a encomium if something does not bear guanaco and/or it is not a badness. sent7: if the fact that the guanaco is congestive but it does not even thermoplastic is not true the Gypsy is not perinasal. sent8: the guanaco does outshout Quebec. sent9: if something is not perinasal then it does outshout seamanship and does not outshout Etropus. sent10: if something is a kind of a showboat then it does not bear guanaco and/or is not a kind of a badness. sent11: if something is not a trichromacy but unargumentative then it is a kind of a showboat.
void -> assump1: Let's assume that the C is not a badness.; sent1 & assump1 -> int1: the Gypsy bears guanaco.; sent3 & int1 -> int2: that the guanaco is not a encomium and it does not bear guanaco is false.; [assump1] & int2 -> hypothesis;
the affiant is not a encomium.
sent10 -> int3: the C does not bear guanaco or it is not a badness or both if that it is a showboat is not wrong.; sent11 -> int4: the C is a showboat if it is not a kind of a trichromacy and it is not argumentative.; sent9 -> int5: if the Gypsy is not perinasal it outshouts seamanship and does not outshout Etropus.; sent5 -> int6: if the guanaco outshouts Quebec then that it is congestive and it does not even thermoplastic is not right.; int6 & sent8 -> int7: the fact that the guanaco is not non-congestive but it does not even thermoplastic is not right.; sent7 & int7 -> int8: the Gypsy is not perinasal.; int5 & int8 -> int9: the Gypsy does outshout seamanship and does not outshout Etropus.; int9 -> int10: the Gypsy does outshout seamanship.; sent4 & int10 -> int11: the C is not a trichromacy but it is unargumentative.; int4 & int11 -> int12: the C is a showboat.; int3 & int12 -> int13: the C does not bear guanaco and/or it is not a kind of a badness.; int13 -> int14: something does not bear guanaco and/or is not a badness.; int14 & sent6 -> hypothesis;
$hypothesis$ = the fact that if the C is not a badness then the fact that the guanaco is not a encomium and it does not bear guanaco does not hold is not right. ; $context$ = sent1: the Gypsy does bear guanaco if the C is not a kind of a badness. sent2: the fact that the fact that the C is both a badness and not a encomium is not right is not false. sent3: if that the Gypsy bears guanaco is not incorrect then that the guanaco is not a encomium and does not bears guanaco does not hold. sent4: the C is not a trichromacy but unargumentative if the Gypsy outshouts seamanship. sent5: that something is not non-congestive but it does not even thermoplastic is wrong if it outshouts Quebec. sent6: the affiant is not a kind of a encomium if something does not bear guanaco and/or it is not a badness. sent7: if the fact that the guanaco is congestive but it does not even thermoplastic is not true the Gypsy is not perinasal. sent8: the guanaco does outshout Quebec. sent9: if something is not perinasal then it does outshout seamanship and does not outshout Etropus. sent10: if something is a kind of a showboat then it does not bear guanaco and/or is not a kind of a badness. sent11: if something is not a trichromacy but unargumentative then it is a kind of a showboat. ; $proof$ = 
void -> assump1: Let's assume that the C is not a badness.; sent1 & assump1 -> int1: the Gypsy bears guanaco.; sent3 & int1 -> int2: that the guanaco is not a encomium and it does not bear guanaco is false.; [assump1] & int2 -> hypothesis; __DISPROVED__