the pottage is not tympanitic.
sent1: everything is not joyous. sent2: if the pottage is not ethereal it is not tympanitic. sent3: something is not tympanitic if it is either a stride or not ethereal or both. sent4: that something is not tympanitic hold if it is not ethereal. sent5: the pottage is a kind of a stride or it is ethereal or both. sent6: something is a kind of a tanning that is amicable if it is not joyous. sent7: the pottage is a stride and/or is not ethereal.
sent3 -> int1: the pottage is not tympanitic if it does stride or it is not ethereal or both.; int1 & sent7 -> hypothesis;
the pottage is tympanitic.
sent6 -> int2: the blastoderm tans and it is amicable if it is non-joyous.; sent1 -> int3: the blastoderm is non-joyous.; int2 & int3 -> int4: the blastoderm is a tanning and is amicable.; int4 -> int5: everything is a tanning and amicable.; int5 -> int6: the convictfish tans and it is amicable.; int6 -> int7: the convictfish tans.;
$hypothesis$ = the pottage is not tympanitic. ; $context$ = sent1: everything is not joyous. sent2: if the pottage is not ethereal it is not tympanitic. sent3: something is not tympanitic if it is either a stride or not ethereal or both. sent4: that something is not tympanitic hold if it is not ethereal. sent5: the pottage is a kind of a stride or it is ethereal or both. sent6: something is a kind of a tanning that is amicable if it is not joyous. sent7: the pottage is a stride and/or is not ethereal. ; $proof$ = 
sent3 -> int1: the pottage is not tympanitic if it does stride or it is not ethereal or both.; int1 & sent7 -> hypothesis; __PROVED__