the elm is not a lobule.
sent1: that that something is a kind of non-substantial thing that sequesters is incorrect if it is not a kind of an autobiographer is right. sent2: the Gaul is Nauruan. sent3: the fact that the fact that something is substantial and does sequester is incorrect if it is not an autobiographer is not wrong. sent4: the Gaul is a kind of a Nauruan if it is a kind of an autobiographer. sent5: there is something such that it is not a taurine. sent6: that the Gaul is either not a Nauruan or not maleficent or both is not correct if it is an autobiographer. sent7: if something is not a taurine then the fact that the Tsimshian is punitive is true. sent8: the seabag does not clank tribune if the fact that the Gaul is not a Nauruan and/or it is not maleficent does not hold. sent9: if something is a kind of an autobiographer then it is a kind of a lobule. sent10: if that something is not substantial but it sequesters is not right it sputters notebook. sent11: if the Tsimshian is punitive then the seabag clanks tribune. sent12: if that the elm clanks tribune is right it is an autobiographer.
void -> assump1: Let's assume that that the Gaul is a kind of an autobiographer is true.; sent6 & assump1 -> int1: the fact that the Gaul is either not a Nauruan or not maleficent or both is false.; int1 & sent8 -> int2: the seabag does not clank tribune.; sent5 & sent7 -> int3: the Tsimshian is punitive.; sent11 & int3 -> int4: the seabag does clank tribune.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Gaul is not an autobiographer.; sent1 -> int7: the fact that the Gaul is not substantial and sequesters is not right if it is not an autobiographer.; int6 & int7 -> int8: the fact that the Gaul is a kind of insubstantial thing that does sequester is incorrect.; sent10 -> int9: the Gaul does sputter notebook if that it is not substantial and sequesters is not true.; int8 & int9 -> int10: the Gaul sputters notebook.;
the elm is a kind of a lobule.
sent9 -> int11: the elm is a lobule if it is a kind of an autobiographer.;
$hypothesis$ = the elm is not a lobule. ; $context$ = sent1: that that something is a kind of non-substantial thing that sequesters is incorrect if it is not a kind of an autobiographer is right. sent2: the Gaul is Nauruan. sent3: the fact that the fact that something is substantial and does sequester is incorrect if it is not an autobiographer is not wrong. sent4: the Gaul is a kind of a Nauruan if it is a kind of an autobiographer. sent5: there is something such that it is not a taurine. sent6: that the Gaul is either not a Nauruan or not maleficent or both is not correct if it is an autobiographer. sent7: if something is not a taurine then the fact that the Tsimshian is punitive is true. sent8: the seabag does not clank tribune if the fact that the Gaul is not a Nauruan and/or it is not maleficent does not hold. sent9: if something is a kind of an autobiographer then it is a kind of a lobule. sent10: if that something is not substantial but it sequesters is not right it sputters notebook. sent11: if the Tsimshian is punitive then the seabag clanks tribune. sent12: if that the elm clanks tribune is right it is an autobiographer. ; $proof$ = 
void -> assump1: Let's assume that that the Gaul is a kind of an autobiographer is true.; sent6 & assump1 -> int1: the fact that the Gaul is either not a Nauruan or not maleficent or both is false.; int1 & sent8 -> int2: the seabag does not clank tribune.; sent5 & sent7 -> int3: the Tsimshian is punitive.; sent11 & int3 -> int4: the seabag does clank tribune.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Gaul is not an autobiographer.; sent1 -> int7: the fact that the Gaul is not substantial and sequesters is not right if it is not an autobiographer.; int6 & int7 -> int8: the fact that the Gaul is a kind of insubstantial thing that does sequester is incorrect.; sent10 -> int9: the Gaul does sputter notebook if that it is not substantial and sequesters is not true.; int8 & int9 -> int10: the Gaul sputters notebook.; __UNKNOWN__