the handloom is intrapulmonary.
sent1: there exists something such that it appeals and it is not a spanking. sent2: something is not intrapulmonary if it does not hymn Scincidae. sent3: that if something is a boyfriend that it hymns Scincidae and is non-intrapulmonary does not hold hold. sent4: if an appeal does not spank then the fact that the handloom does not hymn Scincidae hold. sent5: if the Tunisian is aerological that it is not a kind of a boyfriend and it is intrapulmonary is not correct.
sent1 & sent4 -> int1: the handloom does not hymn Scincidae.; sent2 -> int2: if that the handloom does not hymn Scincidae is correct it is not intrapulmonary.; int1 & int2 -> hypothesis;
the handloom is intrapulmonary.
sent3 -> int3: that the handloom does hymn Scincidae but it is not intrapulmonary is not right if it is a kind of a boyfriend.;
$hypothesis$ = the handloom is intrapulmonary. ; $context$ = sent1: there exists something such that it appeals and it is not a spanking. sent2: something is not intrapulmonary if it does not hymn Scincidae. sent3: that if something is a boyfriend that it hymns Scincidae and is non-intrapulmonary does not hold hold. sent4: if an appeal does not spank then the fact that the handloom does not hymn Scincidae hold. sent5: if the Tunisian is aerological that it is not a kind of a boyfriend and it is intrapulmonary is not correct. ; $proof$ = 
sent1 & sent4 -> int1: the handloom does not hymn Scincidae.; sent2 -> int2: if that the handloom does not hymn Scincidae is correct it is not intrapulmonary.; int1 & int2 -> hypothesis; __DISPROVED__