that the wright does not finger wright is not false.
sent1: the wright is glottal. sent2: the wright is up. sent3: the masturbation is a kind of a marguerite if the bigot does not finger hagiography and is divergent. sent4: if the wright fingers wright and is Gaussian it is not aboral. sent5: if the masturbation is a marguerite then the wright is Gaussian. sent6: something that does up is an aqueduct. sent7: the bigot does not finger hagiography and is divergent. sent8: a non-aboral thing that is glottal is not a kind of an aqueduct.
sent3 & sent7 -> int1: the masturbation is a marguerite.; int1 & sent5 -> int2: that the wright is not Gaussian is not true.; void -> assump1: Let's assume that that the wright does finger wright is true.; int2 & assump1 -> int3: the wright does finger wright and is Gaussian.; int3 & sent4 -> int4: the wright is not aboral.; int4 & sent1 -> int5: the wright is not aboral and is glottal.; sent8 -> int6: the wright is not an aqueduct if it is not aboral and it is glottal.; int5 & int6 -> int7: the wright is not an aqueduct.; sent6 -> int8: the wright is a kind of an aqueduct if it does up.; int8 & sent2 -> int9: the wright is a kind of an aqueduct.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = that the wright does not finger wright is not false. ; $context$ = sent1: the wright is glottal. sent2: the wright is up. sent3: the masturbation is a kind of a marguerite if the bigot does not finger hagiography and is divergent. sent4: if the wright fingers wright and is Gaussian it is not aboral. sent5: if the masturbation is a marguerite then the wright is Gaussian. sent6: something that does up is an aqueduct. sent7: the bigot does not finger hagiography and is divergent. sent8: a non-aboral thing that is glottal is not a kind of an aqueduct. ; $proof$ = 
sent3 & sent7 -> int1: the masturbation is a marguerite.; int1 & sent5 -> int2: that the wright is not Gaussian is not true.; void -> assump1: Let's assume that that the wright does finger wright is true.; int2 & assump1 -> int3: the wright does finger wright and is Gaussian.; int3 & sent4 -> int4: the wright is not aboral.; int4 & sent1 -> int5: the wright is not aboral and is glottal.; sent8 -> int6: the wright is not an aqueduct if it is not aboral and it is glottal.; int5 & int6 -> int7: the wright is not an aqueduct.; sent6 -> int8: the wright is a kind of an aqueduct if it does up.; int8 & sent2 -> int9: the wright is a kind of an aqueduct.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__