the fact that if the neurotic is not areal then the fact that the bark-louse does not disrespect percussion and is not unpopular is not correct is false.
sent1: the neurotic is Cameroonian if something is unadoptable. sent2: something that does not disrespect percussion and is not unpopular is not unadoptable. sent3: something is areal if it is Cameroonian.
sent2 -> int1: the bark-louse is unadoptable if it does not disrespect percussion and it is not unpopular.; void -> assump1: Let's assume that the bark-louse does not disrespect percussion and it is not unpopular.; int1 & assump1 -> int2: the bark-louse is unadoptable.; int2 -> int3: there is something such that it is unadoptable.; int3 & sent1 -> int4: the neurotic is Cameroonian.; sent3 -> int5: if the neurotic is Cameroonian then it is areal.; int4 & int5 -> int6: the neurotic is areal.; void -> assump2: Let's assume that the neurotic is not areal.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the bark-louse does not disrespect percussion and it is not unpopular is not correct.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the fact that if the neurotic is not areal then the fact that the bark-louse does not disrespect percussion and is not unpopular is not correct is false. ; $context$ = sent1: the neurotic is Cameroonian if something is unadoptable. sent2: something that does not disrespect percussion and is not unpopular is not unadoptable. sent3: something is areal if it is Cameroonian. ; $proof$ = 
sent2 -> int1: the bark-louse is unadoptable if it does not disrespect percussion and it is not unpopular.; void -> assump1: Let's assume that the bark-louse does not disrespect percussion and it is not unpopular.; int1 & assump1 -> int2: the bark-louse is unadoptable.; int2 -> int3: there is something such that it is unadoptable.; int3 & sent1 -> int4: the neurotic is Cameroonian.; sent3 -> int5: if the neurotic is Cameroonian then it is areal.; int4 & int5 -> int6: the neurotic is areal.; void -> assump2: Let's assume that the neurotic is not areal.; int6 & assump2 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the bark-louse does not disrespect percussion and it is not unpopular is not correct.; [assump2] & int8 -> hypothesis; __DISPROVED__