the gargle is not a kind of a Ruptiliocarpon.
sent1: something is a kind of a Germanic if it poles mode. sent2: if something is Arawakan then that it poles mode is not incorrect. sent3: the Cheviot is Arawakan if the breadroot does pole mode. sent4: if there is something such that it is a heliopause then that the paddy is not a heliopause and it is not a precariousness is not right. sent5: the paddy is Germanic if there exists something such that it does crave and is not periodontic. sent6: something is a heliopause. sent7: if something does not crave and it is not periodontic the paddy is Germanic. sent8: if the fact that the paddy is not a heliopause and it is not a kind of a precariousness does not hold it does not mean poverty. sent9: if the paddy is Germanic the breadroot does pole mode. sent10: the fact that the gargle does crave and is not periodontic is not right. sent11: the fact that if the fact that something does not crave and is not periodontic does not hold then it is not a Ruptiliocarpon is not incorrect. sent12: something does not pole mode if that it does not crave and it is not a Ruptiliocarpon is not true. sent13: the paddy does not gong Columbidae. sent14: the gargle is not a Ruptiliocarpon if it craves. sent15: that the gargle is both not a Ruptiliocarpon and not a Germanic is incorrect. sent16: the gargle does crave if there exists something such that it is not a Ruptiliocarpon and gongs Columbidae.
void -> assump1: Let's assume that the gargle does not crave and it is not periodontic.; assump1 -> int1: something does not crave and it is not periodontic.; int1 & sent7 -> int2: the paddy is Germanic.; int2 & sent9 -> int3: the breadroot does pole mode.; int3 & sent3 -> int4: the fact that the Cheviot is Arawakan is true.; sent11 -> int5: if the fact that the gargle does not crave and is not periodontic is not true it is not a Ruptiliocarpon.;
the gargle is a Ruptiliocarpon.
sent1 -> int6: the gargle is a kind of a Germanic if it does pole mode.; sent2 -> int7: if the gargle is Arawakan then it does pole mode.; sent6 & sent4 -> int8: that the paddy is not a heliopause and it is not a precariousness does not hold.; sent8 & int8 -> int9: the fact that the paddy does not mean poverty is not false.; sent13 & int9 -> int10: the paddy does not gong Columbidae and does not mean poverty.; int10 -> int11: there is something such that it does not gong Columbidae and it does not mean poverty.;
$hypothesis$ = the gargle is not a kind of a Ruptiliocarpon. ; $context$ = sent1: something is a kind of a Germanic if it poles mode. sent2: if something is Arawakan then that it poles mode is not incorrect. sent3: the Cheviot is Arawakan if the breadroot does pole mode. sent4: if there is something such that it is a heliopause then that the paddy is not a heliopause and it is not a precariousness is not right. sent5: the paddy is Germanic if there exists something such that it does crave and is not periodontic. sent6: something is a heliopause. sent7: if something does not crave and it is not periodontic the paddy is Germanic. sent8: if the fact that the paddy is not a heliopause and it is not a kind of a precariousness does not hold it does not mean poverty. sent9: if the paddy is Germanic the breadroot does pole mode. sent10: the fact that the gargle does crave and is not periodontic is not right. sent11: the fact that if the fact that something does not crave and is not periodontic does not hold then it is not a Ruptiliocarpon is not incorrect. sent12: something does not pole mode if that it does not crave and it is not a Ruptiliocarpon is not true. sent13: the paddy does not gong Columbidae. sent14: the gargle is not a Ruptiliocarpon if it craves. sent15: that the gargle is both not a Ruptiliocarpon and not a Germanic is incorrect. sent16: the gargle does crave if there exists something such that it is not a Ruptiliocarpon and gongs Columbidae. ; $proof$ = 
void -> assump1: Let's assume that the gargle does not crave and it is not periodontic.; assump1 -> int1: something does not crave and it is not periodontic.; int1 & sent7 -> int2: the paddy is Germanic.; int2 & sent9 -> int3: the breadroot does pole mode.; int3 & sent3 -> int4: the fact that the Cheviot is Arawakan is true.; sent11 -> int5: if the fact that the gargle does not crave and is not periodontic is not true it is not a Ruptiliocarpon.; __UNKNOWN__