the fact that the nebulousness occurs if the adverbialness occurs is not right.
sent1: if the non-holiness and the propaedeutic happens then the viticulture happens. sent2: the dallying happens. sent3: if the bundling adulteress and the adverbial happens then the holiness does not occur. sent4: the fact that that the propaedeutic and the lysogenizing gastroscopy occurs is right is not true. sent5: that the propaedeutic does not occur but the lysogenizing gastroscopy occurs is incorrect. sent6: the nebulousness happens if the viticulture happens. sent7: not the bundling freelancer but the bundling adulteress happens. sent8: if the fact that not the propaedeutic but the lysogenizing gastroscopy happens is not right then the propaedeutic occurs.
sent7 -> int1: the fact that the bundling adulteress happens is correct.; void -> assump1: Let's assume that the fact that the adverbialness happens is right.; int1 & assump1 -> int2: both the bundling adulteress and the adverbialness happens.; int2 & sent3 -> int3: the fact that the holiness does not occur is true.; sent8 & sent5 -> int4: the propaedeutic happens.; int3 & int4 -> int5: the holiness does not occur but the propaedeutic occurs.; int5 & sent1 -> int6: the viticulture happens.; int6 & sent6 -> int7: the nebulousness occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the nebulousness occurs if the adverbialness occurs is not right. ; $context$ = sent1: if the non-holiness and the propaedeutic happens then the viticulture happens. sent2: the dallying happens. sent3: if the bundling adulteress and the adverbial happens then the holiness does not occur. sent4: the fact that that the propaedeutic and the lysogenizing gastroscopy occurs is right is not true. sent5: that the propaedeutic does not occur but the lysogenizing gastroscopy occurs is incorrect. sent6: the nebulousness happens if the viticulture happens. sent7: not the bundling freelancer but the bundling adulteress happens. sent8: if the fact that not the propaedeutic but the lysogenizing gastroscopy happens is not right then the propaedeutic occurs. ; $proof$ = 
sent7 -> int1: the fact that the bundling adulteress happens is correct.; void -> assump1: Let's assume that the fact that the adverbialness happens is right.; int1 & assump1 -> int2: both the bundling adulteress and the adverbialness happens.; int2 & sent3 -> int3: the fact that the holiness does not occur is true.; sent8 & sent5 -> int4: the propaedeutic happens.; int3 & int4 -> int5: the holiness does not occur but the propaedeutic occurs.; int5 & sent1 -> int6: the viticulture happens.; int6 & sent6 -> int7: the nebulousness occurs.; [assump1] & int7 -> hypothesis; __DISPROVED__