that the Alka-seltzer is a foreshore and/or it is nonadsorbent is false.
sent1: that something is both a Cataflam and copular is not correct if it does not rice catalufa. sent2: either the Alka-seltzer is chemoreceptive or it is nonadsorbent or both. sent3: the annalist is not copular if that the jib is not a Cataflam is true. sent4: the annalist is copular if that the jib is chemoreceptive is not false. sent5: the annalist is not chemoreceptive if the jib is copular. sent6: the Alka-seltzer is a foreshore if the annalist is not copular. sent7: if the annalist is not nonadsorbent the Alka-seltzer is copular. sent8: the fact that something is a kind of a foreshore or is nonadsorbent or both is incorrect if it is not chemoreceptive. sent9: the annalist is copular or it is not nonadsorbent or both. sent10: that the annalist is not copular is not incorrect if the jib is chemoreceptive. sent11: if the fact that something is a Cataflam and is copular is not right then it is not chemoreceptive. sent12: the jib is chemoreceptive or it is not a Cataflam or both. sent13: the jib is a foreshore and/or it is not chemoreceptive.
sent12 & sent10 & sent3 -> int1: the annalist is not copular.; sent6 & int1 -> int2: the Alka-seltzer is a foreshore.; int2 -> hypothesis;
the fact that the Alka-seltzer is a foreshore and/or it is not adsorbent does not hold.
sent8 -> int3: if the Alka-seltzer is not chemoreceptive then that it is a foreshore and/or is nonadsorbent is false.; sent11 -> int4: the Alka-seltzer is not chemoreceptive if that it is a Cataflam and copular is wrong.; sent1 -> int5: the fact that the Alka-seltzer is a Cataflam and is copular does not hold if it does not rice catalufa.;
$hypothesis$ = that the Alka-seltzer is a foreshore and/or it is nonadsorbent is false. ; $context$ = sent1: that something is both a Cataflam and copular is not correct if it does not rice catalufa. sent2: either the Alka-seltzer is chemoreceptive or it is nonadsorbent or both. sent3: the annalist is not copular if that the jib is not a Cataflam is true. sent4: the annalist is copular if that the jib is chemoreceptive is not false. sent5: the annalist is not chemoreceptive if the jib is copular. sent6: the Alka-seltzer is a foreshore if the annalist is not copular. sent7: if the annalist is not nonadsorbent the Alka-seltzer is copular. sent8: the fact that something is a kind of a foreshore or is nonadsorbent or both is incorrect if it is not chemoreceptive. sent9: the annalist is copular or it is not nonadsorbent or both. sent10: that the annalist is not copular is not incorrect if the jib is chemoreceptive. sent11: if the fact that something is a Cataflam and is copular is not right then it is not chemoreceptive. sent12: the jib is chemoreceptive or it is not a Cataflam or both. sent13: the jib is a foreshore and/or it is not chemoreceptive. ; $proof$ = 
sent12 & sent10 & sent3 -> int1: the annalist is not copular.; sent6 & int1 -> int2: the Alka-seltzer is a foreshore.; int2 -> hypothesis; __DISPROVED__