the sheepskin is not efficacious.
sent1: that the Porter is tinny and is an integrity does not hold. sent2: the Porter is sonic if it is a desperado. sent3: if the fact that the Porter is not a Jersey and/or is noncombustible is wrong the sheepskin is not efficacious. sent4: the Porter is a Jersey. sent5: if that something is a kind of immortal thing that is not a desperado is not right it is sonic. sent6: that something is not mortal and it is not a desperado does not hold if it is not a kind of a prostate. sent7: that the Porter is non-tinny thing that is a kind of an integrity is not true. sent8: if that the Porter is not tinny but it is an integrity does not hold then the fact that it is not a kind of a prostate is not wrong. sent9: if something is not non-sonic that either it is not a Jersey or it is noncombustible or both is incorrect.
sent6 -> int1: that the Porter is immortal and not a desperado is incorrect if it is not prostate.; sent8 & sent7 -> int2: the Porter is not a kind of a prostate.; int1 & int2 -> int3: that the Porter is non-mortal thing that is not a desperado is not right.; sent5 -> int4: the Porter is sonic if the fact that it is both not mortal and not a desperado is wrong.; int3 & int4 -> int5: the Porter is sonic.; sent9 -> int6: that the fact that either the Porter is not a Jersey or it is noncombustible or both is not correct hold if it is sonic.; int5 & int6 -> int7: that the Porter is not a kind of a Jersey and/or it is noncombustible is wrong.; int7 & sent3 -> hypothesis;
$hypothesis$ = the sheepskin is not efficacious. ; $context$ = sent1: that the Porter is tinny and is an integrity does not hold. sent2: the Porter is sonic if it is a desperado. sent3: if the fact that the Porter is not a Jersey and/or is noncombustible is wrong the sheepskin is not efficacious. sent4: the Porter is a Jersey. sent5: if that something is a kind of immortal thing that is not a desperado is not right it is sonic. sent6: that something is not mortal and it is not a desperado does not hold if it is not a kind of a prostate. sent7: that the Porter is non-tinny thing that is a kind of an integrity is not true. sent8: if that the Porter is not tinny but it is an integrity does not hold then the fact that it is not a kind of a prostate is not wrong. sent9: if something is not non-sonic that either it is not a Jersey or it is noncombustible or both is incorrect. ; $proof$ = 
sent6 -> int1: that the Porter is immortal and not a desperado is incorrect if it is not prostate.; sent8 & sent7 -> int2: the Porter is not a kind of a prostate.; int1 & int2 -> int3: that the Porter is non-mortal thing that is not a desperado is not right.; sent5 -> int4: the Porter is sonic if the fact that it is both not mortal and not a desperado is wrong.; int3 & int4 -> int5: the Porter is sonic.; sent9 -> int6: that the fact that either the Porter is not a Jersey or it is noncombustible or both is not correct hold if it is sonic.; int5 & int6 -> int7: that the Porter is not a kind of a Jersey and/or it is noncombustible is wrong.; int7 & sent3 -> hypothesis; __PROVED__