if the fact that the piecing starboard happens is not wrong the scuffing companion occurs.
sent1: the fact that the coil does not occur is not wrong. sent2: the twinkling occurs. sent3: the scuffing Majidae does not occur. sent4: if the undiplomaticness occurs the coiling happens. sent5: that the monoclonal occurs is brought about by the girdling bear. sent6: if the aligning occurs and the scuffing capercaillie does not occur then the hostileness happens. sent7: if the line and the demonstrativeness occurs that the propositioning occurs is right. sent8: the smearing happens. sent9: if the bitch happens then the girdling ruddiness occurs.
void -> assump1: Let's assume that the piecing starboard occurs.; assump1 & sent3 -> int1: the piecing starboard but not the scuffing Majidae happens.;
$hypothesis$ = if the fact that the piecing starboard happens is not wrong the scuffing companion occurs. ; $context$ = sent1: the fact that the coil does not occur is not wrong. sent2: the twinkling occurs. sent3: the scuffing Majidae does not occur. sent4: if the undiplomaticness occurs the coiling happens. sent5: that the monoclonal occurs is brought about by the girdling bear. sent6: if the aligning occurs and the scuffing capercaillie does not occur then the hostileness happens. sent7: if the line and the demonstrativeness occurs that the propositioning occurs is right. sent8: the smearing happens. sent9: if the bitch happens then the girdling ruddiness occurs. ; $proof$ = 
void -> assump1: Let's assume that the piecing starboard occurs.; assump1 & sent3 -> int1: the piecing starboard but not the scuffing Majidae happens.; __UNKNOWN__