the weeper does not unbar saying if the transudate is not a Mysidae.
sent1: the fact that the weeper is non-ceramics thing that does not unbar talentlessness is not true if the transudate does not unbar saying. sent2: if the weeper unbars saying the fact that it is not a pinchgut and it is not unsocial is wrong. sent3: something is a Mysidae if it rends. sent4: the transudate rends if the fact that the weeper is not a kind of a pinchgut and it is not unsocial is not true.
void -> assump1: Let's assume that the weeper does unbar saying.; sent2 & assump1 -> int1: that the weeper is not a kind of a pinchgut and it is not unsocial is wrong.; int1 & sent4 -> int2: the transudate does rend.; sent3 -> int3: if the transudate rends then it is a Mysidae.; int2 & int3 -> int4: the transudate is a Mysidae.; void -> assump2: Let's assume that the transudate is not a Mysidae.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the weeper does not unbar saying is true.; [assump2] & int6 -> hypothesis;
the fact that the weeper is not a ceramics and does not unbar talentlessness is not right.
$hypothesis$ = the weeper does not unbar saying if the transudate is not a Mysidae. ; $context$ = sent1: the fact that the weeper is non-ceramics thing that does not unbar talentlessness is not true if the transudate does not unbar saying. sent2: if the weeper unbars saying the fact that it is not a pinchgut and it is not unsocial is wrong. sent3: something is a Mysidae if it rends. sent4: the transudate rends if the fact that the weeper is not a kind of a pinchgut and it is not unsocial is not true. ; $proof$ = 
void -> assump1: Let's assume that the weeper does unbar saying.; sent2 & assump1 -> int1: that the weeper is not a kind of a pinchgut and it is not unsocial is wrong.; int1 & sent4 -> int2: the transudate does rend.; sent3 -> int3: if the transudate rends then it is a Mysidae.; int2 & int3 -> int4: the transudate is a Mysidae.; void -> assump2: Let's assume that the transudate is not a Mysidae.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the weeper does not unbar saying is true.; [assump2] & int6 -> hypothesis; __PROVED__