the respecter is amoebic.
sent1: the fact that the respecter is non-amoebic is correct if the bat is Austrian and non-amoebic. sent2: if the merlon is a kind of a pinworm it is illicit. sent3: if the respecter is a Kusan but it is not a Austrian it is amoebic. sent4: the respecter is not a Kusan and it is not a Austrian if that the bat is not a kind of a Aristotelian hold. sent5: if the examiner clinches groomsman but it does not ramp velvetleaf the North clinches groomsman. sent6: if the bat is non-Austrian a Aristotelian then the respecter is a Aristotelian. sent7: something is not a kind of a Aristotelian if that either it is a kind of a pinworm or it is not Aristotelian or both is true. sent8: if that the genip is not a kind of a white and/or it is not Jungian is incorrect then it does not hatch bat. sent9: if the bat is Aristotelian the merlon is not illicit and is not a maniraptor. sent10: the merlon is a pinworm or not Aristotelian or both if the cockhorse is not a Kusan. sent11: the cockhorse is not amoebic. sent12: if the merlon is both not a maniraptor and not amoebic then it is a pinworm. sent13: the cockhorse does not clinch groomsman and is a pinworm. sent14: if something is not a kind of a Kusan but it is a Austrian the fact that it is amoebic is not incorrect. sent15: the cockhorse is not a Kusan if that the North is not a Kusan and is not an emulsion is incorrect. sent16: that the genip is not a kind of a white and/or it is not Jungian does not hold. sent17: the merlon is a kind of a pinworm if the cockhorse does not clinch groomsman but it is a pinworm. sent18: the bat is not a Austrian. sent19: the cockhorse does not clinch groomsman. sent20: that something is not a Kusan and it is not an emulsion is not true if it clinches groomsman. sent21: if something that is not a Kusan is not a Austrian then it is amoebic. sent22: the shortstop is not a kind of a pinworm and it is not autographic.
void -> assump1: Let's assume that the fact that the bat is Aristotelian hold.; sent9 & assump1 -> int1: the merlon is non-illicit thing that is not a maniraptor.; int1 -> int2: the merlon is not illicit.; sent17 & sent13 -> int3: the merlon is a pinworm.; sent2 & int3 -> int4: the merlon is illicit.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bat is not Aristotelian.; int6 & sent4 -> int7: the respecter is not a Kusan and it is not a kind of a Austrian.; sent21 -> int8: if the respecter is not a Kusan and it is not a Austrian it is amoebic.; int7 & int8 -> hypothesis;
the respecter is not amoebic.
sent7 -> int9: the merlon is not Aristotelian if it is a pinworm or is not Aristotelian or both.; sent20 -> int10: that the North is not a kind of a Kusan and it is not a kind of an emulsion is not correct if it clinches groomsman.; sent8 & sent16 -> int11: the genip does not hatch bat.; int11 -> int12: there is something such that it does not hatch bat.;
$hypothesis$ = the respecter is amoebic. ; $context$ = sent1: the fact that the respecter is non-amoebic is correct if the bat is Austrian and non-amoebic. sent2: if the merlon is a kind of a pinworm it is illicit. sent3: if the respecter is a Kusan but it is not a Austrian it is amoebic. sent4: the respecter is not a Kusan and it is not a Austrian if that the bat is not a kind of a Aristotelian hold. sent5: if the examiner clinches groomsman but it does not ramp velvetleaf the North clinches groomsman. sent6: if the bat is non-Austrian a Aristotelian then the respecter is a Aristotelian. sent7: something is not a kind of a Aristotelian if that either it is a kind of a pinworm or it is not Aristotelian or both is true. sent8: if that the genip is not a kind of a white and/or it is not Jungian is incorrect then it does not hatch bat. sent9: if the bat is Aristotelian the merlon is not illicit and is not a maniraptor. sent10: the merlon is a pinworm or not Aristotelian or both if the cockhorse is not a Kusan. sent11: the cockhorse is not amoebic. sent12: if the merlon is both not a maniraptor and not amoebic then it is a pinworm. sent13: the cockhorse does not clinch groomsman and is a pinworm. sent14: if something is not a kind of a Kusan but it is a Austrian the fact that it is amoebic is not incorrect. sent15: the cockhorse is not a Kusan if that the North is not a Kusan and is not an emulsion is incorrect. sent16: that the genip is not a kind of a white and/or it is not Jungian does not hold. sent17: the merlon is a kind of a pinworm if the cockhorse does not clinch groomsman but it is a pinworm. sent18: the bat is not a Austrian. sent19: the cockhorse does not clinch groomsman. sent20: that something is not a Kusan and it is not an emulsion is not true if it clinches groomsman. sent21: if something that is not a Kusan is not a Austrian then it is amoebic. sent22: the shortstop is not a kind of a pinworm and it is not autographic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bat is Aristotelian hold.; sent9 & assump1 -> int1: the merlon is non-illicit thing that is not a maniraptor.; int1 -> int2: the merlon is not illicit.; sent17 & sent13 -> int3: the merlon is a pinworm.; sent2 & int3 -> int4: the merlon is illicit.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bat is not Aristotelian.; int6 & sent4 -> int7: the respecter is not a Kusan and it is not a kind of a Austrian.; sent21 -> int8: if the respecter is not a Kusan and it is not a Austrian it is amoebic.; int7 & int8 -> hypothesis; __PROVED__