the fact that there is something such that if it does not communicate and/or it configures estrus then it browses Walloons is not right.
sent1: there exists something such that if it configures estrus then it browses Walloons. sent2: if the waterwheel does not communicate and/or it configures estrus it browses Walloons. sent3: there is something such that if it does communicate and/or it does configure estrus then it browses Walloons. sent4: the waterwheel browses Walloons if the fact that it does configure estrus is correct. sent5: something configures estrus if either it is not a Zambian or it is Carthusian or both. sent6: the waterwheel does browse Walloons if it does communicate or it does configure estrus or both.
sent2 -> hypothesis;
if the waterwheel is not a Zambian or Carthusian or both it configures estrus.
sent5 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not communicate and/or it configures estrus then it browses Walloons is not right. ; $context$ = sent1: there exists something such that if it configures estrus then it browses Walloons. sent2: if the waterwheel does not communicate and/or it configures estrus it browses Walloons. sent3: there is something such that if it does communicate and/or it does configure estrus then it browses Walloons. sent4: the waterwheel browses Walloons if the fact that it does configure estrus is correct. sent5: something configures estrus if either it is not a Zambian or it is Carthusian or both. sent6: the waterwheel does browse Walloons if it does communicate or it does configure estrus or both. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__