the fact that the wall does not transpire and it is not a Euclid is not right.
sent1: something is a Euclid if it is Puranic. sent2: there exists something such that the fact that it is a suspect and it does not pin sunburn is wrong. sent3: the guan is not a suspect if there exists something such that that it is a kind of a suspect that does not pin sunburn is not true. sent4: either the pion does suspect or it does not claret or both. sent5: the fact that something is not an obstetrician and does transpire is incorrect if it does not pin amide. sent6: the wall does not transpire if there is something such that that it is not an obstetrician and it does transpire is not true. sent7: something hypnotizes grab and it is a billfish. sent8: there exists something such that it is not an obstetrician. sent9: the toilet is not a kind of a Ningirsu. sent10: the wall is not a kind of a Euclid if the guan is a Euclid. sent11: the fact that the wall does not transpire and it is not a kind of a Euclid is not true if the sherry does not transpire. sent12: the sherry is a kind of a dressmaker and does not pin characteristic if there exists something such that the fact that it is not an obstetrician hold. sent13: something is Puranic if the fact that it is a dressmaker and it does not pin characteristic is right. sent14: the sherry is a kind of a dressmaker if there exists something such that it is not a kind of an obstetrician. sent15: if something is Puranic and it transpires then the guan pins amide. sent16: if the pion is a suspect or not a claret or both then it does not pin amide.
sent13 -> int1: that the sherry is Puranic is true if it is a dressmaker and does not pin characteristic.; sent8 & sent12 -> int2: the sherry is a dressmaker but it does not pin characteristic.; int1 & int2 -> int3: the sherry is Puranic.; void -> assump1: Let's assume that the sherry does transpire.; int3 & assump1 -> int4: the sherry is a kind of Puranic thing that transpires.; int4 -> int5: there exists something such that it is Puranic and does transpire.; int5 & sent15 -> int6: the guan does pin amide.; sent2 & sent3 -> int7: the guan is not a suspect.;
the wall does not transpire and it is not a Euclid.
sent5 -> int8: if the pion does not pin amide that it is not a kind of an obstetrician and does transpire is not right.; sent16 & sent4 -> int9: the pion does not pin amide.; int8 & int9 -> int10: that the pion is not an obstetrician and transpires is not true.; int10 -> int11: there exists something such that that it is not an obstetrician and it does transpire is not right.; int11 & sent6 -> int12: the wall does not transpire.; sent1 -> int13: the guan is a Euclid if it is Puranic.; sent9 -> int14: there is something such that it is not a Ningirsu.;
$hypothesis$ = the fact that the wall does not transpire and it is not a Euclid is not right. ; $context$ = sent1: something is a Euclid if it is Puranic. sent2: there exists something such that the fact that it is a suspect and it does not pin sunburn is wrong. sent3: the guan is not a suspect if there exists something such that that it is a kind of a suspect that does not pin sunburn is not true. sent4: either the pion does suspect or it does not claret or both. sent5: the fact that something is not an obstetrician and does transpire is incorrect if it does not pin amide. sent6: the wall does not transpire if there is something such that that it is not an obstetrician and it does transpire is not true. sent7: something hypnotizes grab and it is a billfish. sent8: there exists something such that it is not an obstetrician. sent9: the toilet is not a kind of a Ningirsu. sent10: the wall is not a kind of a Euclid if the guan is a Euclid. sent11: the fact that the wall does not transpire and it is not a kind of a Euclid is not true if the sherry does not transpire. sent12: the sherry is a kind of a dressmaker and does not pin characteristic if there exists something such that the fact that it is not an obstetrician hold. sent13: something is Puranic if the fact that it is a dressmaker and it does not pin characteristic is right. sent14: the sherry is a kind of a dressmaker if there exists something such that it is not a kind of an obstetrician. sent15: if something is Puranic and it transpires then the guan pins amide. sent16: if the pion is a suspect or not a claret or both then it does not pin amide. ; $proof$ = 
sent13 -> int1: that the sherry is Puranic is true if it is a dressmaker and does not pin characteristic.; sent8 & sent12 -> int2: the sherry is a dressmaker but it does not pin characteristic.; int1 & int2 -> int3: the sherry is Puranic.; void -> assump1: Let's assume that the sherry does transpire.; int3 & assump1 -> int4: the sherry is a kind of Puranic thing that transpires.; int4 -> int5: there exists something such that it is Puranic and does transpire.; int5 & sent15 -> int6: the guan does pin amide.; sent2 & sent3 -> int7: the guan is not a suspect.; __UNKNOWN__