both the mutationalness and the parsing peduncle happens.
sent1: the fact that the fact that both the non-point-of-saleness and the X-raying happens is not right is true if the biology does not occur. sent2: the fact that not the polychromaticness but the apomicticness occurs is not true if the disciplining does not occur. sent3: that the biology happens is prevented by that the parsing cleanup does not occur but the parsing Tswana happens. sent4: both the parsing peduncle and the parsing hooch happens. sent5: both the lacing katamorphism and the soteriologicalness occurs. sent6: if the point-of-saleness happens the mutationalness occurs. sent7: if the parsing cleanup occurs then the coexisting does not occur. sent8: the parsing Tswana happens. sent9: the startup occurs. sent10: the tape happens. sent11: the fixing culdoscope occurs. sent12: the flesh does not occur. sent13: if the fixing culdoscope happens then the coexisting occurs.
void -> assump1: Let's assume that the parsing cleanup occurs.; sent7 & assump1 -> int1: the coexisting does not occur.; sent13 & sent11 -> int2: the coexisting occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the parsing cleanup does not occur is right.; int4 & sent8 -> int5: not the parsing cleanup but the parsing Tswana happens.; int5 & sent3 -> int6: the fact that the biology does not occur is not incorrect.; int6 & sent1 -> int7: that not the point-of-saleness but the X-raying happens does not hold.; sent4 -> int8: the parsing peduncle happens.;
the fact that both the mutationalness and the parsing peduncle occurs does not hold.
 -> hypothesis;
$hypothesis$ = both the mutationalness and the parsing peduncle happens. ; $context$ = sent1: the fact that the fact that both the non-point-of-saleness and the X-raying happens is not right is true if the biology does not occur. sent2: the fact that not the polychromaticness but the apomicticness occurs is not true if the disciplining does not occur. sent3: that the biology happens is prevented by that the parsing cleanup does not occur but the parsing Tswana happens. sent4: both the parsing peduncle and the parsing hooch happens. sent5: both the lacing katamorphism and the soteriologicalness occurs. sent6: if the point-of-saleness happens the mutationalness occurs. sent7: if the parsing cleanup occurs then the coexisting does not occur. sent8: the parsing Tswana happens. sent9: the startup occurs. sent10: the tape happens. sent11: the fixing culdoscope occurs. sent12: the flesh does not occur. sent13: if the fixing culdoscope happens then the coexisting occurs. ; $proof$ = 
void -> assump1: Let's assume that the parsing cleanup occurs.; sent7 & assump1 -> int1: the coexisting does not occur.; sent13 & sent11 -> int2: the coexisting occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the parsing cleanup does not occur is right.; int4 & sent8 -> int5: not the parsing cleanup but the parsing Tswana happens.; int5 & sent3 -> int6: the fact that the biology does not occur is not incorrect.; int6 & sent1 -> int7: that not the point-of-saleness but the X-raying happens does not hold.; sent4 -> int8: the parsing peduncle happens.; __UNKNOWN__