the fact that the chimneysweeper is a kind of a binary but it is not antagonistic does not hold if the goldmine braids Anglian.
sent1: the chimneysweeper does succeed. sent2: if something is aerobics then it does not braid Anglian. sent3: if the fact that something is not aerobics but it is legless is not correct it does not braid Anglian. sent4: that the chimneysweeper is aerobics is true. sent5: that the goldmine is aerobics and is legless is not true. sent6: if the maleate is not a binary that the chimneysweeper is a binary but not antagonistic is incorrect. sent7: if the maleate is not a kind of a binary then the fact that the chimneysweeper is binary and antagonistic is false. sent8: the fact that that the goldmine is not aerobics but it is legless is not incorrect is not right if the maleate is binary.
void -> assump2: Let's assume that the maleate is a binary.; sent8 & assump2 -> int1: the fact that the goldmine is both not aerobics and legless is not correct.; sent3 -> int2: the goldmine does not braid Anglian if the fact that it is not aerobics and it is legless is not correct.; int1 & int2 -> int3: the goldmine does not braid Anglian.; void -> assump1: Let's assume that the goldmine does braid Anglian.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the maleate is not binary.; int5 & sent6 -> int6: that that the chimneysweeper is binary but it is not antagonistic hold is wrong.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the chimneysweeper is a kind of a binary but it is not antagonistic does not hold if the goldmine braids Anglian. ; $context$ = sent1: the chimneysweeper does succeed. sent2: if something is aerobics then it does not braid Anglian. sent3: if the fact that something is not aerobics but it is legless is not correct it does not braid Anglian. sent4: that the chimneysweeper is aerobics is true. sent5: that the goldmine is aerobics and is legless is not true. sent6: if the maleate is not a binary that the chimneysweeper is a binary but not antagonistic is incorrect. sent7: if the maleate is not a kind of a binary then the fact that the chimneysweeper is binary and antagonistic is false. sent8: the fact that that the goldmine is not aerobics but it is legless is not incorrect is not right if the maleate is binary. ; $proof$ = 
void -> assump2: Let's assume that the maleate is a binary.; sent8 & assump2 -> int1: the fact that the goldmine is both not aerobics and legless is not correct.; sent3 -> int2: the goldmine does not braid Anglian if the fact that it is not aerobics and it is legless is not correct.; int1 & int2 -> int3: the goldmine does not braid Anglian.; void -> assump1: Let's assume that the goldmine does braid Anglian.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the maleate is not binary.; int5 & sent6 -> int6: that that the chimneysweeper is binary but it is not antagonistic hold is wrong.; [assump1] & int6 -> hypothesis; __PROVED__