the oscillation does not prop hatemonger if the shredder is concessive.
sent1: if the shredder props hatemonger then the oscillation does not props hatemonger and it is not concessive. sent2: if something props hatemonger and/or is basinal then it is not concessive. sent3: the Siamese does not prop hatemonger. sent4: if that something is a hollow and it is fathomable is false then it is not a hollow. sent5: if the oscillation is concessive the shredder is not concessive. sent6: if the shredder is concessive it is fathomable. sent7: the oscillation does not prop hatemonger if the shredder does prop hatemonger. sent8: that the State is not a Appalachian is not incorrect. sent9: the oscillation is non-concessive thing that is fathomable. sent10: if something is not a kind of a Appalachian the fact that it is a hollow and it is fathomable is incorrect.
void -> assump1: Let's assume that the shredder is concessive.; sent6 & assump1 -> int1: the shredder is fathomable.;
the State is non-concessive thing that is not a kind of a hollow.
sent4 -> int2: if that that the State is a kind of hollow thing that is fathomable is true is false then it is not a hollow.; sent10 -> int3: if the State is not Appalachian then that it does hollow and it is fathomable is not correct.; sent8 & int3 -> int4: that the State does hollow and it is fathomable does not hold.; int2 & int4 -> int5: the State is not a hollow.; sent2 -> int6: that the shredder is not concessive is true if it does prop hatemonger and/or it is basinal.;
$hypothesis$ = the oscillation does not prop hatemonger if the shredder is concessive. ; $context$ = sent1: if the shredder props hatemonger then the oscillation does not props hatemonger and it is not concessive. sent2: if something props hatemonger and/or is basinal then it is not concessive. sent3: the Siamese does not prop hatemonger. sent4: if that something is a hollow and it is fathomable is false then it is not a hollow. sent5: if the oscillation is concessive the shredder is not concessive. sent6: if the shredder is concessive it is fathomable. sent7: the oscillation does not prop hatemonger if the shredder does prop hatemonger. sent8: that the State is not a Appalachian is not incorrect. sent9: the oscillation is non-concessive thing that is fathomable. sent10: if something is not a kind of a Appalachian the fact that it is a hollow and it is fathomable is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the shredder is concessive.; sent6 & assump1 -> int1: the shredder is fathomable.; __UNKNOWN__