the chitinousness does not occur and the placing does not occur.
sent1: the sideshow occurs. sent2: if the falls happens and the sideshow occurs the fact that the chitinousness does not occur is not wrong. sent3: the inspectorship happens. sent4: if the inspectorship does not occur then the fact that the chitinousness does not occur and the place does not occur is not right. sent5: that the inspectorship occurs and/or that the compacting chon happens prevents that the placing happens. sent6: the falls occurs.
sent3 -> int1: the inspectorship occurs and/or the compacting chon happens.; int1 & sent5 -> int2: the place does not occur.; sent6 & sent1 -> int3: the falling and the sideshow happens.; sent2 & int3 -> int4: the chitinousness does not occur.; int2 & int4 -> hypothesis;
the fact that that the chitinousness does not occur and the place does not occur is not wrong is not true.
$hypothesis$ = the chitinousness does not occur and the placing does not occur. ; $context$ = sent1: the sideshow occurs. sent2: if the falls happens and the sideshow occurs the fact that the chitinousness does not occur is not wrong. sent3: the inspectorship happens. sent4: if the inspectorship does not occur then the fact that the chitinousness does not occur and the place does not occur is not right. sent5: that the inspectorship occurs and/or that the compacting chon happens prevents that the placing happens. sent6: the falls occurs. ; $proof$ = 
sent3 -> int1: the inspectorship occurs and/or the compacting chon happens.; int1 & sent5 -> int2: the place does not occur.; sent6 & sent1 -> int3: the falling and the sideshow happens.; sent2 & int3 -> int4: the chitinousness does not occur.; int2 & int4 -> hypothesis; __PROVED__