that the skinner is a Cheddar but it is not nosocomial is not right if the cataphract does plug.
sent1: the skinner is non-nosocomial. sent2: the cannibal is nosocomial. sent3: if the cataphract plugs the fact that the skinner is a kind of a Cheddar that is nosocomial does not hold. sent4: that the skinner is a Cheddar and it is nosocomial is not right. sent5: the fact that the skinner is a Cheddar is not false. sent6: if something is not an abuse and is not postural it does plug. sent7: if the skinner is a kind of a Cheddar that is not nosocomial the cataphract is postural. sent8: the cataphract is postural if the skinner is both a Cheddar and nosocomial. sent9: if the cataphract plugs the skinner is a kind of a Cheddar but it is not nosocomial. sent10: if something is postural it does not plug.
void -> assump2: Let's assume that the skinner is a Cheddar but it is not nosocomial.; sent7 & assump2 -> int1: the cataphract is postural.; sent10 -> int2: the cataphract is not a kind of a plug if the fact that it is postural hold.; int1 & int2 -> int3: the cataphract is not a plug.; void -> assump1: Let's assume that the cataphract is a kind of a plug.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the skinner is a Cheddar and not nosocomial is wrong.; [assump1] & int5 -> hypothesis;
that the ditch plugs hold.
sent6 -> int6: the ditch does plug if it does not abuse and it is not postural.;
$hypothesis$ = that the skinner is a Cheddar but it is not nosocomial is not right if the cataphract does plug. ; $context$ = sent1: the skinner is non-nosocomial. sent2: the cannibal is nosocomial. sent3: if the cataphract plugs the fact that the skinner is a kind of a Cheddar that is nosocomial does not hold. sent4: that the skinner is a Cheddar and it is nosocomial is not right. sent5: the fact that the skinner is a Cheddar is not false. sent6: if something is not an abuse and is not postural it does plug. sent7: if the skinner is a kind of a Cheddar that is not nosocomial the cataphract is postural. sent8: the cataphract is postural if the skinner is both a Cheddar and nosocomial. sent9: if the cataphract plugs the skinner is a kind of a Cheddar but it is not nosocomial. sent10: if something is postural it does not plug. ; $proof$ = 
void -> assump2: Let's assume that the skinner is a Cheddar but it is not nosocomial.; sent7 & assump2 -> int1: the cataphract is postural.; sent10 -> int2: the cataphract is not a kind of a plug if the fact that it is postural hold.; int1 & int2 -> int3: the cataphract is not a plug.; void -> assump1: Let's assume that the cataphract is a kind of a plug.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the skinner is a Cheddar and not nosocomial is wrong.; [assump1] & int5 -> hypothesis; __PROVED__