the drupe is a resolution.
sent1: something does flatten washhouse and/or it is a resolution if it is not ethnographic. sent2: if the washhouse does not turf bellyful then the drupe does not turf bellyful and it is not a resolution. sent3: the NRTI does flatten washhouse. sent4: the washhouse does not turf bellyful if the NRTI is a kind of ethnographic thing that flattens washhouse. sent5: that the NRTI is ethnographic is right. sent6: The washhouse does flatten NRTI. sent7: if the drupe flattens washhouse and it turfs bellyful the NRTI is not a resolution. sent8: the drupe does not turf bellyful. sent9: if the washhouse does not turf bellyful then the fact that the drupe does not turf bellyful is not incorrect.
sent5 & sent3 -> int1: the NRTI is ethnographic thing that flattens washhouse.; sent4 & int1 -> int2: the washhouse does not turf bellyful.; sent2 & int2 -> int3: the drupe does not turf bellyful and it is not a resolution.; int3 -> hypothesis;
the drupe is a kind of a resolution.
sent1 -> int4: if the NRTI is not ethnographic then it does flatten washhouse or it is a kind of a resolution or both.;
$hypothesis$ = the drupe is a resolution. ; $context$ = sent1: something does flatten washhouse and/or it is a resolution if it is not ethnographic. sent2: if the washhouse does not turf bellyful then the drupe does not turf bellyful and it is not a resolution. sent3: the NRTI does flatten washhouse. sent4: the washhouse does not turf bellyful if the NRTI is a kind of ethnographic thing that flattens washhouse. sent5: that the NRTI is ethnographic is right. sent6: The washhouse does flatten NRTI. sent7: if the drupe flattens washhouse and it turfs bellyful the NRTI is not a resolution. sent8: the drupe does not turf bellyful. sent9: if the washhouse does not turf bellyful then the fact that the drupe does not turf bellyful is not incorrect. ; $proof$ = 
sent5 & sent3 -> int1: the NRTI is ethnographic thing that flattens washhouse.; sent4 & int1 -> int2: the washhouse does not turf bellyful.; sent2 & int2 -> int3: the drupe does not turf bellyful and it is not a resolution.; int3 -> hypothesis; __DISPROVED__