the fact that the inviting polygraph but not the amphibiousness occurs does not hold.
sent1: the ebbing quoits does not occur. sent2: the tracheostomy occurs. sent3: the fact that the things occurs is right. sent4: the ebbing chufa does not occur. sent5: the fact that that that the preoccupancy and the obscenity happens is true does not hold if the Alsatianness does not occur hold. sent6: if the preoccupancy does not occur then the holing does not occur and the ebbing quoits does not occur. sent7: if that the fact that the preoccupancy and the obscenity occurs is false is right the preoccupancy does not occur. sent8: the holing occurs. sent9: the counterespionage occurs. sent10: the ebbing lesion does not occur. sent11: the amphibiousness does not occur if the ebbing quoits does not occur. sent12: that the hole occurs triggers that the inviting polygraph happens. sent13: the fact that the inviting polygraph happens but the amphibiousness does not occur is wrong if the hole does not occur.
sent12 & sent8 -> int1: the inviting polygraph occurs.; sent11 & sent1 -> int2: the amphibiousness does not occur.; int1 & int2 -> hypothesis;
the fact that the inviting polygraph and the non-amphibiousness happens is incorrect.
$hypothesis$ = the fact that the inviting polygraph but not the amphibiousness occurs does not hold. ; $context$ = sent1: the ebbing quoits does not occur. sent2: the tracheostomy occurs. sent3: the fact that the things occurs is right. sent4: the ebbing chufa does not occur. sent5: the fact that that that the preoccupancy and the obscenity happens is true does not hold if the Alsatianness does not occur hold. sent6: if the preoccupancy does not occur then the holing does not occur and the ebbing quoits does not occur. sent7: if that the fact that the preoccupancy and the obscenity occurs is false is right the preoccupancy does not occur. sent8: the holing occurs. sent9: the counterespionage occurs. sent10: the ebbing lesion does not occur. sent11: the amphibiousness does not occur if the ebbing quoits does not occur. sent12: that the hole occurs triggers that the inviting polygraph happens. sent13: the fact that the inviting polygraph happens but the amphibiousness does not occur is wrong if the hole does not occur. ; $proof$ = 
sent12 & sent8 -> int1: the inviting polygraph occurs.; sent11 & sent1 -> int2: the amphibiousness does not occur.; int1 & int2 -> hypothesis; __DISPROVED__