the caroler is not a sweeping.
sent1: if the pointsman is tellurian and it is a bettong then the alcalde does not fix mentalism. sent2: the fact that the pointsman is sentient is not wrong. sent3: the fact that the alcalde is not non-shallow-draft is right if that the gulag is not a Lennon and is non-shallow-draft is wrong. sent4: the gulag is not wireless. sent5: if something is shallow-draft then it does fix mentalism. sent6: the fact that that the gulag is not a Lennon but it is shallow-draft is not true is right if it is not wireless. sent7: the pointsman is a kind of a bettong if that it is sentient is not wrong. sent8: the fact that the neomycin does article enemy and/or it is a mastoid is false if the pointsman is not a tellurian. sent9: if there exists something such that that it either articles enemy or is a kind of a mastoid or both is not true the caroler does not sweep.
sent7 & sent2 -> int1: the pointsman is a kind of a bettong.; void -> assump1: Let's assume that the pointsman is a tellurian.; int1 & assump1 -> int2: the pointsman is a kind of a tellurian and it is a bettong.; int2 & sent1 -> int3: the alcalde does not fix mentalism.; sent5 -> int4: the alcalde does fix mentalism if it is shallow-draft.; sent6 & sent4 -> int5: that the gulag is not a Lennon but it is shallow-draft is not correct.; sent3 & int5 -> int6: the alcalde is shallow-draft.; int4 & int6 -> int7: the alcalde fixes mentalism.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the pointsman is not a tellurian.; int9 & sent8 -> int10: that the neomycin articles enemy or it is a mastoid or both is not true.; int10 -> int11: there is something such that that it articles enemy and/or it is a kind of a mastoid does not hold.; int11 & sent9 -> hypothesis;
$hypothesis$ = the caroler is not a sweeping. ; $context$ = sent1: if the pointsman is tellurian and it is a bettong then the alcalde does not fix mentalism. sent2: the fact that the pointsman is sentient is not wrong. sent3: the fact that the alcalde is not non-shallow-draft is right if that the gulag is not a Lennon and is non-shallow-draft is wrong. sent4: the gulag is not wireless. sent5: if something is shallow-draft then it does fix mentalism. sent6: the fact that that the gulag is not a Lennon but it is shallow-draft is not true is right if it is not wireless. sent7: the pointsman is a kind of a bettong if that it is sentient is not wrong. sent8: the fact that the neomycin does article enemy and/or it is a mastoid is false if the pointsman is not a tellurian. sent9: if there exists something such that that it either articles enemy or is a kind of a mastoid or both is not true the caroler does not sweep. ; $proof$ = 
sent7 & sent2 -> int1: the pointsman is a kind of a bettong.; void -> assump1: Let's assume that the pointsman is a tellurian.; int1 & assump1 -> int2: the pointsman is a kind of a tellurian and it is a bettong.; int2 & sent1 -> int3: the alcalde does not fix mentalism.; sent5 -> int4: the alcalde does fix mentalism if it is shallow-draft.; sent6 & sent4 -> int5: that the gulag is not a Lennon but it is shallow-draft is not correct.; sent3 & int5 -> int6: the alcalde is shallow-draft.; int4 & int6 -> int7: the alcalde fixes mentalism.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the pointsman is not a tellurian.; int9 & sent8 -> int10: that the neomycin articles enemy or it is a mastoid or both is not true.; int10 -> int11: there is something such that that it articles enemy and/or it is a kind of a mastoid does not hold.; int11 & sent9 -> hypothesis; __PROVED__