the slag does not recumb but it is a RFD.
sent1: the fact that the brachyuran symbolizes brachyuran and it does recumb is not correct if the vegan does not symbolize glioblastoma. sent2: if the fact that the patchcord is a kind of a clinch that is not a Kura is not incorrect then the vegan does not symbolize glioblastoma. sent3: there is something such that the fact that it does not humanize childlessness and it is rimless is false. sent4: there is something such that it is not a RFD and it does not symbolize glioblastoma. sent5: the slag is a kind of a RFD if there is something such that it is a kind of a RFD. sent6: if the brachyuran does not symbolize brachyuran then the slag does not dominate dissatisfaction. sent7: if the brachyuran does not symbolize brachyuran the slag does not recumb and it does not dominate dissatisfaction. sent8: the brachyuran does not symbolize brachyuran if there is something such that that it does not humanize childlessness and is rimless does not hold. sent9: there is something such that the fact that that it humanizes childlessness and is not rimmed is not false is not right. sent10: there is something such that the fact that it is not a kind of a RFD and symbolizes glioblastoma is not true. sent11: there exists something such that the fact that it is not a RFD and it does not symbolize glioblastoma does not hold. sent12: the slag is a RFD if there is something such that the fact that it is not a kind of a RFD and it does not symbolize glioblastoma is wrong.
sent3 & sent8 -> int1: the brachyuran does not symbolize brachyuran.; int1 & sent7 -> int2: the slag does not recumb and it does not dominate dissatisfaction.; int2 -> int3: the slag does not recumb.; sent11 & sent12 -> int4: the slag is a RFD.; int3 & int4 -> hypothesis;
the brachyuran is not a RFD but it is a Argonautidae.
$hypothesis$ = the slag does not recumb but it is a RFD. ; $context$ = sent1: the fact that the brachyuran symbolizes brachyuran and it does recumb is not correct if the vegan does not symbolize glioblastoma. sent2: if the fact that the patchcord is a kind of a clinch that is not a Kura is not incorrect then the vegan does not symbolize glioblastoma. sent3: there is something such that the fact that it does not humanize childlessness and it is rimless is false. sent4: there is something such that it is not a RFD and it does not symbolize glioblastoma. sent5: the slag is a kind of a RFD if there is something such that it is a kind of a RFD. sent6: if the brachyuran does not symbolize brachyuran then the slag does not dominate dissatisfaction. sent7: if the brachyuran does not symbolize brachyuran the slag does not recumb and it does not dominate dissatisfaction. sent8: the brachyuran does not symbolize brachyuran if there is something such that that it does not humanize childlessness and is rimless does not hold. sent9: there is something such that the fact that that it humanizes childlessness and is not rimmed is not false is not right. sent10: there is something such that the fact that it is not a kind of a RFD and symbolizes glioblastoma is not true. sent11: there exists something such that the fact that it is not a RFD and it does not symbolize glioblastoma does not hold. sent12: the slag is a RFD if there is something such that the fact that it is not a kind of a RFD and it does not symbolize glioblastoma is wrong. ; $proof$ = 
sent3 & sent8 -> int1: the brachyuran does not symbolize brachyuran.; int1 & sent7 -> int2: the slag does not recumb and it does not dominate dissatisfaction.; int2 -> int3: the slag does not recumb.; sent11 & sent12 -> int4: the slag is a RFD.; int3 & int4 -> hypothesis; __PROVED__