the shrine does not marshal Hawthorne.
sent1: the shrine is a kind of a transitive if it does marshal Hawthorne. sent2: the squeegee is a piranha and it is a kind of a backstay. sent3: the harvest-lice does preoccupy pageant. sent4: there exists something such that it is comprehensible. sent5: there exists something such that it is a Elaphurus. sent6: the shrine is a nonagenarian if the fact that the Luddite does not mark diffidence and is a Elaphurus does not hold. sent7: the middle is a kind of a knobkerrie if there exists something such that that it is comprehensible is not incorrect. sent8: the middle does preoccupy pageant. sent9: the middle does mark diffidence if the Luddite does not preoccupy pageant. sent10: the shrine preoccupies pageant. sent11: the fact that the middle does not mark diffidence and is a knobkerrie is false if the squeegee does not mark diffidence. sent12: the hollandaise does preoccupy pageant. sent13: the squeegee preoccupies pageant. sent14: The pageant does preoccupy middle. sent15: the shrine is a knobkerrie if it is a kind of a nonagenarian. sent16: that the middle is a kind of intransitive a Elaphurus is not correct if the Luddite is not a intransitive. sent17: the Luddite is a Elaphurus if the fact that the middle does not marshal Hawthorne but it preoccupies pageant is wrong. sent18: the shrine marshals Hawthorne if it is a nonagenarian. sent19: the squeegee does not mark diffidence if the middle is both a knobkerrie and a transitive. sent20: if the middle preoccupies pageant then it is a transitive. sent21: if the squeegee does not mark diffidence the fact that the Luddite does not mark diffidence but it is a Elaphurus is not right. sent22: the fact that the shrine is a perineurium is not false.
sent4 & sent7 -> int1: the middle is a knobkerrie.; sent20 & sent8 -> int2: the middle is a kind of a transitive.; int1 & int2 -> int3: the middle is a knobkerrie and is transitive.; int3 & sent19 -> int4: the squeegee does not mark diffidence.; int4 & sent21 -> int5: the fact that the Luddite does not mark diffidence but it is a Elaphurus is not true.; int5 & sent6 -> int6: the shrine is a nonagenarian.; int6 & sent18 -> hypothesis;
$hypothesis$ = the shrine does not marshal Hawthorne. ; $context$ = sent1: the shrine is a kind of a transitive if it does marshal Hawthorne. sent2: the squeegee is a piranha and it is a kind of a backstay. sent3: the harvest-lice does preoccupy pageant. sent4: there exists something such that it is comprehensible. sent5: there exists something such that it is a Elaphurus. sent6: the shrine is a nonagenarian if the fact that the Luddite does not mark diffidence and is a Elaphurus does not hold. sent7: the middle is a kind of a knobkerrie if there exists something such that that it is comprehensible is not incorrect. sent8: the middle does preoccupy pageant. sent9: the middle does mark diffidence if the Luddite does not preoccupy pageant. sent10: the shrine preoccupies pageant. sent11: the fact that the middle does not mark diffidence and is a knobkerrie is false if the squeegee does not mark diffidence. sent12: the hollandaise does preoccupy pageant. sent13: the squeegee preoccupies pageant. sent14: The pageant does preoccupy middle. sent15: the shrine is a knobkerrie if it is a kind of a nonagenarian. sent16: that the middle is a kind of intransitive a Elaphurus is not correct if the Luddite is not a intransitive. sent17: the Luddite is a Elaphurus if the fact that the middle does not marshal Hawthorne but it preoccupies pageant is wrong. sent18: the shrine marshals Hawthorne if it is a nonagenarian. sent19: the squeegee does not mark diffidence if the middle is both a knobkerrie and a transitive. sent20: if the middle preoccupies pageant then it is a transitive. sent21: if the squeegee does not mark diffidence the fact that the Luddite does not mark diffidence but it is a Elaphurus is not right. sent22: the fact that the shrine is a perineurium is not false. ; $proof$ = 
sent4 & sent7 -> int1: the middle is a knobkerrie.; sent20 & sent8 -> int2: the middle is a kind of a transitive.; int1 & int2 -> int3: the middle is a knobkerrie and is transitive.; int3 & sent19 -> int4: the squeegee does not mark diffidence.; int4 & sent21 -> int5: the fact that the Luddite does not mark diffidence but it is a Elaphurus is not true.; int5 & sent6 -> int6: the shrine is a nonagenarian.; int6 & sent18 -> hypothesis; __DISPROVED__