the algometer is not a cetacean.
sent1: the fact that the algometer does not resent Lycoperdon and is hematopoietic is not right. sent2: the fact that the shirtsleeve is a Herzberg is right if that the bigarade is not unidentifiable and is a Federalist is not true. sent3: the shirtsleeve does not chug if the love-in-a-mist is not unidentifiable and it does not chug. sent4: that the bigarade is not unidentifiable but it is cetacean is not right. sent5: the algometer is not proud. sent6: the love-in-a-mist is a kind of non-unidentifiable thing that is not a chug if the bigarade is not a kind of a Federalist. sent7: the algometer is a kind of a cetacean if the shirtsleeve is a kind of a septillion. sent8: the bigarade is not a chug if the love-in-a-mist is not proud and is not illegal. sent9: if the phentolamine is a Kennelly it is a Klan. sent10: if something is a kind of a Klan then it is not a septillion and it is a cetacean. sent11: something is a septillion if it is a Herzberg. sent12: that something is not unidentifiable but it is a Federalist does not hold if it is not a chug. sent13: the love-in-a-mist is not proud and it is not illegal. sent14: if that the bigarade is a Herzberg is right then the fact that the shirtsleeve is a chug hold.
sent8 & sent13 -> int1: the bigarade is not a chug.; sent12 -> int2: that the bigarade is not unidentifiable and is a kind of a Federalist is wrong if it is not a chug.; int1 & int2 -> int3: that the bigarade is not unidentifiable but it is a kind of a Federalist is not correct.; int3 & sent2 -> int4: the shirtsleeve is a kind of a Herzberg.; sent11 -> int5: the shirtsleeve is a septillion if it is a Herzberg.; int4 & int5 -> int6: the shirtsleeve is a septillion.; int6 & sent7 -> hypothesis;
the shirtsleeve is not a chug.
sent10 -> int7: if the phentolamine is a Klan then it is not a septillion and it is a kind of a cetacean.;
$hypothesis$ = the algometer is not a cetacean. ; $context$ = sent1: the fact that the algometer does not resent Lycoperdon and is hematopoietic is not right. sent2: the fact that the shirtsleeve is a Herzberg is right if that the bigarade is not unidentifiable and is a Federalist is not true. sent3: the shirtsleeve does not chug if the love-in-a-mist is not unidentifiable and it does not chug. sent4: that the bigarade is not unidentifiable but it is cetacean is not right. sent5: the algometer is not proud. sent6: the love-in-a-mist is a kind of non-unidentifiable thing that is not a chug if the bigarade is not a kind of a Federalist. sent7: the algometer is a kind of a cetacean if the shirtsleeve is a kind of a septillion. sent8: the bigarade is not a chug if the love-in-a-mist is not proud and is not illegal. sent9: if the phentolamine is a Kennelly it is a Klan. sent10: if something is a kind of a Klan then it is not a septillion and it is a cetacean. sent11: something is a septillion if it is a Herzberg. sent12: that something is not unidentifiable but it is a Federalist does not hold if it is not a chug. sent13: the love-in-a-mist is not proud and it is not illegal. sent14: if that the bigarade is a Herzberg is right then the fact that the shirtsleeve is a chug hold. ; $proof$ = 
sent8 & sent13 -> int1: the bigarade is not a chug.; sent12 -> int2: that the bigarade is not unidentifiable and is a kind of a Federalist is wrong if it is not a chug.; int1 & int2 -> int3: that the bigarade is not unidentifiable but it is a kind of a Federalist is not correct.; int3 & sent2 -> int4: the shirtsleeve is a kind of a Herzberg.; sent11 -> int5: the shirtsleeve is a septillion if it is a Herzberg.; int4 & int5 -> int6: the shirtsleeve is a septillion.; int6 & sent7 -> hypothesis; __DISPROVED__