the bearing harp happens.
sent1: the diatonicness happens if the bearing undulation happens. sent2: the Shakespearianness does not occur if not the implying Hydrochoeridae but the bout happens. sent3: if the bearing undulation happens the diatonicness does not occur. sent4: the bearing undulation occurs and/or the bearing terbinafine does not occur if the solicitorship does not occur. sent5: the bout happens. sent6: that the bearing harp occurs is brought about by that the bout does not occur. sent7: the missionary happens. sent8: if the fact that not the masquerade but the Ravel occurs is false the assist happens. sent9: the diatonicness does not occur if the bearing terbinafine does not occur. sent10: the non-Shakespearianness triggers that the diatonicness happens. sent11: the solicitorship does not occur.
void -> assump1: Let's assume that the implying Hydrochoeridae does not occur and the bout occurs.; sent2 & assump1 -> int1: the Shakespearian does not occur.; int1 & sent10 -> int2: the diatonicness occurs.; sent4 & sent11 -> int3: the bearing undulation occurs and/or the bearing terbinafine does not occur.; int3 & sent3 & sent9 -> int4: the diatonicness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the implying Hydrochoeridae does not occur and the bout happens is wrong.;
$hypothesis$ = the bearing harp happens. ; $context$ = sent1: the diatonicness happens if the bearing undulation happens. sent2: the Shakespearianness does not occur if not the implying Hydrochoeridae but the bout happens. sent3: if the bearing undulation happens the diatonicness does not occur. sent4: the bearing undulation occurs and/or the bearing terbinafine does not occur if the solicitorship does not occur. sent5: the bout happens. sent6: that the bearing harp occurs is brought about by that the bout does not occur. sent7: the missionary happens. sent8: if the fact that not the masquerade but the Ravel occurs is false the assist happens. sent9: the diatonicness does not occur if the bearing terbinafine does not occur. sent10: the non-Shakespearianness triggers that the diatonicness happens. sent11: the solicitorship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the implying Hydrochoeridae does not occur and the bout occurs.; sent2 & assump1 -> int1: the Shakespearian does not occur.; int1 & sent10 -> int2: the diatonicness occurs.; sent4 & sent11 -> int3: the bearing undulation occurs and/or the bearing terbinafine does not occur.; int3 & sent3 & sent9 -> int4: the diatonicness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the implying Hydrochoeridae does not occur and the bout happens is wrong.; __UNKNOWN__