that the Sunni is diabatic hold.
sent1: the designer is inelegant. sent2: if the designer is intestate then the liger is not inelegant. sent3: the liger is inelegant if the fact that there is something such that that it is shambolic is true is not false. sent4: there are middling things. sent5: the breechloader is a middling. sent6: if something is a cookhouse it is diabatic. sent7: there is something such that it is a Dorian. sent8: if something is Dorian then it is not inelegant. sent9: the liger is a cookhouse and/or is not middling. sent10: that the Sunni is not a cookhouse is false if a Dorian is a middling. sent11: the fireball does middle if that the breechloader middle is true. sent12: that the timberman is testate but it is not a kind of a Dorian is incorrect if the designer is middling. sent13: there are shambolic things. sent14: the fact that if the designer is testate the fireball is a kind of a Dorian hold.
void -> assump1: Let's assume that the designer is not testate.; sent2 & assump1 -> int1: the liger is not inelegant.; sent13 & sent3 -> int2: the liger is inelegant.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the designer is testate.; int4 & sent14 -> int5: the fireball is a Dorian.; sent11 & sent5 -> int6: the fireball is a middling.; int5 & int6 -> int7: the fireball is both a Dorian and middling.; int7 -> int8: there is something such that it is not non-Dorian and is a kind of a middling.; int8 & sent10 -> int9: the Sunni is a cookhouse.; sent6 -> int10: if the Sunni is a cookhouse it is diabatic.; int9 & int10 -> hypothesis;
the timberman is inelegant.
$hypothesis$ = that the Sunni is diabatic hold. ; $context$ = sent1: the designer is inelegant. sent2: if the designer is intestate then the liger is not inelegant. sent3: the liger is inelegant if the fact that there is something such that that it is shambolic is true is not false. sent4: there are middling things. sent5: the breechloader is a middling. sent6: if something is a cookhouse it is diabatic. sent7: there is something such that it is a Dorian. sent8: if something is Dorian then it is not inelegant. sent9: the liger is a cookhouse and/or is not middling. sent10: that the Sunni is not a cookhouse is false if a Dorian is a middling. sent11: the fireball does middle if that the breechloader middle is true. sent12: that the timberman is testate but it is not a kind of a Dorian is incorrect if the designer is middling. sent13: there are shambolic things. sent14: the fact that if the designer is testate the fireball is a kind of a Dorian hold. ; $proof$ = 
void -> assump1: Let's assume that the designer is not testate.; sent2 & assump1 -> int1: the liger is not inelegant.; sent13 & sent3 -> int2: the liger is inelegant.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the designer is testate.; int4 & sent14 -> int5: the fireball is a Dorian.; sent11 & sent5 -> int6: the fireball is a middling.; int5 & int6 -> int7: the fireball is both a Dorian and middling.; int7 -> int8: there is something such that it is not non-Dorian and is a kind of a middling.; int8 & sent10 -> int9: the Sunni is a cookhouse.; sent6 -> int10: if the Sunni is a cookhouse it is diabatic.; int9 & int10 -> hypothesis; __PROVED__