the anionic does school.
sent1: if the Jacobite does not play balminess then the fact that the balminess does play balminess but it is not comfortable is not correct. sent2: the Jacobite overturns agnathan and it is intrastate. sent3: if the Jacobite is not millennial but it does play subvention then the fact that it does not overturn agnathan is true. sent4: if the fact that something is not millennial and does play subvention does not hold it does not play balminess. sent5: the anionic is not a school if the fact that the balminess does play balminess and is not comfortable is not right. sent6: the balminess does not play subvention if it does not play balminess. sent7: the fact that the anionic plays balminess but it is not a school is incorrect if the balminess does not plays balminess. sent8: if something is not estrous it does not play antique.
void -> assump1: Let's assume that the Jacobite is not millennial and does play subvention.; sent3 & assump1 -> int1: the Jacobite does not overturn agnathan.; sent2 -> int2: the Jacobite overturns agnathan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Jacobite is not millennial but it plays subvention does not hold.; sent4 -> int5: the Jacobite does not play balminess if that it is non-millennial and it plays subvention is not right.; int4 & int5 -> int6: that the Jacobite does not play balminess is not incorrect.; int6 & sent1 -> int7: the fact that the balminess does play balminess but it is not comfortable is not correct.; int7 & sent5 -> hypothesis;
$hypothesis$ = the anionic does school. ; $context$ = sent1: if the Jacobite does not play balminess then the fact that the balminess does play balminess but it is not comfortable is not correct. sent2: the Jacobite overturns agnathan and it is intrastate. sent3: if the Jacobite is not millennial but it does play subvention then the fact that it does not overturn agnathan is true. sent4: if the fact that something is not millennial and does play subvention does not hold it does not play balminess. sent5: the anionic is not a school if the fact that the balminess does play balminess and is not comfortable is not right. sent6: the balminess does not play subvention if it does not play balminess. sent7: the fact that the anionic plays balminess but it is not a school is incorrect if the balminess does not plays balminess. sent8: if something is not estrous it does not play antique. ; $proof$ = 
void -> assump1: Let's assume that the Jacobite is not millennial and does play subvention.; sent3 & assump1 -> int1: the Jacobite does not overturn agnathan.; sent2 -> int2: the Jacobite overturns agnathan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Jacobite is not millennial but it plays subvention does not hold.; sent4 -> int5: the Jacobite does not play balminess if that it is non-millennial and it plays subvention is not right.; int4 & int5 -> int6: that the Jacobite does not play balminess is not incorrect.; int6 & sent1 -> int7: the fact that the balminess does play balminess but it is not comfortable is not correct.; int7 & sent5 -> hypothesis; __DISPROVED__