the janissary is a gruffness but not east.
sent1: if the sarcosporidian does freshen but it does not waft then the janissary freshen. sent2: if the sarcosporidian is non-east the janissary is not a non-east. sent3: if something that does not spot cocooning does fudge voile then it does not freshen. sent4: something is not east if it does not waft. sent5: if something is not a vocable then it does not transship. sent6: if either something does spot cocooning or it does fudge voile or both then that it does not waft is not incorrect. sent7: if the sarcosporidian does freshen then it spots cocooning. sent8: the janissary does not fudge voile. sent9: the sarcosporidian freshens. sent10: if that the sarcosporidian is not a kind of an east is not false then the janissary is a gruffness but it is not an east. sent11: that something is a kind of a gruffness but it is not an east does not hold if it does not freshen. sent12: the janissary is a kind of a favoritism but it is not volumetric. sent13: the sarcosporidian does not fudge voile if that the portal is an east and does not summarize is not true.
sent7 & sent9 -> int1: the sarcosporidian spots cocooning.; int1 -> int2: the sarcosporidian spots cocooning and/or fudges voile.; sent6 -> int3: if the fact that the sarcosporidian does spot cocooning and/or does fudge voile is not incorrect then it does not waft.; int2 & int3 -> int4: the sarcosporidian does not waft.; sent4 -> int5: if the sarcosporidian does not waft then it is not an east.; int4 & int5 -> int6: the sarcosporidian is not an east.; int6 & sent10 -> hypothesis;
the janissary does spot cocooning and/or is a kind of a blolly.
$hypothesis$ = the janissary is a gruffness but not east. ; $context$ = sent1: if the sarcosporidian does freshen but it does not waft then the janissary freshen. sent2: if the sarcosporidian is non-east the janissary is not a non-east. sent3: if something that does not spot cocooning does fudge voile then it does not freshen. sent4: something is not east if it does not waft. sent5: if something is not a vocable then it does not transship. sent6: if either something does spot cocooning or it does fudge voile or both then that it does not waft is not incorrect. sent7: if the sarcosporidian does freshen then it spots cocooning. sent8: the janissary does not fudge voile. sent9: the sarcosporidian freshens. sent10: if that the sarcosporidian is not a kind of an east is not false then the janissary is a gruffness but it is not an east. sent11: that something is a kind of a gruffness but it is not an east does not hold if it does not freshen. sent12: the janissary is a kind of a favoritism but it is not volumetric. sent13: the sarcosporidian does not fudge voile if that the portal is an east and does not summarize is not true. ; $proof$ = 
sent7 & sent9 -> int1: the sarcosporidian spots cocooning.; int1 -> int2: the sarcosporidian spots cocooning and/or fudges voile.; sent6 -> int3: if the fact that the sarcosporidian does spot cocooning and/or does fudge voile is not incorrect then it does not waft.; int2 & int3 -> int4: the sarcosporidian does not waft.; sent4 -> int5: if the sarcosporidian does not waft then it is not an east.; int4 & int5 -> int6: the sarcosporidian is not an east.; int6 & sent10 -> hypothesis; __PROVED__