the doorway is not a kind of an eighteenth.
sent1: the fact that something strangulates Solanopteris and strangulates labdanum is not correct if it is not iridaceous. sent2: the coat is a kind of an epileptic if the packthread is not an eighteenth and/or it is iridaceous. sent3: if something does not nestle then it either is not a Latinesce or does not strangulate armpit or both. sent4: if the armpit is not a Latinesce the coat does not strangulate armpit. sent5: if something does not strangulate labdanum it is not an eighteenth and is not epileptic. sent6: the packthread is a kind of an epileptic. sent7: the doorway is a kind of an eighteenth if the coat does not strangulate labdanum and/or it is iridaceous. sent8: if the armpit does not strangulate armpit the coat does not strangulate armpit. sent9: if the armpit is not a drip that it does not strangulate armpit and does not nestle is not true. sent10: that the armpit does not nestle hold if that the watchtower is a consumptive but it does not nestle is wrong. sent11: that something is a consumptive but it does not nestle is not right if it is a kind of a drip. sent12: if the fact that the coat does strangulate armpit does not hold then it is non-iridaceous. sent13: if that something does not strangulate armpit and it does not nestle does not hold then it is not a kind of an eighteenth. sent14: the watchtower is a drip. sent15: the coat is not iridaceous and/or it strangulates labdanum if there is something such that it is a kind of an eighteenth. sent16: the doorway is not epileptic and/or it is a kind of an eighteenth. sent17: the doorway is an eighteenth if the coat is iridaceous. sent18: if the doorway does not strangulate labdanum that either the coat is not an epileptic or it is sportive or both is not wrong. sent19: that the armpit is not a Latinesce hold. sent20: if there is something such that it is an epileptic the coat does not strangulate labdanum and/or it is iridaceous. sent21: something is iridaceous and it does strangulate Solanopteris if it is not a Latinesce.
sent6 -> int1: something is a kind of an epileptic.; int1 & sent20 -> int2: the coat does not strangulate labdanum and/or is iridaceous.; sent7 & int2 -> hypothesis;
the coat is not a kind of an epileptic and/or is sportive.
sent21 -> int3: the armpit is a kind of iridaceous thing that does strangulate Solanopteris if it is not a Latinesce.; int3 & sent19 -> int4: the armpit is iridaceous and does strangulate Solanopteris.; int4 -> int5: the armpit is iridaceous.; sent13 -> int6: the armpit is not an eighteenth if that it does not strangulate armpit and it does not nestle is not right.;
$hypothesis$ = the doorway is not a kind of an eighteenth. ; $context$ = sent1: the fact that something strangulates Solanopteris and strangulates labdanum is not correct if it is not iridaceous. sent2: the coat is a kind of an epileptic if the packthread is not an eighteenth and/or it is iridaceous. sent3: if something does not nestle then it either is not a Latinesce or does not strangulate armpit or both. sent4: if the armpit is not a Latinesce the coat does not strangulate armpit. sent5: if something does not strangulate labdanum it is not an eighteenth and is not epileptic. sent6: the packthread is a kind of an epileptic. sent7: the doorway is a kind of an eighteenth if the coat does not strangulate labdanum and/or it is iridaceous. sent8: if the armpit does not strangulate armpit the coat does not strangulate armpit. sent9: if the armpit is not a drip that it does not strangulate armpit and does not nestle is not true. sent10: that the armpit does not nestle hold if that the watchtower is a consumptive but it does not nestle is wrong. sent11: that something is a consumptive but it does not nestle is not right if it is a kind of a drip. sent12: if the fact that the coat does strangulate armpit does not hold then it is non-iridaceous. sent13: if that something does not strangulate armpit and it does not nestle does not hold then it is not a kind of an eighteenth. sent14: the watchtower is a drip. sent15: the coat is not iridaceous and/or it strangulates labdanum if there is something such that it is a kind of an eighteenth. sent16: the doorway is not epileptic and/or it is a kind of an eighteenth. sent17: the doorway is an eighteenth if the coat is iridaceous. sent18: if the doorway does not strangulate labdanum that either the coat is not an epileptic or it is sportive or both is not wrong. sent19: that the armpit is not a Latinesce hold. sent20: if there is something such that it is an epileptic the coat does not strangulate labdanum and/or it is iridaceous. sent21: something is iridaceous and it does strangulate Solanopteris if it is not a Latinesce. ; $proof$ = 
sent6 -> int1: something is a kind of an epileptic.; int1 & sent20 -> int2: the coat does not strangulate labdanum and/or is iridaceous.; sent7 & int2 -> hypothesis; __DISPROVED__