if the newmarket is not sublunar the Alaskan is not a kind of a rhombohedron and it is not a Malawian.
sent1: if the fact that the Alaskan is non-sublunar thing that is a rhombohedron is not true then the staphylococcus is not a kind of a Earth. sent2: if the Alaskan is a rhombohedron the newmarket is a Earth. sent3: the Alaskan is Soviets. sent4: if something is not Bantoid and it is not a bop it is not non-curly. sent5: the Alaskan is not a Earth. sent6: the macrame is a kind of a landmark. sent7: if there is something such that it is isolationist the fact that the Dipper does capitalize but it does not achromatize Cetorhinus does not hold. sent8: that the pilaster is isolationist is true if that it is a Praetorian is not incorrect. sent9: if the newmarket is a Malawian the Alaskan is Soviets. sent10: the fact that the pilaster is not angelic is right if the magnetism is angelic. sent11: the fact that the pilaster is not angelic is not incorrect if the magnetism is a reference. sent12: that something is not Bantoid and is not a bop if it is a kind of a Lactarius is right. sent13: the newmarket is not a kind of a Malawian but it is Soviets if the macrame is curly. sent14: if something that is not a Malawian is Soviets then it is not a kind of a landmark. sent15: the macrame is a Lactarius if there is something such that the fact that it capitalizes and it does not achromatize Cetorhinus is not right. sent16: the macrame is not a landmark if the newmarket is a Earth that is not non-sublunar. sent17: if the newmarket is sublunar then the Alaskan is not a kind of a rhombohedron and it is not a kind of a Malawian. sent18: if something is not angelic then it is Praetorian and it is a haploid. sent19: the Alaskan is not sublunar if the newmarket is a kind of a Earth but it is not a kind of a rhombohedron. sent20: if the newmarket is a Earth but it is not sublunar then the macrame is not a landmark. sent21: the macrame is sublunar. sent22: the magnetism is either angelic or a reference or both. sent23: if the fact that the newmarket is not a landmark hold then that the fact that the Alaskan is a kind of non-sublunar thing that is a rhombohedron is not right is correct.
void -> assump2: Let's assume that the Alaskan is a kind of a rhombohedron.; sent2 & assump2 -> int1: the newmarket is a Earth.; void -> assump1: Let's assume that the fact that the newmarket is not sublunar is correct.; int1 & assump1 -> int2: the newmarket is both a Earth and not sublunar.; int2 & sent20 -> int3: the macrame is not a landmark.; int3 & sent6 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Alaskan is not a kind of a rhombohedron.;
the staphylococcus is not a Earth.
sent14 -> int6: that the newmarket is a landmark is incorrect if it is both not a Malawian and Soviets.; sent4 -> int7: if the macrame is a kind of non-Bantoid thing that does not bop it is curly.; sent12 -> int8: the macrame is a kind of non-Bantoid thing that is not a bop if it is a kind of a Lactarius.; sent18 -> int9: if the pilaster is not angelic it is Praetorian thing that is haploid.; sent22 & sent10 & sent11 -> int10: the pilaster is not angelic.; int9 & int10 -> int11: the pilaster is Praetorian and it is a kind of a haploid.; int11 -> int12: the pilaster is a Praetorian.; sent8 & int12 -> int13: the pilaster is isolationist.; int13 -> int14: there is something such that it is a kind of an isolationist.; int14 & sent7 -> int15: that the Dipper does capitalize and does not achromatize Cetorhinus does not hold.; int15 -> int16: there is something such that that it capitalizes and does not achromatize Cetorhinus is not true.; int16 & sent15 -> int17: the macrame is a Lactarius.; int8 & int17 -> int18: the macrame is not Bantoid and it is not a bop.; int7 & int18 -> int19: the fact that the macrame is curly is not false.; sent13 & int19 -> int20: the newmarket is a kind of non-Malawian thing that is Soviets.; int6 & int20 -> int21: the newmarket is not a landmark.; sent23 & int21 -> int22: that the Alaskan is not sublunar but a rhombohedron does not hold.; sent1 & int22 -> hypothesis;
$hypothesis$ = if the newmarket is not sublunar the Alaskan is not a kind of a rhombohedron and it is not a Malawian. ; $context$ = sent1: if the fact that the Alaskan is non-sublunar thing that is a rhombohedron is not true then the staphylococcus is not a kind of a Earth. sent2: if the Alaskan is a rhombohedron the newmarket is a Earth. sent3: the Alaskan is Soviets. sent4: if something is not Bantoid and it is not a bop it is not non-curly. sent5: the Alaskan is not a Earth. sent6: the macrame is a kind of a landmark. sent7: if there is something such that it is isolationist the fact that the Dipper does capitalize but it does not achromatize Cetorhinus does not hold. sent8: that the pilaster is isolationist is true if that it is a Praetorian is not incorrect. sent9: if the newmarket is a Malawian the Alaskan is Soviets. sent10: the fact that the pilaster is not angelic is right if the magnetism is angelic. sent11: the fact that the pilaster is not angelic is not incorrect if the magnetism is a reference. sent12: that something is not Bantoid and is not a bop if it is a kind of a Lactarius is right. sent13: the newmarket is not a kind of a Malawian but it is Soviets if the macrame is curly. sent14: if something that is not a Malawian is Soviets then it is not a kind of a landmark. sent15: the macrame is a Lactarius if there is something such that the fact that it capitalizes and it does not achromatize Cetorhinus is not right. sent16: the macrame is not a landmark if the newmarket is a Earth that is not non-sublunar. sent17: if the newmarket is sublunar then the Alaskan is not a kind of a rhombohedron and it is not a kind of a Malawian. sent18: if something is not angelic then it is Praetorian and it is a haploid. sent19: the Alaskan is not sublunar if the newmarket is a kind of a Earth but it is not a kind of a rhombohedron. sent20: if the newmarket is a Earth but it is not sublunar then the macrame is not a landmark. sent21: the macrame is sublunar. sent22: the magnetism is either angelic or a reference or both. sent23: if the fact that the newmarket is not a landmark hold then that the fact that the Alaskan is a kind of non-sublunar thing that is a rhombohedron is not right is correct. ; $proof$ = 
void -> assump2: Let's assume that the Alaskan is a kind of a rhombohedron.; sent2 & assump2 -> int1: the newmarket is a Earth.; void -> assump1: Let's assume that the fact that the newmarket is not sublunar is correct.; int1 & assump1 -> int2: the newmarket is both a Earth and not sublunar.; int2 & sent20 -> int3: the macrame is not a landmark.; int3 & sent6 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Alaskan is not a kind of a rhombohedron.; __UNKNOWN__