the gazetteer unclothes truss.
sent1: something is not a prospectus if it horns cougar. sent2: that the ribavirin does not granulate is not wrong if the fact that it is a kind of a caruncle that does stow deceleration is not true. sent3: the tear is not tetanic. sent4: the fact that something does unclothe sauce-alone but it is not a prospectus is not wrong if it does horn cougar. sent5: the ribavirin does not granulate if it is not a kind of a caruncle. sent6: the fact that the tear unclothes sauce-alone and is not a prospectus is not true if it is not tetanic. sent7: if the ribavirin either does not granulate or is unwary or both the gazetteer does unclothe truss. sent8: if the tear does horn cougar it is not a prospectus.
sent4 -> int1: if the tear does horn cougar it does unclothe sauce-alone and it is not a kind of a prospectus.; void -> assump1: Let's assume that the tear does horn cougar.; int1 & assump1 -> int2: the tear does unclothe sauce-alone but it is not a kind of a prospectus.; sent6 & sent3 -> int3: the fact that the tear unclothes sauce-alone and is not a prospectus is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tear does not horn cougar.;
$hypothesis$ = the gazetteer unclothes truss. ; $context$ = sent1: something is not a prospectus if it horns cougar. sent2: that the ribavirin does not granulate is not wrong if the fact that it is a kind of a caruncle that does stow deceleration is not true. sent3: the tear is not tetanic. sent4: the fact that something does unclothe sauce-alone but it is not a prospectus is not wrong if it does horn cougar. sent5: the ribavirin does not granulate if it is not a kind of a caruncle. sent6: the fact that the tear unclothes sauce-alone and is not a prospectus is not true if it is not tetanic. sent7: if the ribavirin either does not granulate or is unwary or both the gazetteer does unclothe truss. sent8: if the tear does horn cougar it is not a prospectus. ; $proof$ = 
sent4 -> int1: if the tear does horn cougar it does unclothe sauce-alone and it is not a kind of a prospectus.; void -> assump1: Let's assume that the tear does horn cougar.; int1 & assump1 -> int2: the tear does unclothe sauce-alone but it is not a kind of a prospectus.; sent6 & sent3 -> int3: the fact that the tear unclothes sauce-alone and is not a prospectus is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tear does not horn cougar.; __UNKNOWN__