the cardinalfish is experiential.
sent1: if the cardinalfish is not a kind of a chum it is not experiential. sent2: something is not a Seneca. sent3: if that the cardinalfish is a chum and it is excretory does not hold then it is not experiential. sent4: the fact that the fact that the counterfeit is lymphoid hold if the sniffer is excretory is right. sent5: the fact that the cardinalfish is a kind of a Tamil and it is anapestic is wrong. sent6: the cardinalfish does not unclothe simony. sent7: that the anion is not a Seneca and does embrown elephant-tusk is wrong. sent8: the schizocarp is schismatic and/or it is not bionics if it does not embrown filled. sent9: if the counterfeit is lymphoid the dabchick is Gabonese. sent10: something is not lymphoid if that it is not a metallic and it is not a Gabonese is incorrect. sent11: if there is something such that it does not horn beeswax that the cardinalfish is not a kind of a vest and is not metallic is false. sent12: that the cardinalfish is not metallic but it is a Gabonese is incorrect. sent13: that if something is a Gabonese then that it is not metallic and is a kind of a Seneca is not true is not incorrect. sent14: if the cardinalfish is not a kind of an individualist that it is Russian and it is a kind of a metallic does not hold. sent15: the schizocarp is not noncausative if it is not bionics. sent16: if the schizocarp is schismatic then it is not noncausative. sent17: that the schizocarp does not embrown filled hold. sent18: if there is something such that it is not a kind of a Seneca the fact that the cardinalfish is not a metallic and it is not Gabonese is wrong. sent19: something is excretory thing that is a chum if it does not unclothe cardinalfish. sent20: if there exists something such that it is not a metallic then the fact that the cardinalfish is not a jawfish and it does not embrown elephant-tusk does not hold. sent21: if something is not lymphoid then that it is a chum and it is excretory is not correct.
sent2 & sent18 -> int1: that the cardinalfish is not a kind of a metallic and is not Gabonese does not hold.; sent10 -> int2: if that the cardinalfish is not a metallic and not Gabonese does not hold then it is not lymphoid.; int1 & int2 -> int3: the cardinalfish is not lymphoid.; sent21 -> int4: that the cardinalfish is a chum and is excretory does not hold if it is not lymphoid.; int3 & int4 -> int5: the fact that the cardinalfish is a chum and it is excretory is not true.; int5 & sent3 -> hypothesis;
the cardinalfish is experiential.
sent13 -> int6: that the fact that that the dabchick is not a kind of a metallic and is the Seneca is incorrect is not wrong if the dabchick is a kind of a Gabonese is not false.; sent19 -> int7: if the sniffer does not unclothe cardinalfish it is excretory and it is a kind of a chum.; sent8 & sent17 -> int8: the schizocarp is schismatic or it is not bionics or both.; int8 & sent16 & sent15 -> int9: the schizocarp is not noncausative.; int9 -> int10: there is something such that it is not noncausative.;
$hypothesis$ = the cardinalfish is experiential. ; $context$ = sent1: if the cardinalfish is not a kind of a chum it is not experiential. sent2: something is not a Seneca. sent3: if that the cardinalfish is a chum and it is excretory does not hold then it is not experiential. sent4: the fact that the fact that the counterfeit is lymphoid hold if the sniffer is excretory is right. sent5: the fact that the cardinalfish is a kind of a Tamil and it is anapestic is wrong. sent6: the cardinalfish does not unclothe simony. sent7: that the anion is not a Seneca and does embrown elephant-tusk is wrong. sent8: the schizocarp is schismatic and/or it is not bionics if it does not embrown filled. sent9: if the counterfeit is lymphoid the dabchick is Gabonese. sent10: something is not lymphoid if that it is not a metallic and it is not a Gabonese is incorrect. sent11: if there is something such that it does not horn beeswax that the cardinalfish is not a kind of a vest and is not metallic is false. sent12: that the cardinalfish is not metallic but it is a Gabonese is incorrect. sent13: that if something is a Gabonese then that it is not metallic and is a kind of a Seneca is not true is not incorrect. sent14: if the cardinalfish is not a kind of an individualist that it is Russian and it is a kind of a metallic does not hold. sent15: the schizocarp is not noncausative if it is not bionics. sent16: if the schizocarp is schismatic then it is not noncausative. sent17: that the schizocarp does not embrown filled hold. sent18: if there is something such that it is not a kind of a Seneca the fact that the cardinalfish is not a metallic and it is not Gabonese is wrong. sent19: something is excretory thing that is a chum if it does not unclothe cardinalfish. sent20: if there exists something such that it is not a metallic then the fact that the cardinalfish is not a jawfish and it does not embrown elephant-tusk does not hold. sent21: if something is not lymphoid then that it is a chum and it is excretory is not correct. ; $proof$ = 
sent2 & sent18 -> int1: that the cardinalfish is not a kind of a metallic and is not Gabonese does not hold.; sent10 -> int2: if that the cardinalfish is not a metallic and not Gabonese does not hold then it is not lymphoid.; int1 & int2 -> int3: the cardinalfish is not lymphoid.; sent21 -> int4: that the cardinalfish is a chum and is excretory does not hold if it is not lymphoid.; int3 & int4 -> int5: the fact that the cardinalfish is a chum and it is excretory is not true.; int5 & sent3 -> hypothesis; __DISPROVED__