the waterproofing is a kind of glomerular thing that does consummate eyebrow.
sent1: the waterproofing does consummate eyebrow and is a Oken if it is not actinomycetal. sent2: if something does rival Micrococcus it is glomerular. sent3: the waterproofing does rival Micrococcus and is not a sacking. sent4: if something is not non-steadied then it shoots waterproofing. sent5: if something is actinomycetal it does rival Micrococcus and it is not a herder. sent6: the waterproofing is a Oken. sent7: the fact that the waterproofing is not actinomycetal is not wrong. sent8: the waterproofing is not a sacking. sent9: if the waterproofing does not commutate bacteriologist it is a pin-up and it does shoot dockage.
sent1 & sent7 -> int1: the waterproofing does consummate eyebrow and it is a Oken.; int1 -> int2: the waterproofing consummates eyebrow.; sent2 -> int3: if the waterproofing does rival Micrococcus then it is glomerular.; sent3 -> int4: the waterproofing rivals Micrococcus.; int3 & int4 -> int5: the waterproofing is glomerular.; int2 & int5 -> hypothesis;
the quarterlight rivals Micrococcus and is not a herder.
sent5 -> int6: the quarterlight rivals Micrococcus but it is not a herder if it is actinomycetal.;
$hypothesis$ = the waterproofing is a kind of glomerular thing that does consummate eyebrow. ; $context$ = sent1: the waterproofing does consummate eyebrow and is a Oken if it is not actinomycetal. sent2: if something does rival Micrococcus it is glomerular. sent3: the waterproofing does rival Micrococcus and is not a sacking. sent4: if something is not non-steadied then it shoots waterproofing. sent5: if something is actinomycetal it does rival Micrococcus and it is not a herder. sent6: the waterproofing is a Oken. sent7: the fact that the waterproofing is not actinomycetal is not wrong. sent8: the waterproofing is not a sacking. sent9: if the waterproofing does not commutate bacteriologist it is a pin-up and it does shoot dockage. ; $proof$ = 
sent1 & sent7 -> int1: the waterproofing does consummate eyebrow and it is a Oken.; int1 -> int2: the waterproofing consummates eyebrow.; sent2 -> int3: if the waterproofing does rival Micrococcus then it is glomerular.; sent3 -> int4: the waterproofing rivals Micrococcus.; int3 & int4 -> int5: the waterproofing is glomerular.; int2 & int5 -> hypothesis; __PROVED__