there is something such that that it is not lumbar or a saurian or both is false.
sent1: the fact that if something does cleave then that it is not idiopathic and/or it is a unconscientiousness does not hold is true.
there exists something such that the fact that either it is not idiopathic or it is a kind of a unconscientiousness or both is not true.
sent1 -> int1: the fact that the strongman is not idiopathic and/or it is a unconscientiousness is incorrect if that it does cleave is not wrong.;
$hypothesis$ = there is something such that that it is not lumbar or a saurian or both is false. ; $context$ = sent1: the fact that if something does cleave then that it is not idiopathic and/or it is a unconscientiousness does not hold is true. ; $proof$ = 
__UNKNOWN__