the slurry does screw.
sent1: if the homebrew is not a screw the slurry is not a slipping and is inconvenient. sent2: something is a Hammerstein if it is not a kind of a aspic and is inconvenient. sent3: the homebrew is not a slipping. sent4: if something is not inconvenient and does screw then it is a aspic. sent5: the slurry is not a slipping and not convenient. sent6: if that the homebrew does not impersonate and/or is a rider is not correct then it is not aerobics. sent7: if the homebrew is not a slipping the slurry is not a aspic and is inconvenient. sent8: the slurry is a screw if it is a kind of a Hammerstein.
sent7 & sent3 -> int1: the slurry is not a aspic and not convenient.; sent2 -> int2: the slurry is a Hammerstein if it is not a aspic but inconvenient.; int1 & int2 -> int3: the slurry is a Hammerstein.; int3 & sent8 -> hypothesis;
the microfilm is not penumbral but it is a slipping.
$hypothesis$ = the slurry does screw. ; $context$ = sent1: if the homebrew is not a screw the slurry is not a slipping and is inconvenient. sent2: something is a Hammerstein if it is not a kind of a aspic and is inconvenient. sent3: the homebrew is not a slipping. sent4: if something is not inconvenient and does screw then it is a aspic. sent5: the slurry is not a slipping and not convenient. sent6: if that the homebrew does not impersonate and/or is a rider is not correct then it is not aerobics. sent7: if the homebrew is not a slipping the slurry is not a aspic and is inconvenient. sent8: the slurry is a screw if it is a kind of a Hammerstein. ; $proof$ = 
sent7 & sent3 -> int1: the slurry is not a aspic and not convenient.; sent2 -> int2: the slurry is a Hammerstein if it is not a aspic but inconvenient.; int1 & int2 -> int3: the slurry is a Hammerstein.; int3 & sent8 -> hypothesis; __PROVED__