the fact that the hooker is a kind of non-editorial thing that brushes is wrong.
sent1: the cubby does not maintain Liriope. sent2: The Liriope does not maintain cubby. sent3: if there exists something such that it does not maintain Liriope the hooker is a kind of non-editorial thing that is a brush.
sent1 -> int1: there exists something such that it does not maintain Liriope.; int1 & sent3 -> hypothesis;
$hypothesis$ = the fact that the hooker is a kind of non-editorial thing that brushes is wrong. ; $context$ = sent1: the cubby does not maintain Liriope. sent2: The Liriope does not maintain cubby. sent3: if there exists something such that it does not maintain Liriope the hooker is a kind of non-editorial thing that is a brush. ; $proof$ = 
sent1 -> int1: there exists something such that it does not maintain Liriope.; int1 & sent3 -> hypothesis; __DISPROVED__