the fact that the speculum is not alluvial and/or it is not a X-raying is not correct if the muton is a caudate.
sent1: if the fact that the oilskin is not alluvial and does impart coffer is incorrect the fact that the muton is not a caudate is not wrong. sent2: that the speculum is not alluvial and/or it is not a X-raying does not hold if the oilskin is not alluvial.
void -> assump2: Let's assume that that the muton is a caudate is not false.; void -> assump1: Let's assume that that the oilskin is non-alluvial thing that does impart coffer does not hold.; sent1 & assump1 -> int1: the muton is not a caudate.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the oilskin is not alluvial and does impart coffer.; int3 -> int4: the oilskin is not alluvial.; sent2 & int4 -> int5: the fact that the speculum is not alluvial or it is not a kind of a X-raying or both is wrong.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the speculum is not alluvial and/or it is not a X-raying is not correct if the muton is a caudate. ; $context$ = sent1: if the fact that the oilskin is not alluvial and does impart coffer is incorrect the fact that the muton is not a caudate is not wrong. sent2: that the speculum is not alluvial and/or it is not a X-raying does not hold if the oilskin is not alluvial. ; $proof$ = 
void -> assump2: Let's assume that that the muton is a caudate is not false.; void -> assump1: Let's assume that that the oilskin is non-alluvial thing that does impart coffer does not hold.; sent1 & assump1 -> int1: the muton is not a caudate.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the oilskin is not alluvial and does impart coffer.; int3 -> int4: the oilskin is not alluvial.; sent2 & int4 -> int5: the fact that the speculum is not alluvial or it is not a kind of a X-raying or both is wrong.; [assump2] & int5 -> hypothesis; __PROVED__