the gum is Pauline.
sent1: if the saponification does shampoo it is not a Balistidae and is a recessive. sent2: if the football is not a Majorana and is Amharic the Amazon is not a kind of a fatalist. sent3: the fact that the apostle is a kind of a relict is not incorrect if the Ball is a relict. sent4: that something is not taxonomic or not inappropriate or both is not true if it is not a Balistidae. sent5: the saponification does shampoo. sent6: something is a relict if it is not sigmoid. sent7: the football is not a kind of a Majorana but it is a Amharic if the gum is a Amharic. sent8: if the outrigger is a kind of a relict the caulk is a relict. sent9: if the caulk is a Majorana that does not dance aircrew then the Amazon is a kind of a Majorana. sent10: the outrigger is a relict if the apostle is a relict. sent11: if something is a relict that it is a kind of a Majorana that does not dance aircrew hold. sent12: if something does spring-clean outrigger then it is a Amharic. sent13: if the gum does not spring-clean outrigger but it is myelic then it is Pauline. sent14: the fact that the football is Amharic but it is not a fatalist does not hold if the Amazon is a Majorana. sent15: if there exists something such that the fact that it is not taxonomic and/or it is appropriate is false the Ball is not sigmoid. sent16: if the fact that something does not spring-clean outrigger but it is myelic does not hold it is Amharic.
sent16 -> int1: if that the gum does not spring-clean outrigger and is myelic is false then it is Amharic.; void -> assump1: Let's assume that the fact that the gum does not spring-clean outrigger and is myelic is wrong.; int1 & assump1 -> int2: the gum is a Amharic.; int2 & sent7 -> int3: the football is both not a Majorana and a Amharic.; int3 & sent2 -> int4: the Amazon is not a fatalist.;
the gum is not Pauline.
sent11 -> int5: if the caulk is a kind of a relict then it is a Majorana and it does not dance aircrew.; sent6 -> int6: if the Ball is not sigmoid then it is a kind of a relict.; sent4 -> int7: the fact that either the saponification is not taxonomic or it does appropriate or both is not right if it is not a Balistidae.; sent1 & sent5 -> int8: the saponification is not a Balistidae and is a recessive.; int8 -> int9: the saponification is not a Balistidae.; int7 & int9 -> int10: the fact that either the saponification is not taxonomic or it does appropriate or both is wrong.; int10 -> int11: there is something such that that it is not taxonomic and/or it does appropriate is incorrect.; int11 & sent15 -> int12: the Ball is not sigmoid.; int6 & int12 -> int13: the Ball is a relict.; sent3 & int13 -> int14: the apostle is a relict.; sent10 & int14 -> int15: the outrigger is a relict.; sent8 & int15 -> int16: the caulk is a relict.; int5 & int16 -> int17: the caulk is a kind of a Majorana but it does not dance aircrew.; sent9 & int17 -> int18: the Amazon is a Majorana.; sent14 & int18 -> int19: the fact that the football is a Amharic but it is not a fatalist is not correct.; int19 -> int20: there exists something such that that it is a Amharic and it is not a kind of a fatalist is not correct.;
$hypothesis$ = the gum is Pauline. ; $context$ = sent1: if the saponification does shampoo it is not a Balistidae and is a recessive. sent2: if the football is not a Majorana and is Amharic the Amazon is not a kind of a fatalist. sent3: the fact that the apostle is a kind of a relict is not incorrect if the Ball is a relict. sent4: that something is not taxonomic or not inappropriate or both is not true if it is not a Balistidae. sent5: the saponification does shampoo. sent6: something is a relict if it is not sigmoid. sent7: the football is not a kind of a Majorana but it is a Amharic if the gum is a Amharic. sent8: if the outrigger is a kind of a relict the caulk is a relict. sent9: if the caulk is a Majorana that does not dance aircrew then the Amazon is a kind of a Majorana. sent10: the outrigger is a relict if the apostle is a relict. sent11: if something is a relict that it is a kind of a Majorana that does not dance aircrew hold. sent12: if something does spring-clean outrigger then it is a Amharic. sent13: if the gum does not spring-clean outrigger but it is myelic then it is Pauline. sent14: the fact that the football is Amharic but it is not a fatalist does not hold if the Amazon is a Majorana. sent15: if there exists something such that the fact that it is not taxonomic and/or it is appropriate is false the Ball is not sigmoid. sent16: if the fact that something does not spring-clean outrigger but it is myelic does not hold it is Amharic. ; $proof$ = 
sent16 -> int1: if that the gum does not spring-clean outrigger and is myelic is false then it is Amharic.; void -> assump1: Let's assume that the fact that the gum does not spring-clean outrigger and is myelic is wrong.; int1 & assump1 -> int2: the gum is a Amharic.; int2 & sent7 -> int3: the football is both not a Majorana and a Amharic.; int3 & sent2 -> int4: the Amazon is not a fatalist.; __UNKNOWN__