that that that the fact that the dissolving is both not a rudiment and not a cirrocumulus hold is wrong is correct if the motorman is a carpal is not right.
sent1: there exists something such that it does julienne Yay and is not a radiochemist. sent2: if something is not angular then the fact that it is both not a reenactor and not a factorial is false. sent3: if there exists something such that it is not a rudiment and it is not a kind of a cirrocumulus then the motorman is not a carpal. sent4: the oceanographer is not a rudiment. sent5: the fact that something is a kind of non-quantal thing that is not a Lens does not hold if it is not a kind of a carpal.
void -> assump2: Let's assume that the dissolving is both not a rudiment and not a cirrocumulus.; assump2 -> int1: there is something such that it is both not a rudiment and not a cirrocumulus.; int1 & sent3 -> int2: the motorman is not carpal.; void -> assump1: Let's assume that the motorman is a kind of a carpal.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dissolving is both not a rudiment and not a cirrocumulus is not correct.; [assump1] & int4 -> hypothesis;
the fact that the casein is not quantal and it is not a kind of a Lens is not right.
sent5 -> int5: if the casein is not a carpal then that it is a kind of non-quantal thing that is not a Lens is incorrect.; sent2 -> int6: that that the motorman is not a reenactor and it is not a kind of a factorial is not correct hold if it is not angular.;
$hypothesis$ = that that that the fact that the dissolving is both not a rudiment and not a cirrocumulus hold is wrong is correct if the motorman is a carpal is not right. ; $context$ = sent1: there exists something such that it does julienne Yay and is not a radiochemist. sent2: if something is not angular then the fact that it is both not a reenactor and not a factorial is false. sent3: if there exists something such that it is not a rudiment and it is not a kind of a cirrocumulus then the motorman is not a carpal. sent4: the oceanographer is not a rudiment. sent5: the fact that something is a kind of non-quantal thing that is not a Lens does not hold if it is not a kind of a carpal. ; $proof$ = 
void -> assump2: Let's assume that the dissolving is both not a rudiment and not a cirrocumulus.; assump2 -> int1: there is something such that it is both not a rudiment and not a cirrocumulus.; int1 & sent3 -> int2: the motorman is not carpal.; void -> assump1: Let's assume that the motorman is a kind of a carpal.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dissolving is both not a rudiment and not a cirrocumulus is not correct.; [assump1] & int4 -> hypothesis; __DISPROVED__