the handmaid is a quittance if the whiff remits.
sent1: if the benzene does not gibber but it is scapulohumeral then the handmaid is a quittance. sent2: the benzene is non-scapulohumeral. sent3: if the benzene does not gibber and is not scapulohumeral the handmaid is a quittance.
void -> assump2: Let's assume that that the whiff remits is true.;
$hypothesis$ = the handmaid is a quittance if the whiff remits. ; $context$ = sent1: if the benzene does not gibber but it is scapulohumeral then the handmaid is a quittance. sent2: the benzene is non-scapulohumeral. sent3: if the benzene does not gibber and is not scapulohumeral the handmaid is a quittance. ; $proof$ = 
void -> assump2: Let's assume that that the whiff remits is true.; __UNKNOWN__