the angling urtication occurs.
sent1: if the Bermudan occurs the angling urtication occurs. sent2: that the duet does not occur is brought about by that the meaninglessness occurs. sent3: that the getting topsoil and the squaredness happens is not wrong. sent4: the fact that the getting sodomite does not occur hold. sent5: that the getting topsoil but not the aggression occurs prevents the non-Bermudanness. sent6: if the getting sodomite does not occur then the duet and the makeover happens.
void -> assump1: Let's assume that the aggression happens.; sent6 & sent4 -> int1: that the duet occurs and the makeover happens is correct.; int1 -> int2: the duet happens.; sent3 -> int3: the getting topsoil occurs.;
$hypothesis$ = the angling urtication occurs. ; $context$ = sent1: if the Bermudan occurs the angling urtication occurs. sent2: that the duet does not occur is brought about by that the meaninglessness occurs. sent3: that the getting topsoil and the squaredness happens is not wrong. sent4: the fact that the getting sodomite does not occur hold. sent5: that the getting topsoil but not the aggression occurs prevents the non-Bermudanness. sent6: if the getting sodomite does not occur then the duet and the makeover happens. ; $proof$ = 
void -> assump1: Let's assume that the aggression happens.; sent6 & sent4 -> int1: that the duet occurs and the makeover happens is correct.; int1 -> int2: the duet happens.; sent3 -> int3: the getting topsoil occurs.; __UNKNOWN__