both the hemorrhagicness and the endocrine occurs.
sent1: if the fraying does not occur then the fact that both the hemorrhagicness and the endocrine happens is not true. sent2: both the brightening and the foraging improvisation occurs. sent3: if the mesonicness does not occur then the fraying does not occur or the cellulosidness occurs or both. sent4: either the quantification occurs or the compressing does not occur or both. sent5: the fact that the fraying and the mesonicness happens is correct. sent6: if the smoulder occurs then the heeling toggle happens. sent7: if the quantification occurs or the compress does not occur or both the smoulder occurs. sent8: the DO happens and the sarcolemmalness happens. sent9: the heeling toggle does not occur if both the cellulosidness and the fraying happens. sent10: the compulsion is prevented by the non-cellulosidness. sent11: the photomechanicalness happens.
sent5 -> int1: the fraying occurs.; void -> assump1: Let's assume that the cellulosidness occurs.; int1 & assump1 -> int2: the cellulosidness occurs and the fraying occurs.; int2 & sent9 -> int3: that the heeling toggle does not occur is true.; sent7 & sent4 -> int4: the smoulder happens.; sent6 & int4 -> int5: the fact that the heeling toggle occurs is right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the cellulosidness does not occur.; int7 & sent10 -> int8: the compulsion does not occur.;
that the hemorrhagicness and the endocrineness happens is not right.
$hypothesis$ = both the hemorrhagicness and the endocrine occurs. ; $context$ = sent1: if the fraying does not occur then the fact that both the hemorrhagicness and the endocrine happens is not true. sent2: both the brightening and the foraging improvisation occurs. sent3: if the mesonicness does not occur then the fraying does not occur or the cellulosidness occurs or both. sent4: either the quantification occurs or the compressing does not occur or both. sent5: the fact that the fraying and the mesonicness happens is correct. sent6: if the smoulder occurs then the heeling toggle happens. sent7: if the quantification occurs or the compress does not occur or both the smoulder occurs. sent8: the DO happens and the sarcolemmalness happens. sent9: the heeling toggle does not occur if both the cellulosidness and the fraying happens. sent10: the compulsion is prevented by the non-cellulosidness. sent11: the photomechanicalness happens. ; $proof$ = 
sent5 -> int1: the fraying occurs.; void -> assump1: Let's assume that the cellulosidness occurs.; int1 & assump1 -> int2: the cellulosidness occurs and the fraying occurs.; int2 & sent9 -> int3: that the heeling toggle does not occur is true.; sent7 & sent4 -> int4: the smoulder happens.; sent6 & int4 -> int5: the fact that the heeling toggle occurs is right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the cellulosidness does not occur.; int7 & sent10 -> int8: the compulsion does not occur.; __UNKNOWN__