the fer-de-lance is not digestible.
sent1: the Aborigine enjoys Palmer or it is digestible or both. sent2: if the razor does not enjoy yesterday the fucus is a agrology or it is not lunisolar or both. sent3: the fucus is digestible if that the fer-de-lance is not lunisolar is true. sent4: if either the fucus is a kind of a agrology or it is not lunisolar or both then the fer-de-lance is digestible. sent5: the razor does not enjoy yesterday if the Aborigine enjoys Palmer and/or it is undemocratic. sent6: if the declination is classificatory then the fact that the Aborigine enjoys Palmer is correct. sent7: the declination is not a senate and/or it is a west. sent8: the declination is digestible and/or it is a senate. sent9: if the Aborigine is not a agrology then the fucus is undemocratic. sent10: the Aborigine is a senate. sent11: the declination is classificatory if either it is not a kind of a senate or it is a west or both. sent12: either the fucus is lunisolar or it does not enjoy Palmer or both if the declination is not a senate. sent13: the Aborigine is a kind of a agrology. sent14: the fer-de-lance enjoys Palmer and/or it is an ordinary.
sent11 & sent7 -> int1: the declination is classificatory.; int1 & sent6 -> int2: that the Aborigine does enjoy Palmer is not wrong.; int2 -> int3: the Aborigine enjoys Palmer or it is not democratic or both.; int3 & sent5 -> int4: the razor does not enjoy yesterday.; int4 & sent2 -> int5: the fucus is a agrology and/or not lunisolar.; int5 & sent4 -> hypothesis;
$hypothesis$ = the fer-de-lance is not digestible. ; $context$ = sent1: the Aborigine enjoys Palmer or it is digestible or both. sent2: if the razor does not enjoy yesterday the fucus is a agrology or it is not lunisolar or both. sent3: the fucus is digestible if that the fer-de-lance is not lunisolar is true. sent4: if either the fucus is a kind of a agrology or it is not lunisolar or both then the fer-de-lance is digestible. sent5: the razor does not enjoy yesterday if the Aborigine enjoys Palmer and/or it is undemocratic. sent6: if the declination is classificatory then the fact that the Aborigine enjoys Palmer is correct. sent7: the declination is not a senate and/or it is a west. sent8: the declination is digestible and/or it is a senate. sent9: if the Aborigine is not a agrology then the fucus is undemocratic. sent10: the Aborigine is a senate. sent11: the declination is classificatory if either it is not a kind of a senate or it is a west or both. sent12: either the fucus is lunisolar or it does not enjoy Palmer or both if the declination is not a senate. sent13: the Aborigine is a kind of a agrology. sent14: the fer-de-lance enjoys Palmer and/or it is an ordinary. ; $proof$ = 
sent11 & sent7 -> int1: the declination is classificatory.; int1 & sent6 -> int2: that the Aborigine does enjoy Palmer is not wrong.; int2 -> int3: the Aborigine enjoys Palmer or it is not democratic or both.; int3 & sent5 -> int4: the razor does not enjoy yesterday.; int4 & sent2 -> int5: the fucus is a agrology and/or not lunisolar.; int5 & sent4 -> hypothesis; __DISPROVED__