the tent-fly does not wrap Iguazu.
sent1: the outsider is not an adultery. sent2: if the fact that the musculature does not hunger turtler and it is not a kind of a ATF is false the tent-fly wraps Iguazu. sent3: a mural thing that is not a cleaning hungers turtler. sent4: that the tent-fly does wrap Iguazu is not true if it does wrap oratory. sent5: that something does not hunger turtler and is not a ATF does not hold if it does not wrap oratory. sent6: that the juror is a kind of a phenobarbital and it constructs kelp does not hold if it does escort. sent7: the juror is a kind of an escort. sent8: the canyonside is both a tormentor and not recessional if it is a kind of an adultery. sent9: if something does wrap oratory it does not wrap Iguazu. sent10: something that does wrap oratory or is not a ATF or both does not wrap Iguazu. sent11: the musculature is not a ATF if that the juror is mural but it is non-cleaning is not true. sent12: if the Munch is a minimalism then it is not inaudible. sent13: if something does construct kelp it does not wrap oratory and it is a kind of a phenobarbital. sent14: if something constructs kelp it does not hunger turtler. sent15: that the juror does not hunger turtler is right if it does construct kelp. sent16: the fact that if that something is a phenobarbital but it does not construct kelp is not right it does not hunger turtler is not false. sent17: the juror is not non-mural. sent18: the fact that the juror is a phenobarbital and it constructs kelp is not true. sent19: if the fact that the scabious is not a Polynesian or it constructs kelp or both does not hold the musculature constructs kelp. sent20: the musculature is not a kind of a ATF if that the juror is not a kind of a mural is not false. sent21: the tablefork is not an escort if something is a tormentor but not recessional. sent22: if the outsider is not an adultery then the canyonside is an adultery. sent23: if the juror escorts then the fact that it is a kind of a phenobarbital and it does not construct kelp is not correct.
sent3 -> int1: if the juror is not non-mural but non-cleaning it hungers turtler.; void -> assump1: Let's assume that the juror is mural but it is not a cleaning.; int1 & assump1 -> int2: the juror does hunger turtler.; sent16 -> int3: the juror does not hunger turtler if the fact that it is a phenobarbital and it does not construct kelp is not true.; sent23 & sent7 -> int4: the fact that the juror is a kind of a phenobarbital that does not construct kelp is incorrect.; int3 & int4 -> int5: the juror does not hunger turtler.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the juror is mural but it is not a cleaning is false.; int7 & sent11 -> int8: the musculature is not a ATF.; sent10 -> int9: the tent-fly does not wrap Iguazu if it does wrap oratory or it is not a ATF or both.;
the tent-fly wraps Iguazu.
sent5 -> int10: if the musculature does not wrap oratory that it does not hunger turtler and it is not a kind of a ATF is wrong.; sent13 -> int11: if the musculature constructs kelp it does not wrap oratory and is a kind of a phenobarbital.; sent22 & sent1 -> int12: the canyonside is an adultery.; sent8 & int12 -> int13: the canyonside is a tormentor but it is not a recessional.; int13 -> int14: something is both a tormentor and not recessional.; int14 & sent21 -> int15: the tablefork is not a kind of an escort.; int15 -> int16: there exists something such that it does not escort.;
$hypothesis$ = the tent-fly does not wrap Iguazu. ; $context$ = sent1: the outsider is not an adultery. sent2: if the fact that the musculature does not hunger turtler and it is not a kind of a ATF is false the tent-fly wraps Iguazu. sent3: a mural thing that is not a cleaning hungers turtler. sent4: that the tent-fly does wrap Iguazu is not true if it does wrap oratory. sent5: that something does not hunger turtler and is not a ATF does not hold if it does not wrap oratory. sent6: that the juror is a kind of a phenobarbital and it constructs kelp does not hold if it does escort. sent7: the juror is a kind of an escort. sent8: the canyonside is both a tormentor and not recessional if it is a kind of an adultery. sent9: if something does wrap oratory it does not wrap Iguazu. sent10: something that does wrap oratory or is not a ATF or both does not wrap Iguazu. sent11: the musculature is not a ATF if that the juror is mural but it is non-cleaning is not true. sent12: if the Munch is a minimalism then it is not inaudible. sent13: if something does construct kelp it does not wrap oratory and it is a kind of a phenobarbital. sent14: if something constructs kelp it does not hunger turtler. sent15: that the juror does not hunger turtler is right if it does construct kelp. sent16: the fact that if that something is a phenobarbital but it does not construct kelp is not right it does not hunger turtler is not false. sent17: the juror is not non-mural. sent18: the fact that the juror is a phenobarbital and it constructs kelp is not true. sent19: if the fact that the scabious is not a Polynesian or it constructs kelp or both does not hold the musculature constructs kelp. sent20: the musculature is not a kind of a ATF if that the juror is not a kind of a mural is not false. sent21: the tablefork is not an escort if something is a tormentor but not recessional. sent22: if the outsider is not an adultery then the canyonside is an adultery. sent23: if the juror escorts then the fact that it is a kind of a phenobarbital and it does not construct kelp is not correct. ; $proof$ = 
sent3 -> int1: if the juror is not non-mural but non-cleaning it hungers turtler.; void -> assump1: Let's assume that the juror is mural but it is not a cleaning.; int1 & assump1 -> int2: the juror does hunger turtler.; sent16 -> int3: the juror does not hunger turtler if the fact that it is a phenobarbital and it does not construct kelp is not true.; sent23 & sent7 -> int4: the fact that the juror is a kind of a phenobarbital that does not construct kelp is incorrect.; int3 & int4 -> int5: the juror does not hunger turtler.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the juror is mural but it is not a cleaning is false.; int7 & sent11 -> int8: the musculature is not a ATF.; sent10 -> int9: the tent-fly does not wrap Iguazu if it does wrap oratory or it is not a ATF or both.; __UNKNOWN__