if the handbell does trundle ninon that the ninon does piddle is true.
sent1: the ninon does not piddle and it is not a kind of a purism. sent2: if the worrier does trundle ninon that the handbell is not a swish hold. sent3: the worrier is a kind of a swish and does protest renter if the thane does not protest renter. sent4: the worrier is a swish if the thane does not protest renter. sent5: if the fact that the handbell trundles ninon is not false the quad is not vulnerable and it is not a purism. sent6: that the thane does not protest renter is not incorrect if the quad is not vulnerable and it is not a purism. sent7: the handbell protests renter.
void -> assump1: Let's assume that the handbell trundles ninon.; sent5 & assump1 -> int1: the quad is not vulnerable and it is not a purism.; sent6 & int1 -> int2: the thane does not protest renter.; sent3 & int2 -> int3: the worrier is a swish that protests renter.; int3 -> int4: that the worrier does protest renter is true.;
$hypothesis$ = if the handbell does trundle ninon that the ninon does piddle is true. ; $context$ = sent1: the ninon does not piddle and it is not a kind of a purism. sent2: if the worrier does trundle ninon that the handbell is not a swish hold. sent3: the worrier is a kind of a swish and does protest renter if the thane does not protest renter. sent4: the worrier is a swish if the thane does not protest renter. sent5: if the fact that the handbell trundles ninon is not false the quad is not vulnerable and it is not a purism. sent6: that the thane does not protest renter is not incorrect if the quad is not vulnerable and it is not a purism. sent7: the handbell protests renter. ; $proof$ = 
void -> assump1: Let's assume that the handbell trundles ninon.; sent5 & assump1 -> int1: the quad is not vulnerable and it is not a purism.; sent6 & int1 -> int2: the thane does not protest renter.; sent3 & int2 -> int3: the worrier is a swish that protests renter.; int3 -> int4: that the worrier does protest renter is true.; __UNKNOWN__