the grandstander brecciates if the boudoir is a kind of a whorlywort.
sent1: if the entomologist is not a kind of an icing then the grandstander does brecciate. sent2: either something is not a flabbiness or it does not brad poilu or both if it is a kind of a whorlywort. sent3: if the entomologist is not barographic then the grandstander does brecciate. sent4: if the grandstander is barographic then the entomologist brecciates. sent5: the fact that the poilu does brad poilu if the boudoir is a whorlywort is correct.
void -> assump1: Let's assume that that the boudoir is a whorlywort hold.; sent5 & assump1 -> int1: the poilu does brad poilu.;
either the entomologist is not a kind of a flabbiness or it does not brad poilu or both.
sent2 -> int2: the entomologist is not a kind of a flabbiness and/or it does not brad poilu if it is a whorlywort.;
$hypothesis$ = the grandstander brecciates if the boudoir is a kind of a whorlywort. ; $context$ = sent1: if the entomologist is not a kind of an icing then the grandstander does brecciate. sent2: either something is not a flabbiness or it does not brad poilu or both if it is a kind of a whorlywort. sent3: if the entomologist is not barographic then the grandstander does brecciate. sent4: if the grandstander is barographic then the entomologist brecciates. sent5: the fact that the poilu does brad poilu if the boudoir is a whorlywort is correct. ; $proof$ = 
void -> assump1: Let's assume that that the boudoir is a whorlywort hold.; sent5 & assump1 -> int1: the poilu does brad poilu.; __UNKNOWN__