the yokel is not topped.
sent1: the picker is a Sesotho. sent2: the hilus is civics and/or it acquaints fig. sent3: the fact that the gunite is both not non-subjacent and nonpsychoactive is wrong if something is not mesic. sent4: if that the filigree is subjacent but it is not circadian is incorrect then the fact that it is not a Sesotho is true. sent5: the yokel is not topped if the gunite is circadian thing that is nonpsychoactive. sent6: the hilus is civics. sent7: if the hilus does not top but it is unintelligent then the yokel is a top. sent8: the gunite is circadian if there exists something such that that it is not civics or it acquaints fig or both is incorrect. sent9: something is civics. sent10: the hilus is a Sesotho if it is not civics and/or does acquaint fig. sent11: the filigree is subjacent. sent12: the plumbago is not mesic. sent13: the hilus is not subjacent if the filigree does acquaint fig. sent14: the filigree is not subjacent if either the hilus is unintelligent or it is a Sesotho or both. sent15: there is something such that the fact that it either is civics or acquaints fig or both does not hold. sent16: something is not subjacent if that the fact that it is subjacent and is nonpsychoactive is not false is false. sent17: something is not civics and/or acquaints fig. sent18: if the interferon is not a finance then it is unintelligent.
void -> assump1: Let's assume that the hilus either is not civics or acquaints fig or both.; sent10 & assump1 -> int1: the hilus is a kind of a Sesotho.; int1 -> int2: either the hilus is unintelligent or it is a Sesotho or both.; int2 & sent14 -> int3: the filigree is non-subjacent.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: that that the hilus is not civics and/or does acquaint fig is right is wrong.; int5 -> int6: there is something such that that it is not civics and/or it does acquaint fig is not correct.; int6 & sent8 -> int7: that the gunite is circadian is right.;
the yokel is a kind of a topped.
sent16 -> int8: if that the gunite is subjacent and is nonpsychoactive does not hold then it is not subjacent.; sent12 -> int9: there exists something such that the fact that it is not mesic is correct.; int9 & sent3 -> int10: the fact that the gunite is subjacent and it is nonpsychoactive does not hold.; int8 & int10 -> int11: the gunite is not subjacent.; int11 -> int12: there are non-subjacent things.;
$hypothesis$ = the yokel is not topped. ; $context$ = sent1: the picker is a Sesotho. sent2: the hilus is civics and/or it acquaints fig. sent3: the fact that the gunite is both not non-subjacent and nonpsychoactive is wrong if something is not mesic. sent4: if that the filigree is subjacent but it is not circadian is incorrect then the fact that it is not a Sesotho is true. sent5: the yokel is not topped if the gunite is circadian thing that is nonpsychoactive. sent6: the hilus is civics. sent7: if the hilus does not top but it is unintelligent then the yokel is a top. sent8: the gunite is circadian if there exists something such that that it is not civics or it acquaints fig or both is incorrect. sent9: something is civics. sent10: the hilus is a Sesotho if it is not civics and/or does acquaint fig. sent11: the filigree is subjacent. sent12: the plumbago is not mesic. sent13: the hilus is not subjacent if the filigree does acquaint fig. sent14: the filigree is not subjacent if either the hilus is unintelligent or it is a Sesotho or both. sent15: there is something such that the fact that it either is civics or acquaints fig or both does not hold. sent16: something is not subjacent if that the fact that it is subjacent and is nonpsychoactive is not false is false. sent17: something is not civics and/or acquaints fig. sent18: if the interferon is not a finance then it is unintelligent. ; $proof$ = 
void -> assump1: Let's assume that the hilus either is not civics or acquaints fig or both.; sent10 & assump1 -> int1: the hilus is a kind of a Sesotho.; int1 -> int2: either the hilus is unintelligent or it is a Sesotho or both.; int2 & sent14 -> int3: the filigree is non-subjacent.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: that that the hilus is not civics and/or does acquaint fig is right is wrong.; int5 -> int6: there is something such that that it is not civics and/or it does acquaint fig is not correct.; int6 & sent8 -> int7: that the gunite is circadian is right.; __UNKNOWN__