the agglomerate girdles passport but it does not piece agglomerate.
sent1: that the agglomerate is not aromatic but it does girdle graded is wrong. sent2: the pinworm does girdle graded if the agglomerate is both a felon and aromatic. sent3: the pinworm is not a judge if the talkie is not a judge or it is not hard or both. sent4: The agglomerate does not piece agglomerate. sent5: a medical thing girdles passport. sent6: if the pinworm does not girdle graded but it judges then the agglomerate pieces agglomerate. sent7: if something is not thick the fact that it does girdle passport and does not piece agglomerate does not hold. sent8: the agglomerate does not piece crosse. sent9: something that girdles graded is aromatic. sent10: the agglomerate does girdle graded if it is a felon. sent11: there is something such that it is not hard. sent12: the talkie does not judge and/or it is not hard if something is not hard. sent13: the pinworm is not orbital but it is a kind of a hypodermic. sent14: the agglomerate is a clout if it is a felon. sent15: that the agglomerate is both a felon and aromatic does not hold. sent16: something is not thick if it is not a kind of a judge. sent17: the agglomerate does not piece agglomerate. sent18: the talkie is thick if the pinworm does girdle graded. sent19: if the fact that something is not a felon but aromatic is not right then it does clout. sent20: the thioguanine is a kind of a judge. sent21: if a clout is medical then that it does not girdle graded is not wrong. sent22: if the fact that the talkie is medical is not wrong it does judge. sent23: the agglomerate is a kind of a felon if the talkie is thick and it girdles passport. sent24: the pinworm is aromatic. sent25: the talkie does not judge. sent26: something is a clout if it is a kind of a felon. sent27: the agglomerate is not a felon. sent28: the pinworm does girdle graded if the agglomerate is not a felon but it is aromatic.
void -> assump1: Let's assume that the agglomerate is not a felon but it is aromatic.; sent28 & assump1 -> int1: the pinworm does girdle graded.; int1 & sent18 -> int2: the talkie is thick.; sent16 -> int3: if the talkie is not a judge then it is not thick.; int3 & sent25 -> int4: the talkie is not thick.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the agglomerate is not a felon and is aromatic is false.; sent19 -> int7: if that the agglomerate is not a kind of a felon and is aromatic is incorrect it does clout.; int6 & int7 -> int8: the agglomerate is a clout.; sent5 -> int9: if the agglomerate is medical then it does girdle passport.;
the fact that the agglomerate does girdle passport but it does not piece agglomerate does not hold.
sent7 -> int10: that the agglomerate does girdle passport and does not piece agglomerate does not hold if it is not thick.; sent21 -> int11: the agglomerate does not girdle graded if it is a clout and not non-medical.; sent11 & sent12 -> int12: the talkie is not a judge and/or it is not hard.; sent3 & int12 -> int13: the pinworm is not a judge.; int13 -> int14: there is something such that it is not a judge.;
$hypothesis$ = the agglomerate girdles passport but it does not piece agglomerate. ; $context$ = sent1: that the agglomerate is not aromatic but it does girdle graded is wrong. sent2: the pinworm does girdle graded if the agglomerate is both a felon and aromatic. sent3: the pinworm is not a judge if the talkie is not a judge or it is not hard or both. sent4: The agglomerate does not piece agglomerate. sent5: a medical thing girdles passport. sent6: if the pinworm does not girdle graded but it judges then the agglomerate pieces agglomerate. sent7: if something is not thick the fact that it does girdle passport and does not piece agglomerate does not hold. sent8: the agglomerate does not piece crosse. sent9: something that girdles graded is aromatic. sent10: the agglomerate does girdle graded if it is a felon. sent11: there is something such that it is not hard. sent12: the talkie does not judge and/or it is not hard if something is not hard. sent13: the pinworm is not orbital but it is a kind of a hypodermic. sent14: the agglomerate is a clout if it is a felon. sent15: that the agglomerate is both a felon and aromatic does not hold. sent16: something is not thick if it is not a kind of a judge. sent17: the agglomerate does not piece agglomerate. sent18: the talkie is thick if the pinworm does girdle graded. sent19: if the fact that something is not a felon but aromatic is not right then it does clout. sent20: the thioguanine is a kind of a judge. sent21: if a clout is medical then that it does not girdle graded is not wrong. sent22: if the fact that the talkie is medical is not wrong it does judge. sent23: the agglomerate is a kind of a felon if the talkie is thick and it girdles passport. sent24: the pinworm is aromatic. sent25: the talkie does not judge. sent26: something is a clout if it is a kind of a felon. sent27: the agglomerate is not a felon. sent28: the pinworm does girdle graded if the agglomerate is not a felon but it is aromatic. ; $proof$ = 
void -> assump1: Let's assume that the agglomerate is not a felon but it is aromatic.; sent28 & assump1 -> int1: the pinworm does girdle graded.; int1 & sent18 -> int2: the talkie is thick.; sent16 -> int3: if the talkie is not a judge then it is not thick.; int3 & sent25 -> int4: the talkie is not thick.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the agglomerate is not a felon and is aromatic is false.; sent19 -> int7: if that the agglomerate is not a kind of a felon and is aromatic is incorrect it does clout.; int6 & int7 -> int8: the agglomerate is a clout.; sent5 -> int9: if the agglomerate is medical then it does girdle passport.; __UNKNOWN__