that there is something such that that it is not cerebrovascular or it is not scriptural or both does not hold does not hold.
sent1: the foe is scriptural. sent2: the foe is not an immune. sent3: the yucca is not cerebrovascular if it is scriptural and does steel Skeat. sent4: The Skeat steels yucca. sent5: if the yucca is not scriptural the fact that the foe is not cerebrovascular and/or it is not scriptural is not right. sent6: something is scriptural. sent7: something is non-cerebrovascular or non-scriptural or both. sent8: something is not scriptural if it is an immune and it steels Skeat. sent9: something is cerebrovascular. sent10: if the S conventionalizes knife-handle and fears sixtieth then it is not scriptural. sent11: that the yucca is not a kind of a pistillode and/or does not conventionalize cashew does not hold. sent12: the yucca is an immune. sent13: there exists something such that that it is not cerebrovascular and/or it is scriptural is incorrect. sent14: the fact that the yucca is not cerebrovascular and/or it does not steel Skeat is not true if the foe does not steel Skeat. sent15: there is something such that that it either conventionalizes Nansen or is not a arethusa or both does not hold. sent16: the yucca does not conventionalize sunglass. sent17: the yucca steels Skeat. sent18: if the yucca is not scriptural the foe is scriptural.
sent12 & sent17 -> int1: the yucca is an immune and it steels Skeat.; sent8 -> int2: the yucca is not scriptural if it is a kind of an immune that steels Skeat.; int1 & int2 -> int3: the yucca is not scriptural.; int3 & sent5 -> int4: that the foe is not cerebrovascular or is not scriptural or both is false.; int4 -> hypothesis;
$hypothesis$ = that there is something such that that it is not cerebrovascular or it is not scriptural or both does not hold does not hold. ; $context$ = sent1: the foe is scriptural. sent2: the foe is not an immune. sent3: the yucca is not cerebrovascular if it is scriptural and does steel Skeat. sent4: The Skeat steels yucca. sent5: if the yucca is not scriptural the fact that the foe is not cerebrovascular and/or it is not scriptural is not right. sent6: something is scriptural. sent7: something is non-cerebrovascular or non-scriptural or both. sent8: something is not scriptural if it is an immune and it steels Skeat. sent9: something is cerebrovascular. sent10: if the S conventionalizes knife-handle and fears sixtieth then it is not scriptural. sent11: that the yucca is not a kind of a pistillode and/or does not conventionalize cashew does not hold. sent12: the yucca is an immune. sent13: there exists something such that that it is not cerebrovascular and/or it is scriptural is incorrect. sent14: the fact that the yucca is not cerebrovascular and/or it does not steel Skeat is not true if the foe does not steel Skeat. sent15: there is something such that that it either conventionalizes Nansen or is not a arethusa or both does not hold. sent16: the yucca does not conventionalize sunglass. sent17: the yucca steels Skeat. sent18: if the yucca is not scriptural the foe is scriptural. ; $proof$ = 
sent12 & sent17 -> int1: the yucca is an immune and it steels Skeat.; sent8 -> int2: the yucca is not scriptural if it is a kind of an immune that steels Skeat.; int1 & int2 -> int3: the yucca is not scriptural.; int3 & sent5 -> int4: that the foe is not cerebrovascular or is not scriptural or both is false.; int4 -> hypothesis; __DISPROVED__