the fact that if the idyll occurs that the stylization does not occur is right is not true.
sent1: that the idyll does not occur is prevented by that the stylization occurs and the excluding noseband occurs. sent2: the aspiring does not occur. sent3: the stylization is triggered by the idyll. sent4: the fact that the cyberneticsness does not occur is true. sent5: that the idyll does not occur is brought about by that the stylization happens and the excluding noseband happens. sent6: the roundness occurs. sent7: the fact that the excluding noseband happens is correct. sent8: if both the slapshot and the Jungian happens the spartanness does not occur. sent9: that the anastigmaticness occurs hold.
void -> assump1: Let's assume that the idyll happens.; void -> assump2: Let's assume that the stylization occurs.; assump2 & sent7 -> int1: both the stylization and the excluding noseband occurs.; sent5 & int1 -> int2: the idyll does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stylization does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the idyll occurs that the stylization does not occur is right is not true. ; $context$ = sent1: that the idyll does not occur is prevented by that the stylization occurs and the excluding noseband occurs. sent2: the aspiring does not occur. sent3: the stylization is triggered by the idyll. sent4: the fact that the cyberneticsness does not occur is true. sent5: that the idyll does not occur is brought about by that the stylization happens and the excluding noseband happens. sent6: the roundness occurs. sent7: the fact that the excluding noseband happens is correct. sent8: if both the slapshot and the Jungian happens the spartanness does not occur. sent9: that the anastigmaticness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the idyll happens.; void -> assump2: Let's assume that the stylization occurs.; assump2 & sent7 -> int1: both the stylization and the excluding noseband occurs.; sent5 & int1 -> int2: the idyll does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the stylization does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__