the gathering sill happens.
sent1: that both the non-nidifugousness and the conjunctiveness happens triggers that the gathering sill occurs. sent2: if the pulse happens both the non-conjunctiveness and the gathering sill happens. sent3: if the daylight does not occur the conjunctiveness does not occur and the pulsing does not occur. sent4: the Hippocraticness occurs. sent5: if the troubling happens the attending does not occur. sent6: the extensileness occurs. sent7: the fact that the non-extensileness and the interlinearness happens is not right if the cap does not occur. sent8: the cap occurs and the extensileness occurs. sent9: if that the daylight does not occur and the conjunctiveness does not occur is false the conjunctiveness occurs. sent10: if the fact that the extensileness does not occur is true that the gathering sill occurs and the cap occurs is not correct. sent11: that the Hippocraticness does not occur and the nidifugousness does not occur does not hold if the conjunctiveness does not occur. sent12: the fact that if the conjunctiveness does not occur the Hippocraticness occurs and/or the nidifugousness occurs hold. sent13: that the interlinearness does not occur is correct if that both the nonextensileness and the interlinearness occurs is false. sent14: that the carillon happens and the prismaticness occurs prevents that the daylight happens. sent15: that the daylight does not occur and the conjunctiveness does not occur is false. sent16: the gathering sill does not occur if that the gathering sill and the cap occurs is wrong. sent17: the tessellation brings about that the greenhouse does not occur. sent18: the greenhouseness is prevented by the tessellation and/or the cap. sent19: if the prismaticness occurs the daylight happens. sent20: the fact that not the daylight but the conjunctiveness occurs is wrong.
sent8 -> int1: the cap happens.; int1 -> int2: either the tessellation or the cap or both happens.; int2 & sent18 -> int3: the greenhouse does not occur.; void -> assump1: Let's assume that the nidifugousness occurs.; int3 & assump1 -> int4: the nidifugousness occurs and the greenhouse does not occur.; sent9 & sent15 -> int5: the conjunctiveness occurs.;
that the interlinearness does not occur is correct.
$hypothesis$ = the gathering sill happens. ; $context$ = sent1: that both the non-nidifugousness and the conjunctiveness happens triggers that the gathering sill occurs. sent2: if the pulse happens both the non-conjunctiveness and the gathering sill happens. sent3: if the daylight does not occur the conjunctiveness does not occur and the pulsing does not occur. sent4: the Hippocraticness occurs. sent5: if the troubling happens the attending does not occur. sent6: the extensileness occurs. sent7: the fact that the non-extensileness and the interlinearness happens is not right if the cap does not occur. sent8: the cap occurs and the extensileness occurs. sent9: if that the daylight does not occur and the conjunctiveness does not occur is false the conjunctiveness occurs. sent10: if the fact that the extensileness does not occur is true that the gathering sill occurs and the cap occurs is not correct. sent11: that the Hippocraticness does not occur and the nidifugousness does not occur does not hold if the conjunctiveness does not occur. sent12: the fact that if the conjunctiveness does not occur the Hippocraticness occurs and/or the nidifugousness occurs hold. sent13: that the interlinearness does not occur is correct if that both the nonextensileness and the interlinearness occurs is false. sent14: that the carillon happens and the prismaticness occurs prevents that the daylight happens. sent15: that the daylight does not occur and the conjunctiveness does not occur is false. sent16: the gathering sill does not occur if that the gathering sill and the cap occurs is wrong. sent17: the tessellation brings about that the greenhouse does not occur. sent18: the greenhouseness is prevented by the tessellation and/or the cap. sent19: if the prismaticness occurs the daylight happens. sent20: the fact that not the daylight but the conjunctiveness occurs is wrong. ; $proof$ = 
sent8 -> int1: the cap happens.; int1 -> int2: either the tessellation or the cap or both happens.; int2 & sent18 -> int3: the greenhouse does not occur.; void -> assump1: Let's assume that the nidifugousness occurs.; int3 & assump1 -> int4: the nidifugousness occurs and the greenhouse does not occur.; sent9 & sent15 -> int5: the conjunctiveness occurs.; __UNKNOWN__