something is not a Xyris.
sent1: if that the shopwindow is not a Xyris and does try does not hold then the scythe is not a jiao. sent2: the shopwindow is diatonic. sent3: the shopwindow is not a kind of a Shaker. sent4: if the fact that the fact that the scythe is both not a Shaker and pictographic does not hold is true then the shopwindow tries. sent5: if something is tarsal then either the hotdog is a Cyril or it is not topless or both. sent6: if there is something such that it is not pictographic the fact that the shopwindow is not a Xyris but it tries is not right. sent7: that the shopwindow is a Shaker and it does try is false. sent8: the botanist is a kind of a jiao. sent9: if the scythe is a Shaker then that it is pictographic is true. sent10: if there exists something such that it is a Cyril and/or it is not topless then the busybody is a Shaker. sent11: if the fact that the shopwindow tries and is a kind of a jiao hold then it is not pictographic. sent12: the shopwindow tries if it is a Xyris. sent13: the fact that that the scythe is not eager but it is a kind of a Shaker is not right is right. sent14: that the rigging does not liquefy scythe and is a Narthecium is wrong. sent15: the shopwindow is a tourism. sent16: the rigging does liquefy scythe if the fact that it does not liquefy scythe and is a Narthecium is false. sent17: the scythe does try. sent18: the sandbur is pictographic. sent19: the Fry does not try. sent20: the rigging is a tarsal if that it liquefies scythe is right. sent21: the shopwindow is a jiao. sent22: the scythe does not bestir indumentum. sent23: the shopwindow is a kind of a Xyris if the fact that it is a Shaker is right.
void -> assump1: Let's assume that the shopwindow is a Xyris.; sent12 & assump1 -> int1: that the shopwindow does try hold.; int1 & sent21 -> int2: the shopwindow does try and it is a jiao.; int2 & sent11 -> int3: the shopwindow is not pictographic.;
the scythe is not a jiao.
sent16 & sent14 -> int4: the rigging liquefies scythe.; sent20 & int4 -> int5: the rigging is a tarsal.; int5 -> int6: there is something such that it is tarsal.; int6 & sent5 -> int7: the hotdog is a Cyril and/or it is not topless.; int7 -> int8: there exists something such that it is a Cyril or it is not topless or both.; int8 & sent10 -> int9: the busybody is a Shaker.;
$hypothesis$ = something is not a Xyris. ; $context$ = sent1: if that the shopwindow is not a Xyris and does try does not hold then the scythe is not a jiao. sent2: the shopwindow is diatonic. sent3: the shopwindow is not a kind of a Shaker. sent4: if the fact that the fact that the scythe is both not a Shaker and pictographic does not hold is true then the shopwindow tries. sent5: if something is tarsal then either the hotdog is a Cyril or it is not topless or both. sent6: if there is something such that it is not pictographic the fact that the shopwindow is not a Xyris but it tries is not right. sent7: that the shopwindow is a Shaker and it does try is false. sent8: the botanist is a kind of a jiao. sent9: if the scythe is a Shaker then that it is pictographic is true. sent10: if there exists something such that it is a Cyril and/or it is not topless then the busybody is a Shaker. sent11: if the fact that the shopwindow tries and is a kind of a jiao hold then it is not pictographic. sent12: the shopwindow tries if it is a Xyris. sent13: the fact that that the scythe is not eager but it is a kind of a Shaker is not right is right. sent14: that the rigging does not liquefy scythe and is a Narthecium is wrong. sent15: the shopwindow is a tourism. sent16: the rigging does liquefy scythe if the fact that it does not liquefy scythe and is a Narthecium is false. sent17: the scythe does try. sent18: the sandbur is pictographic. sent19: the Fry does not try. sent20: the rigging is a tarsal if that it liquefies scythe is right. sent21: the shopwindow is a jiao. sent22: the scythe does not bestir indumentum. sent23: the shopwindow is a kind of a Xyris if the fact that it is a Shaker is right. ; $proof$ = 
void -> assump1: Let's assume that the shopwindow is a Xyris.; sent12 & assump1 -> int1: that the shopwindow does try hold.; int1 & sent21 -> int2: the shopwindow does try and it is a jiao.; int2 & sent11 -> int3: the shopwindow is not pictographic.; __UNKNOWN__