that the plain is a footplate hold.
sent1: if the plain is not a footplate that the seaquake repots Tingidae and it is a kind of a hexameter is wrong. sent2: if the seaquake is both not a embryologist and punic the plain is a embryologist. sent3: if the seaquake is not a footplate then that the plain is not a footplate is not false. sent4: the hubcap is not thirsty if it is a kind of an underbrush and it is an eagerness. sent5: if there is something such that that it is a kind of a Friday that is emphysematous is incorrect then the hubcap is azido. sent6: if something is a kind of an underbrush and it is an eagerness it is not thirsty. sent7: if the seaquake is not a Friday it is emphysematous. sent8: that the plain is not punic is correct if it is both not a hexameter and a footplate. sent9: the seaquake is not a Friday if the Feosol is not a Friday. sent10: the chalcanthite is punic and is not a kind of a embryologist if the Feosol is not a polyelectrolyte. sent11: the chalcanthite is punic. sent12: if the fact that the seaquake is not emphysematous is wrong then it is both not azido and not an eagerness. sent13: the Feosol is not a polyelectrolyte if the fact that the seaquake repots Tingidae and it is a kind of a hexameter is wrong. sent14: the fact that the radiotelephone is both a Friday and emphysematous is not correct. sent15: if something is thirsty it is not a kind of a embryologist and is punic. sent16: that the radiotelephone is a Friday and it is punic is not right. sent17: the fact that something is not a footplate and not a polyelectrolyte is not right if it is not a embryologist. sent18: the hubcap is emphysematous if there is something such that that it is an underbrush and it is thirsty does not hold. sent19: if something is not an eagerness it is thirsty and it is a kind of an underbrush. sent20: something is not thirsty if it is not an underbrush and it is a kind of an eagerness. sent21: a embryologist is not a footplate and is a polyelectrolyte. sent22: if the hubcap is azido then it is not a kind of an underbrush and it is an eagerness.
void -> assump1: Let's assume that the plain is not a footplate.; sent1 & assump1 -> int1: that the seaquake repots Tingidae and it is a hexameter does not hold.; int1 & sent13 -> int2: the fact that the Feosol is a kind of a polyelectrolyte is not right.; int2 & sent10 -> int3: the chalcanthite is punic but it is not a embryologist.; int3 -> int4: there exists something such that it is punic and is not a embryologist.; sent20 -> int5: the hubcap is not thirsty if it is both not an underbrush and an eagerness.; sent14 -> int6: there exists something such that the fact that it is a Friday and is emphysematous does not hold.; int6 & sent5 -> int7: the hubcap is azido.; sent22 & int7 -> int8: the hubcap is not a kind of an underbrush but it is an eagerness.; int5 & int8 -> int9: the fact that the hubcap is not thirsty is correct.;
the plain is not a footplate.
sent21 -> int10: if the plain is a embryologist it is not a footplate but a polyelectrolyte.; sent15 -> int11: if the seaquake is thirsty then it is not a embryologist and it is punic.; sent19 -> int12: the seaquake is thirsty thing that is an underbrush if it is not a kind of an eagerness.;
$hypothesis$ = that the plain is a footplate hold. ; $context$ = sent1: if the plain is not a footplate that the seaquake repots Tingidae and it is a kind of a hexameter is wrong. sent2: if the seaquake is both not a embryologist and punic the plain is a embryologist. sent3: if the seaquake is not a footplate then that the plain is not a footplate is not false. sent4: the hubcap is not thirsty if it is a kind of an underbrush and it is an eagerness. sent5: if there is something such that that it is a kind of a Friday that is emphysematous is incorrect then the hubcap is azido. sent6: if something is a kind of an underbrush and it is an eagerness it is not thirsty. sent7: if the seaquake is not a Friday it is emphysematous. sent8: that the plain is not punic is correct if it is both not a hexameter and a footplate. sent9: the seaquake is not a Friday if the Feosol is not a Friday. sent10: the chalcanthite is punic and is not a kind of a embryologist if the Feosol is not a polyelectrolyte. sent11: the chalcanthite is punic. sent12: if the fact that the seaquake is not emphysematous is wrong then it is both not azido and not an eagerness. sent13: the Feosol is not a polyelectrolyte if the fact that the seaquake repots Tingidae and it is a kind of a hexameter is wrong. sent14: the fact that the radiotelephone is both a Friday and emphysematous is not correct. sent15: if something is thirsty it is not a kind of a embryologist and is punic. sent16: that the radiotelephone is a Friday and it is punic is not right. sent17: the fact that something is not a footplate and not a polyelectrolyte is not right if it is not a embryologist. sent18: the hubcap is emphysematous if there is something such that that it is an underbrush and it is thirsty does not hold. sent19: if something is not an eagerness it is thirsty and it is a kind of an underbrush. sent20: something is not thirsty if it is not an underbrush and it is a kind of an eagerness. sent21: a embryologist is not a footplate and is a polyelectrolyte. sent22: if the hubcap is azido then it is not a kind of an underbrush and it is an eagerness. ; $proof$ = 
void -> assump1: Let's assume that the plain is not a footplate.; sent1 & assump1 -> int1: that the seaquake repots Tingidae and it is a hexameter does not hold.; int1 & sent13 -> int2: the fact that the Feosol is a kind of a polyelectrolyte is not right.; int2 & sent10 -> int3: the chalcanthite is punic but it is not a embryologist.; int3 -> int4: there exists something such that it is punic and is not a embryologist.; sent20 -> int5: the hubcap is not thirsty if it is both not an underbrush and an eagerness.; sent14 -> int6: there exists something such that the fact that it is a Friday and is emphysematous does not hold.; int6 & sent5 -> int7: the hubcap is azido.; sent22 & int7 -> int8: the hubcap is not a kind of an underbrush but it is an eagerness.; int5 & int8 -> int9: the fact that the hubcap is not thirsty is correct.; __UNKNOWN__