if the pinhead does reline Gond then that the red is a kind of a grope is right.
sent1: the red relines Gond if it is both not a stob and a Nejd. sent2: the consomme is a Porcellio if that it does crystallize Tatar and it does not reline Gond is not true. sent3: a non-bivalve thing that is a Nejd is a kind of a eparch. sent4: if the fact that something is a stob but it is not adaptable is incorrect it is a kind of a grope. sent5: if the pinhead is a kind of a eparch then the fact that the red is a stob and it is adaptable does not hold. sent6: something is not a bivalve but it is a kind of a Nejd if it does reline Gond. sent7: the pinhead is adaptable. sent8: the pinhead is a kind of a Nejd. sent9: something is a Nejd if it does reline Gond. sent10: the fact that the red is a grope that is not proverbial is false. sent11: the red relines Gond. sent12: the fact that the red is a kind of a stob and is adaptable is not right. sent13: if the pinhead is both a stob and bivalve then it relines Gond. sent14: the red does grope if it is adaptable. sent15: the pinhead is a Nejd if it does reline Gond. sent16: something is a kind of a grope if it is adaptable. sent17: if the pinhead is a eparch that the red is a kind of a stob that is not adaptable is incorrect.
sent6 -> int1: the pinhead is not a bivalve but it is a kind of a Nejd if it does reline Gond.; void -> assump1: Let's assume that the pinhead does reline Gond.; int1 & assump1 -> int2: the pinhead is not a kind of a bivalve but it is a Nejd.; sent3 -> int3: if the pinhead is not a bivalve but a Nejd then it is a eparch.; int2 & int3 -> int4: the pinhead is a eparch.; int4 & sent17 -> int5: that the red is a kind of a stob that is not adaptable is not right.; sent4 -> int6: if the fact that the red is both a stob and not adaptable is not true then it is a kind of a grope.; int5 & int6 -> int7: the red gropes.; [assump1] & int7 -> hypothesis;
the endocranium is a kind of a bivalve.
$hypothesis$ = if the pinhead does reline Gond then that the red is a kind of a grope is right. ; $context$ = sent1: the red relines Gond if it is both not a stob and a Nejd. sent2: the consomme is a Porcellio if that it does crystallize Tatar and it does not reline Gond is not true. sent3: a non-bivalve thing that is a Nejd is a kind of a eparch. sent4: if the fact that something is a stob but it is not adaptable is incorrect it is a kind of a grope. sent5: if the pinhead is a kind of a eparch then the fact that the red is a stob and it is adaptable does not hold. sent6: something is not a bivalve but it is a kind of a Nejd if it does reline Gond. sent7: the pinhead is adaptable. sent8: the pinhead is a kind of a Nejd. sent9: something is a Nejd if it does reline Gond. sent10: the fact that the red is a grope that is not proverbial is false. sent11: the red relines Gond. sent12: the fact that the red is a kind of a stob and is adaptable is not right. sent13: if the pinhead is both a stob and bivalve then it relines Gond. sent14: the red does grope if it is adaptable. sent15: the pinhead is a Nejd if it does reline Gond. sent16: something is a kind of a grope if it is adaptable. sent17: if the pinhead is a eparch that the red is a kind of a stob that is not adaptable is incorrect. ; $proof$ = 
sent6 -> int1: the pinhead is not a bivalve but it is a kind of a Nejd if it does reline Gond.; void -> assump1: Let's assume that the pinhead does reline Gond.; int1 & assump1 -> int2: the pinhead is not a kind of a bivalve but it is a Nejd.; sent3 -> int3: if the pinhead is not a bivalve but a Nejd then it is a eparch.; int2 & int3 -> int4: the pinhead is a eparch.; int4 & sent17 -> int5: that the red is a kind of a stob that is not adaptable is not right.; sent4 -> int6: if the fact that the red is both a stob and not adaptable is not true then it is a kind of a grope.; int5 & int6 -> int7: the red gropes.; [assump1] & int7 -> hypothesis; __PROVED__