if the hymning Casuarius occurs then the plating braced happens.
sent1: the concealment does not occur but the imparting occurs if the mastering does not occur. sent2: that not the concealment but the imparting happens causes that the plating braced occurs. sent3: that the hymning Casuarius and the mastering happens prevents that the hymning appetizer occurs.
void -> assump1: Let's assume that the hymning Casuarius occurs.; void -> assump2: Let's assume that that the mastering occurs is not false.; assump1 & assump2 -> int1: the hymning Casuarius occurs and the mastering occurs.; int1 & sent3 -> int2: the hymning appetizer does not occur.;
$hypothesis$ = if the hymning Casuarius occurs then the plating braced happens. ; $context$ = sent1: the concealment does not occur but the imparting occurs if the mastering does not occur. sent2: that not the concealment but the imparting happens causes that the plating braced occurs. sent3: that the hymning Casuarius and the mastering happens prevents that the hymning appetizer occurs. ; $proof$ = 
void -> assump1: Let's assume that the hymning Casuarius occurs.; void -> assump2: Let's assume that that the mastering occurs is not false.; assump1 & assump2 -> int1: the hymning Casuarius occurs and the mastering occurs.; int1 & sent3 -> int2: the hymning appetizer does not occur.; __UNKNOWN__