the thiopental is ascosporic.
sent1: if something does torment scandalousness and is not a kind of a phycology then the douche is not testate. sent2: if something that is not electrochemical is not stemmatic the block is not organismal. sent3: if something is not organismal then the fact that it is a linemen and it is Boolean is not true. sent4: something is not a kind of a genitive. sent5: there are non-electrochemical and non-stemmatic things. sent6: that the thiopental is not ascosporic hold if the muffler is not a genitive or it is not ascosporic or both. sent7: there is something such that the fact that it is a linemen and is not organismal is not right. sent8: if the muffler is a kind of a phycology the thiopental is ascosporic. sent9: if there is something such that it is not a genitive that the muffler does torment scandalousness is right. sent10: if the douche torments scandalousness the muffler is not a kind of a genitive and/or it is not ascosporic. sent11: if the douche is not testate the suet is not testate and it is not Boolean. sent12: the suet is not a linemen if there exists something such that that it is a kind of a linemen and it is not organismal is not right. sent13: if the suet is not a linemen that it is not testate and it is not Boolean is incorrect.
sent4 & sent9 -> int1: the muffler does torment scandalousness.; void -> assump1: Let's assume that the muffler is not a phycology.; int1 & assump1 -> int2: the muffler does torment scandalousness but it is not a phycology.; int2 -> int3: something does torment scandalousness but it is not a kind of a phycology.; int3 & sent1 -> int4: the douche is not testate.; int4 & sent11 -> int5: the suet is intestate but not Boolean.; sent7 & sent12 -> int6: the suet is not a kind of a linemen.; sent13 & int6 -> int7: the fact that the suet is not testate but non-Boolean is not true.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the muffler is a phycology.; int9 & sent8 -> hypothesis;
the thiopental is not ascosporic.
sent3 -> int10: the fact that the block is both a linemen and Boolean is not true if it is not organismal.; sent5 & sent2 -> int11: the block is not organismal.; int10 & int11 -> int12: the fact that the block is a linemen and it is Boolean is false.; int12 -> int13: there is something such that that it is a linemen that is Boolean is wrong.;
$hypothesis$ = the thiopental is ascosporic. ; $context$ = sent1: if something does torment scandalousness and is not a kind of a phycology then the douche is not testate. sent2: if something that is not electrochemical is not stemmatic the block is not organismal. sent3: if something is not organismal then the fact that it is a linemen and it is Boolean is not true. sent4: something is not a kind of a genitive. sent5: there are non-electrochemical and non-stemmatic things. sent6: that the thiopental is not ascosporic hold if the muffler is not a genitive or it is not ascosporic or both. sent7: there is something such that the fact that it is a linemen and is not organismal is not right. sent8: if the muffler is a kind of a phycology the thiopental is ascosporic. sent9: if there is something such that it is not a genitive that the muffler does torment scandalousness is right. sent10: if the douche torments scandalousness the muffler is not a kind of a genitive and/or it is not ascosporic. sent11: if the douche is not testate the suet is not testate and it is not Boolean. sent12: the suet is not a linemen if there exists something such that that it is a kind of a linemen and it is not organismal is not right. sent13: if the suet is not a linemen that it is not testate and it is not Boolean is incorrect. ; $proof$ = 
sent4 & sent9 -> int1: the muffler does torment scandalousness.; void -> assump1: Let's assume that the muffler is not a phycology.; int1 & assump1 -> int2: the muffler does torment scandalousness but it is not a phycology.; int2 -> int3: something does torment scandalousness but it is not a kind of a phycology.; int3 & sent1 -> int4: the douche is not testate.; int4 & sent11 -> int5: the suet is intestate but not Boolean.; sent7 & sent12 -> int6: the suet is not a kind of a linemen.; sent13 & int6 -> int7: the fact that the suet is not testate but non-Boolean is not true.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the muffler is a phycology.; int9 & sent8 -> hypothesis; __PROVED__