that the soubrette does tribulate Urocyon if the packinghouse is hypotensive does not hold.
sent1: the soubrette is indissoluble if the fact that it is not a hypotensive and it is citrous is false. sent2: if something is not citrous then it tribulates Urocyon. sent3: if the soubrette is non-citrous it does tribulate Urocyon. sent4: if that something is both not indissoluble and citrous does not hold then it tribulates Urocyon. sent5: the packinghouse is citrous if the soubrette is a kind of a hypotensive. sent6: that the soubrette is off-street is correct. sent7: the fact that the soubrette is not indissoluble and is citrous is not right if the packinghouse is a hypotensive. sent8: something is citrous if the fact that it does not clamor soubrette and it does splutter does not hold.
void -> assump1: Let's assume that the packinghouse is a kind of a hypotensive.; sent7 & assump1 -> int1: that the soubrette is both not indissoluble and citrous does not hold.; sent4 -> int2: the soubrette does tribulate Urocyon if the fact that it is not indissoluble and it is citrous is not true.; int1 & int2 -> int3: the soubrette does tribulate Urocyon.; [assump1] & int3 -> hypothesis;
the scholar is citrous if that it does not clamor soubrette and does splutter is not true.
sent8 -> hypothesis;
$hypothesis$ = that the soubrette does tribulate Urocyon if the packinghouse is hypotensive does not hold. ; $context$ = sent1: the soubrette is indissoluble if the fact that it is not a hypotensive and it is citrous is false. sent2: if something is not citrous then it tribulates Urocyon. sent3: if the soubrette is non-citrous it does tribulate Urocyon. sent4: if that something is both not indissoluble and citrous does not hold then it tribulates Urocyon. sent5: the packinghouse is citrous if the soubrette is a kind of a hypotensive. sent6: that the soubrette is off-street is correct. sent7: the fact that the soubrette is not indissoluble and is citrous is not right if the packinghouse is a hypotensive. sent8: something is citrous if the fact that it does not clamor soubrette and it does splutter does not hold. ; $proof$ = 
void -> assump1: Let's assume that the packinghouse is a kind of a hypotensive.; sent7 & assump1 -> int1: that the soubrette is both not indissoluble and citrous does not hold.; sent4 -> int2: the soubrette does tribulate Urocyon if the fact that it is not indissoluble and it is citrous is not true.; int1 & int2 -> int3: the soubrette does tribulate Urocyon.; [assump1] & int3 -> hypothesis; __DISPROVED__