the cleaver is a kind of a kneel if the cipher does group cornpone.
sent1: the fact that the imp does not evade and/or it is a fuck is false if the cipher does not evade. sent2: if the cleaver is not a fuck then the fact that the imp does not evade and does not kneel does not hold. sent3: the cleaver is a kind of a kneel if the fact that either the imp does evade or it is a fuck or both is not right. sent4: the imp evades if the cipher does not evades. sent5: if the fact that either the imp does not evade or it is a fuck or both is false then the cleaver is a kneel. sent6: something does group cornpone if the fact that it does debar dragonfly and is not clerical is not true. sent7: something that debars dragonfly is clerical. sent8: the fact that the imp either does not group cornpone or is a kind of a charcoal or both does not hold if the cipher does not group cornpone. sent9: the cipher does debar dragonfly and is a charcoal. sent10: something that is both clerical and a fuck is not a kneel. sent11: the cipher is a charcoal.
sent7 -> int1: if the cipher debars dragonfly then it is clerical.; sent9 -> int2: the cipher debars dragonfly.; int1 & int2 -> int3: the cipher is clerical.; void -> assump1: Let's assume that the cipher does group cornpone.; int3 & assump1 -> int4: the cipher is a kind of clerical thing that does group cornpone.;
the fact that the armhole does group cornpone hold.
sent6 -> int5: the armhole groups cornpone if the fact that it debars dragonfly and it is not clerical is incorrect.;
$hypothesis$ = the cleaver is a kind of a kneel if the cipher does group cornpone. ; $context$ = sent1: the fact that the imp does not evade and/or it is a fuck is false if the cipher does not evade. sent2: if the cleaver is not a fuck then the fact that the imp does not evade and does not kneel does not hold. sent3: the cleaver is a kind of a kneel if the fact that either the imp does evade or it is a fuck or both is not right. sent4: the imp evades if the cipher does not evades. sent5: if the fact that either the imp does not evade or it is a fuck or both is false then the cleaver is a kneel. sent6: something does group cornpone if the fact that it does debar dragonfly and is not clerical is not true. sent7: something that debars dragonfly is clerical. sent8: the fact that the imp either does not group cornpone or is a kind of a charcoal or both does not hold if the cipher does not group cornpone. sent9: the cipher does debar dragonfly and is a charcoal. sent10: something that is both clerical and a fuck is not a kneel. sent11: the cipher is a charcoal. ; $proof$ = 
sent7 -> int1: if the cipher debars dragonfly then it is clerical.; sent9 -> int2: the cipher debars dragonfly.; int1 & int2 -> int3: the cipher is clerical.; void -> assump1: Let's assume that the cipher does group cornpone.; int3 & assump1 -> int4: the cipher is a kind of clerical thing that does group cornpone.; __UNKNOWN__