the variableness but not the admitting happens if the tipping hayfield happens.
sent1: the graphicness does not occur and the pick does not occur. sent2: the skedaddle occurs if the graphicness does not occur but the pick happens. sent3: the fibrocalcificness is brought about by that the pick does not occur. sent4: the graphicness does not occur. sent5: the non-illativeness and the bauxiticness happens. sent6: the monophonicness and the variableness occurs if the illativeness does not occur.
sent1 -> int1: the fact that the picking does not occur is not false.; int1 & sent3 -> int2: the fibrocalcificness occurs.; void -> assump1: Let's assume that the tipping hayfield happens.; int2 & assump1 -> int3: both the tipping hayfield and the fibrocalcificness happens.; sent5 -> int4: the illativeness does not occur.; sent6 & int4 -> int5: the monophonicness occurs and the variable occurs.; int5 -> int6: the variable occurs.;
the skedaddle occurs.
$hypothesis$ = the variableness but not the admitting happens if the tipping hayfield happens. ; $context$ = sent1: the graphicness does not occur and the pick does not occur. sent2: the skedaddle occurs if the graphicness does not occur but the pick happens. sent3: the fibrocalcificness is brought about by that the pick does not occur. sent4: the graphicness does not occur. sent5: the non-illativeness and the bauxiticness happens. sent6: the monophonicness and the variableness occurs if the illativeness does not occur. ; $proof$ = 
sent1 -> int1: the fact that the picking does not occur is not false.; int1 & sent3 -> int2: the fibrocalcificness occurs.; void -> assump1: Let's assume that the tipping hayfield happens.; int2 & assump1 -> int3: both the tipping hayfield and the fibrocalcificness happens.; sent5 -> int4: the illativeness does not occur.; sent6 & int4 -> int5: the monophonicness occurs and the variable occurs.; int5 -> int6: the variable occurs.; __UNKNOWN__