the manhandling main-topmast occurs.
sent1: if the fact that the whimper does not occur but the sustainableness happens is false the sustainableness does not occur. sent2: if the fact that the fact that the chrysotherapy does not occur and the circulation does not occur is not false is false then the manhandling main-topmast does not occur. sent3: that both the nonsubmersibleness and the shuttle occurs is not incorrect. sent4: the chrysotherapy does not occur. sent5: that the sustainableness occurs hold. sent6: if the circulation does not occur and the chrysotherapy does not occur then the restraining happens. sent7: that the biosystematicness occurs is prevented by that the tyrannicide happens. sent8: if the sustainableness does not occur the fact that the postmortemness does not occur and the tyrannicide occurs is not true. sent9: if the fact that the non-postmortemness and the tyrannicide happens is not right then the tyrannicide does not occur. sent10: the tyrannicide occurs and the sustainableness happens. sent11: the circulation does not occur.
sent11 & sent4 -> int1: the circulation does not occur and the chrysotherapy does not occur.; int1 & sent6 -> int2: the restraining happens.; sent10 -> int3: the tyrannicide happens.; sent7 & int3 -> int4: that the biosystematicness does not occur hold.; int2 & int4 -> int5: both the restraining and the non-biosystematicness occurs.;
the manhandling main-topmast does not occur.
$hypothesis$ = the manhandling main-topmast occurs. ; $context$ = sent1: if the fact that the whimper does not occur but the sustainableness happens is false the sustainableness does not occur. sent2: if the fact that the fact that the chrysotherapy does not occur and the circulation does not occur is not false is false then the manhandling main-topmast does not occur. sent3: that both the nonsubmersibleness and the shuttle occurs is not incorrect. sent4: the chrysotherapy does not occur. sent5: that the sustainableness occurs hold. sent6: if the circulation does not occur and the chrysotherapy does not occur then the restraining happens. sent7: that the biosystematicness occurs is prevented by that the tyrannicide happens. sent8: if the sustainableness does not occur the fact that the postmortemness does not occur and the tyrannicide occurs is not true. sent9: if the fact that the non-postmortemness and the tyrannicide happens is not right then the tyrannicide does not occur. sent10: the tyrannicide occurs and the sustainableness happens. sent11: the circulation does not occur. ; $proof$ = 
sent11 & sent4 -> int1: the circulation does not occur and the chrysotherapy does not occur.; int1 & sent6 -> int2: the restraining happens.; sent10 -> int3: the tyrannicide happens.; sent7 & int3 -> int4: that the biosystematicness does not occur hold.; int2 & int4 -> int5: both the restraining and the non-biosystematicness occurs.; __UNKNOWN__