something strains Wintun and it is a stunt.
sent1: the NOC is a stunt. sent2: something is a stunt. sent3: if the Wintun does not alibi narthex then the fact that either it is retrograde or it is not a Swanson or both is not true. sent4: the fact that either the Wintun does retrograde or it is a Swanson or both is not false. sent5: the home is not invasive and is a parent if the testcross does not rekindle mounter. sent6: the home is a parent. sent7: the Wintun does not alibi narthex if the home is not invasive but it is a parent. sent8: the NOC strains Wintun if that the testcross rekindles mounter hold. sent9: if the testcross does not rekindle mounter then the home is a parent. sent10: the Wintun does retrograde or is not a Swanson or both. sent11: the Wintun is a Swanson.
void -> assump1: Let's assume that the testcross does not rekindle mounter.; sent5 & assump1 -> int1: the home is a kind of non-invasive thing that is a parent.; int1 & sent7 -> int2: the Wintun does not alibi narthex.; int2 & sent3 -> int3: that either the Wintun retrogrades or it is not a Swanson or both does not hold.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the testcross does rekindle mounter.; int5 & sent8 -> int6: the NOC does strain Wintun.; int6 & sent1 -> int7: the NOC strains Wintun and it stunts.; int7 -> hypothesis;
$hypothesis$ = something strains Wintun and it is a stunt. ; $context$ = sent1: the NOC is a stunt. sent2: something is a stunt. sent3: if the Wintun does not alibi narthex then the fact that either it is retrograde or it is not a Swanson or both is not true. sent4: the fact that either the Wintun does retrograde or it is a Swanson or both is not false. sent5: the home is not invasive and is a parent if the testcross does not rekindle mounter. sent6: the home is a parent. sent7: the Wintun does not alibi narthex if the home is not invasive but it is a parent. sent8: the NOC strains Wintun if that the testcross rekindles mounter hold. sent9: if the testcross does not rekindle mounter then the home is a parent. sent10: the Wintun does retrograde or is not a Swanson or both. sent11: the Wintun is a Swanson. ; $proof$ = 
void -> assump1: Let's assume that the testcross does not rekindle mounter.; sent5 & assump1 -> int1: the home is a kind of non-invasive thing that is a parent.; int1 & sent7 -> int2: the Wintun does not alibi narthex.; int2 & sent3 -> int3: that either the Wintun retrogrades or it is not a Swanson or both does not hold.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the testcross does rekindle mounter.; int5 & sent8 -> int6: the NOC does strain Wintun.; int6 & sent1 -> int7: the NOC strains Wintun and it stunts.; int7 -> hypothesis; __PROVED__