the tangle does not fall.
sent1: if that the tangle does not quiver negus is right the negus is not a newswoman. sent2: if the tangle is a kind of a doubling or does not quiver negus or both then the fact that the negus is not a kind of a newswoman is correct. sent3: the negus does quiver negus. sent4: if the fact that the aardwolf is not betulaceous is true the negus profiteers. sent5: if the fact that something is both betulaceous and not a patronymic does not hold it is betulaceous. sent6: that the negus is not a fall is correct. sent7: something is a kind of a newswoman that does not suspend if it is not Caesarian. sent8: the negus does not trisect jerboa. sent9: the negus is a newswoman or it does not quiver negus or both if it is doubling. sent10: something doubles or quivers negus or both if it does fall. sent11: if the negus does not trisect jerboa then it does hesitate and it does not trisect rioting. sent12: the tangle is not a kind of a Pharisee. sent13: the tangle is lacrimatory and/or it is preanal. sent14: if something does suspend then it is a newswoman. sent15: the tangle does miscast. sent16: there exists nothing such that it is betulaceous and it is not a patronymic. sent17: the tangle is a doubling or does quiver negus or both. sent18: if something is a kind of a newswoman and does not suspend then it falls. sent19: if something is a fall then it doubles or it does not quiver negus or both. sent20: if the negus does not quiver negus then the tangle is not a kind of a newswoman. sent21: if the tangle is a kind of a fall it is a kind of a doubling and/or does quiver negus. sent22: the negus is a newswoman. sent23: if something hesitates and is a profiteer the cockscomb is not Caesarian.
sent19 -> int1: if the tangle is a kind of a fall it does double and/or it does not quiver negus.; void -> assump1: Let's assume that the tangle does fall.; int1 & assump1 -> int2: the tangle is not non-doubling and/or does not quiver negus.; int2 & sent2 -> int3: the negus is not a kind of a newswoman.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the cockscomb is a kind of a fall.
sent18 -> int5: if the cockscomb is a newswoman but it does not suspend it does fall.; sent7 -> int6: the cockscomb is a kind of a newswoman but it does not suspend if that it is not Caesarian is correct.; sent11 & sent8 -> int7: the negus does hesitate and does not trisect rioting.; int7 -> int8: the negus hesitates.; sent5 -> int9: the aardwolf is not betulaceous if the fact that it is betulaceous and it is not a kind of a patronymic is false.; sent16 -> int10: the fact that the aardwolf is betulaceous and not a patronymic is incorrect.; int9 & int10 -> int11: the aardwolf is not betulaceous.; sent4 & int11 -> int12: the negus does profiteer.; int8 & int12 -> int13: the negus hesitates and is a profiteer.; int13 -> int14: there is something such that it hesitates and does profiteer.; int14 & sent23 -> int15: the cockscomb is not Caesarian.; int6 & int15 -> int16: the cockscomb is a newswoman but it does not suspend.; int5 & int16 -> hypothesis;
$hypothesis$ = the tangle does not fall. ; $context$ = sent1: if that the tangle does not quiver negus is right the negus is not a newswoman. sent2: if the tangle is a kind of a doubling or does not quiver negus or both then the fact that the negus is not a kind of a newswoman is correct. sent3: the negus does quiver negus. sent4: if the fact that the aardwolf is not betulaceous is true the negus profiteers. sent5: if the fact that something is both betulaceous and not a patronymic does not hold it is betulaceous. sent6: that the negus is not a fall is correct. sent7: something is a kind of a newswoman that does not suspend if it is not Caesarian. sent8: the negus does not trisect jerboa. sent9: the negus is a newswoman or it does not quiver negus or both if it is doubling. sent10: something doubles or quivers negus or both if it does fall. sent11: if the negus does not trisect jerboa then it does hesitate and it does not trisect rioting. sent12: the tangle is not a kind of a Pharisee. sent13: the tangle is lacrimatory and/or it is preanal. sent14: if something does suspend then it is a newswoman. sent15: the tangle does miscast. sent16: there exists nothing such that it is betulaceous and it is not a patronymic. sent17: the tangle is a doubling or does quiver negus or both. sent18: if something is a kind of a newswoman and does not suspend then it falls. sent19: if something is a fall then it doubles or it does not quiver negus or both. sent20: if the negus does not quiver negus then the tangle is not a kind of a newswoman. sent21: if the tangle is a kind of a fall it is a kind of a doubling and/or does quiver negus. sent22: the negus is a newswoman. sent23: if something hesitates and is a profiteer the cockscomb is not Caesarian. ; $proof$ = 
sent19 -> int1: if the tangle is a kind of a fall it does double and/or it does not quiver negus.; void -> assump1: Let's assume that the tangle does fall.; int1 & assump1 -> int2: the tangle is not non-doubling and/or does not quiver negus.; int2 & sent2 -> int3: the negus is not a kind of a newswoman.; int3 & sent22 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__