the andradite cloys and/or is not craniometric.
sent1: if something that is corneal does not pair that it does not mythicize is true. sent2: the andradite does not deteriorate. sent3: if something does not mythicize it pursues and is craniometric. sent4: something does not cloy if it does not deteriorate and/or does not cloy. sent5: the goldenbush is supervisory if the andradite is supervisory. sent6: if the andradite is a question then the goldenbush is supervisory. sent7: the worsted does not deteriorate. sent8: the andradite is a kind of non-external thing that does not deteriorate. sent9: something is not craniometric if it does not pursue. sent10: if something does pursue it does not deteriorate and/or it does not cloy. sent11: the fact that everything is a question or it is supervisory or both is true. sent12: something is corneal but it does not pair if it is supervisory. sent13: that the andradite does cloy and/or it is not craniometric does not hold if the pearlite does pursue.
sent9 -> int1: if the andradite does not pursue then it is not craniometric.;
the goldenbush does not cloy.
sent4 -> int2: if the goldenbush does not deteriorate and/or does not cloy then it does not cloy.; sent10 -> int3: the goldenbush does not deteriorate and/or it does not cloy if it pursues.; sent3 -> int4: the goldenbush pursues and is craniometric if it does not mythicize.; sent1 -> int5: if the goldenbush is both corneal and not a pair that it does not mythicize is right.; sent12 -> int6: the goldenbush is corneal but it is not a pair if it is supervisory.; sent11 -> int7: the andradite is a question and/or it is supervisory.; int7 & sent6 & sent5 -> int8: the goldenbush is supervisory.; int6 & int8 -> int9: the goldenbush is a kind of corneal thing that is not a pair.; int5 & int9 -> int10: the goldenbush does not mythicize.; int4 & int10 -> int11: the goldenbush pursues and it is craniometric.; int11 -> int12: the goldenbush does pursue.; int3 & int12 -> int13: the goldenbush does not deteriorate and/or does not cloy.; int2 & int13 -> hypothesis;
$hypothesis$ = the andradite cloys and/or is not craniometric. ; $context$ = sent1: if something that is corneal does not pair that it does not mythicize is true. sent2: the andradite does not deteriorate. sent3: if something does not mythicize it pursues and is craniometric. sent4: something does not cloy if it does not deteriorate and/or does not cloy. sent5: the goldenbush is supervisory if the andradite is supervisory. sent6: if the andradite is a question then the goldenbush is supervisory. sent7: the worsted does not deteriorate. sent8: the andradite is a kind of non-external thing that does not deteriorate. sent9: something is not craniometric if it does not pursue. sent10: if something does pursue it does not deteriorate and/or it does not cloy. sent11: the fact that everything is a question or it is supervisory or both is true. sent12: something is corneal but it does not pair if it is supervisory. sent13: that the andradite does cloy and/or it is not craniometric does not hold if the pearlite does pursue. ; $proof$ = 
sent9 -> int1: if the andradite does not pursue then it is not craniometric.; __UNKNOWN__