the skivvy does excel statistician and it is a Waldheim.
sent1: the skivvy excels statistician if the hogchoker is not cataclinal and it is not a kind of a geophysicist. sent2: the hogchoker is not a Aryan if there exists something such that the fact that it is not a kind of a re-echo and it is an itinerant is wrong. sent3: the hogchoker is a geophysicist if the cusp is not a kind of a Aryan and is not an itinerant. sent4: the Adelie is lipless. sent5: that the fact that the cusp is not a kind of a re-echo but it is a kind of an itinerant is right is false if there exists something such that it is lipless. sent6: the hogchoker is not cataclinal and it is not a geophysicist if it is not a kind of a Aryan.
sent4 -> int1: something is lipless.; int1 & sent5 -> int2: that the cusp is not a re-echo and is an itinerant is not true.; int2 -> int3: there is something such that the fact that it is not a re-echo and is a kind of an itinerant does not hold.; int3 & sent2 -> int4: the hogchoker is not a Aryan.; int4 & sent6 -> int5: the hogchoker is both not cataclinal and not a geophysicist.; int5 & sent1 -> int6: the skivvy excels statistician.;
$hypothesis$ = the skivvy does excel statistician and it is a Waldheim. ; $context$ = sent1: the skivvy excels statistician if the hogchoker is not cataclinal and it is not a kind of a geophysicist. sent2: the hogchoker is not a Aryan if there exists something such that the fact that it is not a kind of a re-echo and it is an itinerant is wrong. sent3: the hogchoker is a geophysicist if the cusp is not a kind of a Aryan and is not an itinerant. sent4: the Adelie is lipless. sent5: that the fact that the cusp is not a kind of a re-echo but it is a kind of an itinerant is right is false if there exists something such that it is lipless. sent6: the hogchoker is not cataclinal and it is not a geophysicist if it is not a kind of a Aryan. ; $proof$ = 
sent4 -> int1: something is lipless.; int1 & sent5 -> int2: that the cusp is not a re-echo and is an itinerant is not true.; int2 -> int3: there is something such that the fact that it is not a re-echo and is a kind of an itinerant does not hold.; int3 & sent2 -> int4: the hogchoker is not a Aryan.; int4 & sent6 -> int5: the hogchoker is both not cataclinal and not a geophysicist.; int5 & sent1 -> int6: the skivvy excels statistician.; __UNKNOWN__