the bobolink is professorial thing that is ultramontane.
sent1: something does fool Dreyfus if it is a kind of a logomach and is not a kind of a boxcar. sent2: that something is a kind of professorial thing that is not non-ultramontane does not hold if it is not a by-and-by. sent3: the birchbark does blame birchbark. sent4: the bobolink is both not non-professorial and lumbar. sent5: the quiff is a boxcar if the birchbark is lumbar thing that does not fool Dreyfus. sent6: there exists something such that it does not devolve. sent7: that the synchrotron fools Dreyfus and it is an oblate does not hold. sent8: the synchrotron does not devolve but it is an oblate. sent9: the birchbark is lumbar if it blames birchbark. sent10: if the synchrotron does not devolve and is oblate the birchbark does not fool Dreyfus. sent11: if something is a boxcar then it is a kind of a logomach. sent12: if the quiff does not fool Dreyfus and is lumbar then the birchbark is not lumbar. sent13: the fact that something does not blame birchbark and is not an oblate is not true if the fact that it is not lumbar is not wrong. sent14: if something is professorial it is lumbar. sent15: the bobolink is professorial and does blame birchbark if there is something such that the fact that it does not devolve is not false. sent16: the birchbark is not a by-and-by. sent17: something that does fool Dreyfus or is not lumbar or both is a kind of a ultramontane. sent18: The birchbark does blame birchbark. sent19: if the quiff is a kind of a logomach then the bobolink is not a kind of a by-and-by.
sent9 & sent3 -> int1: the birchbark is lumbar.; sent10 & sent8 -> int2: the birchbark does not fool Dreyfus.; int1 & int2 -> int3: the birchbark is lumbar but it does not fool Dreyfus.; int3 & sent5 -> int4: the quiff is a boxcar.; sent11 -> int5: if the quiff is a boxcar then it is a kind of a logomach.; int4 & int5 -> int6: the quiff is a logomach.; int6 & sent19 -> int7: the bobolink is not a by-and-by.; sent2 -> int8: if the bobolink is not a by-and-by that it is professorial and it is a ultramontane does not hold.; int7 & int8 -> hypothesis;
the bobolink is professorial and it is a ultramontane.
sent6 & sent15 -> int9: the bobolink is professorial and it does blame birchbark.; int9 -> int10: the bobolink is professorial.; sent17 -> int11: if the bobolink fools Dreyfus and/or is not lumbar then it is a ultramontane.; sent1 -> int12: if the birchbark is a logomach and is not a boxcar it does fool Dreyfus.;
$hypothesis$ = the bobolink is professorial thing that is ultramontane. ; $context$ = sent1: something does fool Dreyfus if it is a kind of a logomach and is not a kind of a boxcar. sent2: that something is a kind of professorial thing that is not non-ultramontane does not hold if it is not a by-and-by. sent3: the birchbark does blame birchbark. sent4: the bobolink is both not non-professorial and lumbar. sent5: the quiff is a boxcar if the birchbark is lumbar thing that does not fool Dreyfus. sent6: there exists something such that it does not devolve. sent7: that the synchrotron fools Dreyfus and it is an oblate does not hold. sent8: the synchrotron does not devolve but it is an oblate. sent9: the birchbark is lumbar if it blames birchbark. sent10: if the synchrotron does not devolve and is oblate the birchbark does not fool Dreyfus. sent11: if something is a boxcar then it is a kind of a logomach. sent12: if the quiff does not fool Dreyfus and is lumbar then the birchbark is not lumbar. sent13: the fact that something does not blame birchbark and is not an oblate is not true if the fact that it is not lumbar is not wrong. sent14: if something is professorial it is lumbar. sent15: the bobolink is professorial and does blame birchbark if there is something such that the fact that it does not devolve is not false. sent16: the birchbark is not a by-and-by. sent17: something that does fool Dreyfus or is not lumbar or both is a kind of a ultramontane. sent18: The birchbark does blame birchbark. sent19: if the quiff is a kind of a logomach then the bobolink is not a kind of a by-and-by. ; $proof$ = 
sent9 & sent3 -> int1: the birchbark is lumbar.; sent10 & sent8 -> int2: the birchbark does not fool Dreyfus.; int1 & int2 -> int3: the birchbark is lumbar but it does not fool Dreyfus.; int3 & sent5 -> int4: the quiff is a boxcar.; sent11 -> int5: if the quiff is a boxcar then it is a kind of a logomach.; int4 & int5 -> int6: the quiff is a logomach.; int6 & sent19 -> int7: the bobolink is not a by-and-by.; sent2 -> int8: if the bobolink is not a by-and-by that it is professorial and it is a ultramontane does not hold.; int7 & int8 -> hypothesis; __DISPROVED__