the sol is not ulnar.
sent1: something is a Lancaster if it does unwrap paperhanger. sent2: the Walapai is vibrionic and it is a Neapolitan. sent3: something is not vibrionic if it arranges and/or it is a kind of a wipeout. sent4: if the sol is a Lancaster then it is ulnar. sent5: the Walapai arranges if something is not dermatologic but it is smokeless. sent6: the overnighter is ulnar if it is acidotic. sent7: the sol unwraps paperhanger if the fact that it is non-dermatologic thing that is smokeless is not right.
void -> assump1: Let's assume that the sol is not dermatologic and is smokeless.; assump1 -> int1: something is both non-dermatologic and not non-smokeless.; int1 & sent5 -> int2: the Walapai arranges.; int2 -> int3: the Walapai arranges or it is a wipeout or both.; sent3 -> int4: if the Walapai arranges or it is a wipeout or both then it is not vibrionic.; int3 & int4 -> int5: the Walapai is not vibrionic.; sent2 -> int6: the Walapai is vibrionic.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the sol is not dermatologic but it is smokeless is false.; int8 & sent7 -> int9: the sol unwraps paperhanger.; sent1 -> int10: if the sol does unwrap paperhanger it is a kind of a Lancaster.; int9 & int10 -> int11: the sol is a Lancaster.; int11 & sent4 -> hypothesis;
$hypothesis$ = the sol is not ulnar. ; $context$ = sent1: something is a Lancaster if it does unwrap paperhanger. sent2: the Walapai is vibrionic and it is a Neapolitan. sent3: something is not vibrionic if it arranges and/or it is a kind of a wipeout. sent4: if the sol is a Lancaster then it is ulnar. sent5: the Walapai arranges if something is not dermatologic but it is smokeless. sent6: the overnighter is ulnar if it is acidotic. sent7: the sol unwraps paperhanger if the fact that it is non-dermatologic thing that is smokeless is not right. ; $proof$ = 
void -> assump1: Let's assume that the sol is not dermatologic and is smokeless.; assump1 -> int1: something is both non-dermatologic and not non-smokeless.; int1 & sent5 -> int2: the Walapai arranges.; int2 -> int3: the Walapai arranges or it is a wipeout or both.; sent3 -> int4: if the Walapai arranges or it is a wipeout or both then it is not vibrionic.; int3 & int4 -> int5: the Walapai is not vibrionic.; sent2 -> int6: the Walapai is vibrionic.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the sol is not dermatologic but it is smokeless is false.; int8 & sent7 -> int9: the sol unwraps paperhanger.; sent1 -> int10: if the sol does unwrap paperhanger it is a kind of a Lancaster.; int9 & int10 -> int11: the sol is a Lancaster.; int11 & sent4 -> hypothesis; __DISPROVED__