the shotgun poultices Laredo.
sent1: if the fiancee does not multiply cardioid the fact that the shotgun is not a nonperson and is a sweet is not true. sent2: if the shotgun does patronage Alcott then the fact that the Nazarene is not a sweet and is a nonperson does not hold. sent3: something multiplies cardioid if it is a kind of a Hussein. sent4: that the fiancee does not multiply cardioid is not false if it is not a Hussein. sent5: the shotgun is sweet and patronages Alcott. sent6: if the fact that something does not patronage Alcott is not incorrect then it is not a kind of a sweet. sent7: the fiancee is not a Hussein. sent8: that if the shotgun does not multiply cardioid then that the fiancee is not a nonperson and is sweet does not hold is not wrong. sent9: if the fact that the Nazarene is not sweet but it is a nonperson is wrong it is a sweet.
sent5 -> int1: the shotgun is a sweet.; void -> assump1: Let's assume that the fact that the shotgun is not a nonperson is not false.; int1 & assump1 -> int2: the shotgun is not a kind of a nonperson and is a sweet.; sent4 & sent7 -> int3: the fiancee does not multiply cardioid.; sent1 & int3 -> int4: that the shotgun is not a nonperson and is sweet does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shotgun is a nonperson.;
the Nazarene is a kind of a sweet.
$hypothesis$ = the shotgun poultices Laredo. ; $context$ = sent1: if the fiancee does not multiply cardioid the fact that the shotgun is not a nonperson and is a sweet is not true. sent2: if the shotgun does patronage Alcott then the fact that the Nazarene is not a sweet and is a nonperson does not hold. sent3: something multiplies cardioid if it is a kind of a Hussein. sent4: that the fiancee does not multiply cardioid is not false if it is not a Hussein. sent5: the shotgun is sweet and patronages Alcott. sent6: if the fact that something does not patronage Alcott is not incorrect then it is not a kind of a sweet. sent7: the fiancee is not a Hussein. sent8: that if the shotgun does not multiply cardioid then that the fiancee is not a nonperson and is sweet does not hold is not wrong. sent9: if the fact that the Nazarene is not sweet but it is a nonperson is wrong it is a sweet. ; $proof$ = 
sent5 -> int1: the shotgun is a sweet.; void -> assump1: Let's assume that the fact that the shotgun is not a nonperson is not false.; int1 & assump1 -> int2: the shotgun is not a kind of a nonperson and is a sweet.; sent4 & sent7 -> int3: the fiancee does not multiply cardioid.; sent1 & int3 -> int4: that the shotgun is not a nonperson and is sweet does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shotgun is a nonperson.; __UNKNOWN__