the weigher is a cucumber.
sent1: the weigher is irreconcilable. sent2: if something is not a kind of a Dorian then it does stow filtration. sent3: if something stows filtration then it is a kind of a cucumber. sent4: something that is either not a Dorian or irreconcilable or both stows filtration.
sent1 -> int1: the weigher is either not a Dorian or irreconcilable or both.; sent4 -> int2: if the weigher is not a kind of a Dorian or it is irreconcilable or both then it stows filtration.; int1 & int2 -> int3: the weigher stows filtration.; sent3 -> int4: if the weigher stows filtration then it is a cucumber.; int3 & int4 -> hypothesis;
$hypothesis$ = the weigher is a cucumber. ; $context$ = sent1: the weigher is irreconcilable. sent2: if something is not a kind of a Dorian then it does stow filtration. sent3: if something stows filtration then it is a kind of a cucumber. sent4: something that is either not a Dorian or irreconcilable or both stows filtration. ; $proof$ = 
sent1 -> int1: the weigher is either not a Dorian or irreconcilable or both.; sent4 -> int2: if the weigher is not a kind of a Dorian or it is irreconcilable or both then it stows filtration.; int1 & int2 -> int3: the weigher stows filtration.; sent3 -> int4: if the weigher stows filtration then it is a cucumber.; int3 & int4 -> hypothesis; __PROVED__