the gobbet is not a kind of a Genoese.
sent1: if the see quarantines that the meconium does not study Oahu and is a kind of a gambist does not hold. sent2: if the see is not a quarantine it does not study Oahu. sent3: the fact that the meconium does handle and it is a Bourse does not hold. sent4: if the gobbet studies Oahu the copperplate studies Oahu. sent5: if something is a gambist then it is Genoese. sent6: the see is not a quarantine if the meconium is a Bourse. sent7: there exists something such that it is not a Taracahitian. sent8: the fact that the see does not quarantine is correct if that the meconium is a kind of a handle but it is not a Bourse is not correct. sent9: if the frosting is a kind of an equivalence then the fact that the setting is not a kind of a Taracahitian but it is Tajikistani is not correct. sent10: something is a Taracahitian if the fact that it is not a Taracahitian and is Tajikistani is incorrect. sent11: if the fact that the gobbet is not a gambist is true that the meconium is a handle but it is not a Bourse is not right. sent12: if the meconium is both not a quarantine and not a Genoese then the gobbet is not a Genoese. sent13: the see does study Oahu if the fact that it is both a Taracahitian and not Tajikistani is incorrect. sent14: if the see is not a Taracahitian then it does study Oahu. sent15: if the see is not a Taracahitian then the fact that the gobbet is a quarantine that is not a Genoese is not right. sent16: the fact that the see is a kind of a Taracahitian but it is not Tajikistani is not true if something is not a kind of a Taracahitian. sent17: the gobbet studies Oahu if that the meconium does not studies Oahu and is a gambist is not true. sent18: that the see is a Bourse that is not a quarantine is not right.
void -> assump1: Let's assume that the gobbet is not a gambist.; sent11 & assump1 -> int1: that the meconium is a kind of a handle that is not a Bourse is wrong.; int1 & sent8 -> int2: the see does not quarantine.; int2 & sent2 -> int3: the see does not study Oahu.; sent7 & sent16 -> int4: the fact that the see is a Taracahitian but not Tajikistani is not true.; sent13 & int4 -> int5: the see studies Oahu.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gobbet is a gambist.; sent5 -> int8: the gobbet is a Genoese if it is a kind of a gambist.; int7 & int8 -> hypothesis;
the gobbet is not a kind of a Genoese.
$hypothesis$ = the gobbet is not a kind of a Genoese. ; $context$ = sent1: if the see quarantines that the meconium does not study Oahu and is a kind of a gambist does not hold. sent2: if the see is not a quarantine it does not study Oahu. sent3: the fact that the meconium does handle and it is a Bourse does not hold. sent4: if the gobbet studies Oahu the copperplate studies Oahu. sent5: if something is a gambist then it is Genoese. sent6: the see is not a quarantine if the meconium is a Bourse. sent7: there exists something such that it is not a Taracahitian. sent8: the fact that the see does not quarantine is correct if that the meconium is a kind of a handle but it is not a Bourse is not correct. sent9: if the frosting is a kind of an equivalence then the fact that the setting is not a kind of a Taracahitian but it is Tajikistani is not correct. sent10: something is a Taracahitian if the fact that it is not a Taracahitian and is Tajikistani is incorrect. sent11: if the fact that the gobbet is not a gambist is true that the meconium is a handle but it is not a Bourse is not right. sent12: if the meconium is both not a quarantine and not a Genoese then the gobbet is not a Genoese. sent13: the see does study Oahu if the fact that it is both a Taracahitian and not Tajikistani is incorrect. sent14: if the see is not a Taracahitian then it does study Oahu. sent15: if the see is not a Taracahitian then the fact that the gobbet is a quarantine that is not a Genoese is not right. sent16: the fact that the see is a kind of a Taracahitian but it is not Tajikistani is not true if something is not a kind of a Taracahitian. sent17: the gobbet studies Oahu if that the meconium does not studies Oahu and is a gambist is not true. sent18: that the see is a Bourse that is not a quarantine is not right. ; $proof$ = 
void -> assump1: Let's assume that the gobbet is not a gambist.; sent11 & assump1 -> int1: that the meconium is a kind of a handle that is not a Bourse is wrong.; int1 & sent8 -> int2: the see does not quarantine.; int2 & sent2 -> int3: the see does not study Oahu.; sent7 & sent16 -> int4: the fact that the see is a Taracahitian but not Tajikistani is not true.; sent13 & int4 -> int5: the see studies Oahu.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gobbet is a gambist.; sent5 -> int8: the gobbet is a Genoese if it is a kind of a gambist.; int7 & int8 -> hypothesis; __DISPROVED__