the Burr is a GIA.
sent1: something does rob and is not a Pirandello if it constricts. sent2: the dustcloth does not heat recusancy. sent3: something is a fisc if it is a GIA. sent4: if the dustcloth does not heat recusancy then it does not curse and it is a kind of a hysterics. sent5: everything is euphoric. sent6: if the filtrate is not euphoric that it is a kind of a GIA that is not a fisc is incorrect. sent7: something that does not Simonize Vogul either Simonizes Appalachia or is not non-obligate or both. sent8: if the lull is a fisc then it is an alluring. sent9: if the mystification is euphoric the Burr is a fisc. sent10: something is not a GIA if it is not euphoric. sent11: if the dustcloth is not a curse and is a hysterics it does not Simonize Vogul. sent12: the filtrate does constrict if the dustcloth does obligate. sent13: a fisc is euphoric. sent14: the filtrate does constrict if the dustcloth Simonizes Appalachia. sent15: if something is a toothbrush then it is an intention. sent16: something is a kind of a GIA if it is a fisc.
sent5 -> int1: the mystification is euphoric.; int1 & sent9 -> int2: the Burr is a fisc.; sent16 -> int3: the Burr is a GIA if it is a fisc.; int2 & int3 -> hypothesis;
the Burr is not a kind of a GIA.
$hypothesis$ = the Burr is a GIA. ; $context$ = sent1: something does rob and is not a Pirandello if it constricts. sent2: the dustcloth does not heat recusancy. sent3: something is a fisc if it is a GIA. sent4: if the dustcloth does not heat recusancy then it does not curse and it is a kind of a hysterics. sent5: everything is euphoric. sent6: if the filtrate is not euphoric that it is a kind of a GIA that is not a fisc is incorrect. sent7: something that does not Simonize Vogul either Simonizes Appalachia or is not non-obligate or both. sent8: if the lull is a fisc then it is an alluring. sent9: if the mystification is euphoric the Burr is a fisc. sent10: something is not a GIA if it is not euphoric. sent11: if the dustcloth is not a curse and is a hysterics it does not Simonize Vogul. sent12: the filtrate does constrict if the dustcloth does obligate. sent13: a fisc is euphoric. sent14: the filtrate does constrict if the dustcloth Simonizes Appalachia. sent15: if something is a toothbrush then it is an intention. sent16: something is a kind of a GIA if it is a fisc. ; $proof$ = 
sent5 -> int1: the mystification is euphoric.; int1 & sent9 -> int2: the Burr is a fisc.; sent16 -> int3: the Burr is a GIA if it is a fisc.; int2 & int3 -> hypothesis; __PROVED__