the fact that the nasal is not a skateboard and it is not a kind of a Jay does not hold.
sent1: the lithographer is a balloonist if the nasal does skateboard. sent2: if that the nasal is not a skateboard and it is not a Jay does not hold the lithographer is a balloonist. sent3: the nasal is not a towel. sent4: the lithographer is a skateboard if the fact that the nasal is a Jay is not incorrect. sent5: if the amethyst is not a balloonist and it does not bone aloneness then the go-kart is a balloonist. sent6: if the fact that the fact that the lithographer is a balloonist but it is not a towel is incorrect hold then it is not a balloonist. sent7: that that the lithographer is a kind of a balloonist but it is not a kind of a towel is not false does not hold. sent8: if something does not walk gawkiness the fact that it is not a skateboard and is not a kind of a Jay is wrong.
void -> assump1: Let's assume that that the nasal does not skateboard and it is not a Jay does not hold.; sent2 & assump1 -> int1: the lithographer is a balloonist.; sent6 & sent7 -> int2: the lithographer is not a kind of a balloonist.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the nasal is not a Jay and not narial does not hold.
$hypothesis$ = the fact that the nasal is not a skateboard and it is not a kind of a Jay does not hold. ; $context$ = sent1: the lithographer is a balloonist if the nasal does skateboard. sent2: if that the nasal is not a skateboard and it is not a Jay does not hold the lithographer is a balloonist. sent3: the nasal is not a towel. sent4: the lithographer is a skateboard if the fact that the nasal is a Jay is not incorrect. sent5: if the amethyst is not a balloonist and it does not bone aloneness then the go-kart is a balloonist. sent6: if the fact that the fact that the lithographer is a balloonist but it is not a towel is incorrect hold then it is not a balloonist. sent7: that that the lithographer is a kind of a balloonist but it is not a kind of a towel is not false does not hold. sent8: if something does not walk gawkiness the fact that it is not a skateboard and is not a kind of a Jay is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the nasal does not skateboard and it is not a Jay does not hold.; sent2 & assump1 -> int1: the lithographer is a balloonist.; sent6 & sent7 -> int2: the lithographer is not a kind of a balloonist.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__