that there is something such that if it is ministerial that it does not own and it does expect is false is wrong.
sent1: if something is ministerial then the fact that it does not own and does expect is incorrect. sent2: if the fact that something is ministerial is not wrong that it does own and it does expect is not correct. sent3: if something is a gridlock then that it is not heavy-duty and is four-wheel is not correct.
sent1 -> int1: that the run does not own and expects is not true if the fact that it is ministerial hold.; int1 -> hypothesis;
there is something such that if the fact that it is a gridlock is not false the fact that it is not heavy-duty and it is four-wheel is not true.
sent3 -> int2: if the portage is a gridlock the fact that it is not heavy-duty and it is four-wheel is false.; int2 -> hypothesis;
$hypothesis$ = that there is something such that if it is ministerial that it does not own and it does expect is false is wrong. ; $context$ = sent1: if something is ministerial then the fact that it does not own and does expect is incorrect. sent2: if the fact that something is ministerial is not wrong that it does own and it does expect is not correct. sent3: if something is a gridlock then that it is not heavy-duty and is four-wheel is not correct. ; $proof$ = 
sent1 -> int1: that the run does not own and expects is not true if the fact that it is ministerial hold.; int1 -> hypothesis; __DISPROVED__