there is something such that the fact that it does not tat and is not a kind of a Dyirbal is incorrect.
sent1: That the while does not describe sirenian hold. sent2: that the sirenian does not describe while hold. sent3: if that the chlortetracycline does not exempt comparative is not wrong then the sirenian does point. sent4: if the enzymologist is not a Dyirbal the chlortetracycline does not exempt comparative. sent5: that the enzymologist whispers but it is not a point does not hold. sent6: if the sirenian is a frontal the fact that it is a kind of a zymase is true. sent7: something describes while if it is a kind of a zymase. sent8: if the sirenian does point then it is frontal. sent9: the tetroxide cleans chlortetracycline.
void -> assump1: Let's assume that the enzymologist does not tat and it is not a Dyirbal.; assump1 -> int1: that the enzymologist is not a kind of a Dyirbal hold.; int1 & sent4 -> int2: the chlortetracycline does not exempt comparative.; int2 & sent3 -> int3: the sirenian is a point.; int3 & sent8 -> int4: the sirenian is a frontal.; int4 & sent6 -> int5: the sirenian is a zymase.; sent7 -> int6: if the sirenian is a zymase then it does describe while.; int5 & int6 -> int7: the sirenian does describe while.; int7 & sent2 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the enzymologist does not tat and is not a Dyirbal is wrong.; int9 -> hypothesis;
$hypothesis$ = there is something such that the fact that it does not tat and is not a kind of a Dyirbal is incorrect. ; $context$ = sent1: That the while does not describe sirenian hold. sent2: that the sirenian does not describe while hold. sent3: if that the chlortetracycline does not exempt comparative is not wrong then the sirenian does point. sent4: if the enzymologist is not a Dyirbal the chlortetracycline does not exempt comparative. sent5: that the enzymologist whispers but it is not a point does not hold. sent6: if the sirenian is a frontal the fact that it is a kind of a zymase is true. sent7: something describes while if it is a kind of a zymase. sent8: if the sirenian does point then it is frontal. sent9: the tetroxide cleans chlortetracycline. ; $proof$ = 
void -> assump1: Let's assume that the enzymologist does not tat and it is not a Dyirbal.; assump1 -> int1: that the enzymologist is not a kind of a Dyirbal hold.; int1 & sent4 -> int2: the chlortetracycline does not exempt comparative.; int2 & sent3 -> int3: the sirenian is a point.; int3 & sent8 -> int4: the sirenian is a frontal.; int4 & sent6 -> int5: the sirenian is a zymase.; sent7 -> int6: if the sirenian is a zymase then it does describe while.; int5 & int6 -> int7: the sirenian does describe while.; int7 & sent2 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the enzymologist does not tat and is not a Dyirbal is wrong.; int9 -> hypothesis; __PROVED__