the Rush is artful.
sent1: if something butts Mozart it is a mid-water. sent2: if the fact that the trombonist is not a mid-water and does butt Thoth does not hold the fact that the gripsack does butt Thoth is not wrong. sent3: if that the gripsack is not a kind of a condition is true then the viscometer is not a autochthon or it is a Dionysia or both. sent4: the gripsack does not condition. sent5: the viscometer is a kind of a autochthon and/or it is a Dionysia if the gripsack is not a condition. sent6: if the viscometer is not serious that it does not butt Mozart and it does not condition does not hold. sent7: if the viscometer is not a autochthon and/or it is a Dionysia the trombonist does not butt Thoth. sent8: the trombonist does not butt Thoth if the viscometer is not a autochthon. sent9: the Rush is artful if something that does daub is a mid-water. sent10: the trombonist daubs. sent11: if the trombonist does not butt Thoth then it is serious. sent12: something does butt Mozart if that it is serious is correct. sent13: the viscometer either is a autochthon or is a kind of a Dionysia or both.
sent3 & sent4 -> int1: the viscometer is not a autochthon or is a Dionysia or both.; int1 & sent7 -> int2: the trombonist does not butt Thoth.; int2 & sent11 -> int3: the trombonist is serious.; sent12 -> int4: that the trombonist butts Mozart if the trombonist is serious is right.; int3 & int4 -> int5: the trombonist butts Mozart.; sent1 -> int6: the trombonist is a mid-water if the fact that it does butt Mozart is true.; int5 & int6 -> int7: the trombonist is a mid-water.; int7 & sent10 -> int8: the trombonist does daub and it is a mid-water.; int8 -> int9: there is something such that it is a daub and it is a mid-water.; int9 & sent9 -> hypothesis;
the Rush is not artful.
$hypothesis$ = the Rush is artful. ; $context$ = sent1: if something butts Mozart it is a mid-water. sent2: if the fact that the trombonist is not a mid-water and does butt Thoth does not hold the fact that the gripsack does butt Thoth is not wrong. sent3: if that the gripsack is not a kind of a condition is true then the viscometer is not a autochthon or it is a Dionysia or both. sent4: the gripsack does not condition. sent5: the viscometer is a kind of a autochthon and/or it is a Dionysia if the gripsack is not a condition. sent6: if the viscometer is not serious that it does not butt Mozart and it does not condition does not hold. sent7: if the viscometer is not a autochthon and/or it is a Dionysia the trombonist does not butt Thoth. sent8: the trombonist does not butt Thoth if the viscometer is not a autochthon. sent9: the Rush is artful if something that does daub is a mid-water. sent10: the trombonist daubs. sent11: if the trombonist does not butt Thoth then it is serious. sent12: something does butt Mozart if that it is serious is correct. sent13: the viscometer either is a autochthon or is a kind of a Dionysia or both. ; $proof$ = 
sent3 & sent4 -> int1: the viscometer is not a autochthon or is a Dionysia or both.; int1 & sent7 -> int2: the trombonist does not butt Thoth.; int2 & sent11 -> int3: the trombonist is serious.; sent12 -> int4: that the trombonist butts Mozart if the trombonist is serious is right.; int3 & int4 -> int5: the trombonist butts Mozart.; sent1 -> int6: the trombonist is a mid-water if the fact that it does butt Mozart is true.; int5 & int6 -> int7: the trombonist is a mid-water.; int7 & sent10 -> int8: the trombonist does daub and it is a mid-water.; int8 -> int9: there is something such that it is a daub and it is a mid-water.; int9 & sent9 -> hypothesis; __PROVED__