if the clawback occurs then the coveting character happens.
sent1: the thermometry occurs. sent2: the atonicness occurs. sent3: that the monocarpicness happens is triggered by the non-piscineness. sent4: that the reformation does not occur and the coveting beechnut does not occur is triggered by that the clawback does not occur. sent5: if the preventing does not occur then the trailing happens. sent6: the rubdown occurs and the reformation happens. sent7: if the reformation does not occur both the capacity and the rubdown happens. sent8: the crooking happens and the humiliation happens. sent9: if the reformation happens then the coveting beechnut happens. sent10: if the secretaryship occurs the preventing occurs. sent11: that the squawking Min does not occur is true. sent12: if the Ceyloneseness does not occur then the coveting character occurs. sent13: if the aping Lind occurs then that the indiscernibleness happens is correct. sent14: that the squawking expressionist happens triggers that the treating sculpin occurs. sent15: the acquisition and the graduation occurs. sent16: the blastemalness occurs. sent17: the rubdown occurs.
sent6 -> int1: that the reformation happens is right.; sent9 & int1 -> int2: the coveting beechnut occurs.; void -> assump1: Let's assume that the clawback occurs.; int2 & assump1 -> int3: the coveting beechnut happens and the clawback occurs.;
that the capacity happens is not incorrect.
$hypothesis$ = if the clawback occurs then the coveting character happens. ; $context$ = sent1: the thermometry occurs. sent2: the atonicness occurs. sent3: that the monocarpicness happens is triggered by the non-piscineness. sent4: that the reformation does not occur and the coveting beechnut does not occur is triggered by that the clawback does not occur. sent5: if the preventing does not occur then the trailing happens. sent6: the rubdown occurs and the reformation happens. sent7: if the reformation does not occur both the capacity and the rubdown happens. sent8: the crooking happens and the humiliation happens. sent9: if the reformation happens then the coveting beechnut happens. sent10: if the secretaryship occurs the preventing occurs. sent11: that the squawking Min does not occur is true. sent12: if the Ceyloneseness does not occur then the coveting character occurs. sent13: if the aping Lind occurs then that the indiscernibleness happens is correct. sent14: that the squawking expressionist happens triggers that the treating sculpin occurs. sent15: the acquisition and the graduation occurs. sent16: the blastemalness occurs. sent17: the rubdown occurs. ; $proof$ = 
sent6 -> int1: that the reformation happens is right.; sent9 & int1 -> int2: the coveting beechnut occurs.; void -> assump1: Let's assume that the clawback occurs.; int2 & assump1 -> int3: the coveting beechnut happens and the clawback occurs.; __UNKNOWN__