the narration but not the scatting occurs.
sent1: the Platonicness happens. sent2: the considerateness but not the footrace occurs. sent3: both the standardization and the obligatoriness happens. sent4: that the stylelessness and the Platonicness occurs leads to that the scat does not occur. sent5: if the standardization occurs then the stylelessness happens.
sent3 -> int1: the standardization occurs.; int1 & sent5 -> int2: the stylelessness happens.; int2 & sent1 -> int3: both the stylelessness and the Platonicness occurs.; int3 & sent4 -> int4: the scat does not occur.;
$hypothesis$ = the narration but not the scatting occurs. ; $context$ = sent1: the Platonicness happens. sent2: the considerateness but not the footrace occurs. sent3: both the standardization and the obligatoriness happens. sent4: that the stylelessness and the Platonicness occurs leads to that the scat does not occur. sent5: if the standardization occurs then the stylelessness happens. ; $proof$ = 
sent3 -> int1: the standardization occurs.; int1 & sent5 -> int2: the stylelessness happens.; int2 & sent1 -> int3: both the stylelessness and the Platonicness occurs.; int3 & sent4 -> int4: the scat does not occur.; __UNKNOWN__