the replicating equinoctial does not occur and/or the studying risibility does not occur.
sent1: the balancing does not occur but the metabolizing suggestibility occurs. sent2: the predictableness occurs and the counterdemonstration happens. sent3: the swallowing happens. sent4: the squiring self-knowledge but not the replicating ethosuximide occurs. sent5: the fact that the swallow does not occur and/or the mandibularness happens is not right if the considerateness does not occur. sent6: the metabolizing duckpins happens if not the balancing but the metabolizing suggestibility occurs. sent7: that the considerateness happens is prevented by that the squiring self-knowledge occurs and the metabolizing duckpins happens. sent8: the balancing does not occur. sent9: the counterdemonstration occurs. sent10: if the warmingness does not occur the studying risibility happens. sent11: the fact that either the replicating equinoctial does not occur or the studying risibility does not occur or both does not hold if the warming does not occur. sent12: if the fact that the swallow does not occur and/or the mandibularness happens is false the fact that the Guineanness occurs is not wrong. sent13: that the studying risibility happens is true. sent14: if both the predictableness and the Guinean occurs then the warming does not occur.
sent4 -> int1: the squiring self-knowledge happens.; sent6 & sent1 -> int2: the metabolizing duckpins happens.; int1 & int2 -> int3: the squiring self-knowledge happens and the metabolizing duckpins occurs.; int3 & sent7 -> int4: the considerateness does not occur.; int4 & sent5 -> int5: the fact that the swallow does not occur or the mandibularness occurs or both does not hold.; int5 & sent12 -> int6: that the Guineanness happens is right.; sent2 -> int7: the predictableness happens.; int6 & int7 -> int8: the predictableness and the Guinean happens.; int8 & sent14 -> int9: the warmingness does not occur.; int9 & sent11 -> hypothesis;
$hypothesis$ = the replicating equinoctial does not occur and/or the studying risibility does not occur. ; $context$ = sent1: the balancing does not occur but the metabolizing suggestibility occurs. sent2: the predictableness occurs and the counterdemonstration happens. sent3: the swallowing happens. sent4: the squiring self-knowledge but not the replicating ethosuximide occurs. sent5: the fact that the swallow does not occur and/or the mandibularness happens is not right if the considerateness does not occur. sent6: the metabolizing duckpins happens if not the balancing but the metabolizing suggestibility occurs. sent7: that the considerateness happens is prevented by that the squiring self-knowledge occurs and the metabolizing duckpins happens. sent8: the balancing does not occur. sent9: the counterdemonstration occurs. sent10: if the warmingness does not occur the studying risibility happens. sent11: the fact that either the replicating equinoctial does not occur or the studying risibility does not occur or both does not hold if the warming does not occur. sent12: if the fact that the swallow does not occur and/or the mandibularness happens is false the fact that the Guineanness occurs is not wrong. sent13: that the studying risibility happens is true. sent14: if both the predictableness and the Guinean occurs then the warming does not occur. ; $proof$ = 
sent4 -> int1: the squiring self-knowledge happens.; sent6 & sent1 -> int2: the metabolizing duckpins happens.; int1 & int2 -> int3: the squiring self-knowledge happens and the metabolizing duckpins occurs.; int3 & sent7 -> int4: the considerateness does not occur.; int4 & sent5 -> int5: the fact that the swallow does not occur or the mandibularness occurs or both does not hold.; int5 & sent12 -> int6: that the Guineanness happens is right.; sent2 -> int7: the predictableness happens.; int6 & int7 -> int8: the predictableness and the Guinean happens.; int8 & sent14 -> int9: the warmingness does not occur.; int9 & sent11 -> hypothesis; __DISPROVED__