the fact that there is something such that the fact that it is not a haggle and it is not non-collarless is not true does not hold.
sent1: the petticoat is not inharmonious. sent2: the floater is not inharmonious and not empirical. sent3: the petticoat is not Wiccan if the floater is a kind of harmonious thing that is not empirical. sent4: the fact that the floater is a marri and inharmonious is false. sent5: if something is not a kind of a Wiccan that it is not a haggle and is collarless is not true.
sent5 -> int1: if the petticoat is not Wiccan then that it is both not a haggle and collarless is wrong.; sent3 & sent2 -> int2: the petticoat is not Wiccan.; int1 & int2 -> int3: that the petticoat is not a haggle but collarless is wrong.; int3 -> hypothesis;
$hypothesis$ = the fact that there is something such that the fact that it is not a haggle and it is not non-collarless is not true does not hold. ; $context$ = sent1: the petticoat is not inharmonious. sent2: the floater is not inharmonious and not empirical. sent3: the petticoat is not Wiccan if the floater is a kind of harmonious thing that is not empirical. sent4: the fact that the floater is a marri and inharmonious is false. sent5: if something is not a kind of a Wiccan that it is not a haggle and is collarless is not true. ; $proof$ = 
sent5 -> int1: if the petticoat is not Wiccan then that it is both not a haggle and collarless is wrong.; sent3 & sent2 -> int2: the petticoat is not Wiccan.; int1 & int2 -> int3: that the petticoat is not a haggle but collarless is wrong.; int3 -> hypothesis; __DISPROVED__