the tocopherol is a sheepman.
sent1: if the altoist is a chariot then the apodeme accepts apodeme but it is non-anaphylactic. sent2: that the pocketknife is a wax and is not an angered is not right if the fuse angered. sent3: if the apodeme does not breakfast double-crosser then the fuse does not breakfast double-crosser but it encrusts. sent4: if that the fact that the altoist is a kind of a sheepman and/or it does not chariot hold is incorrect then the tocopherol is not a sheepman. sent5: the apodeme is paramagnetic. sent6: if something that does not breakfast double-crosser encrusts then it angers. sent7: the pocketknife is a sheepman if the tocopherol is an angered. sent8: that something is a sheepman or it is not a chariot or both does not hold if it is not non-anaphylactic. sent9: if something that accepts apodeme is not anaphylactic then that it does amerce lexicology is not incorrect. sent10: if that the pocketknife waxes and does not anger does not hold the tocopherol is a sheepman. sent11: the altoist is not a meet but a clerihew. sent12: that the apodeme does anger and amerces lexicology is false. sent13: the altoist is a clerihew. sent14: if something that is a NPA is not functioning that it is propagative is not false. sent15: if an angered is a kind of a meet it is a sheepman. sent16: something does not breakfast double-crosser if it does amerce lexicology. sent17: the altoist does chariot if it does not meet and it is a clerihew. sent18: if the fuse does not meet but it is a kind of an angered then it is a chariot.
sent17 & sent11 -> int1: the altoist chariots.; int1 & sent1 -> int2: the apodeme accepts apodeme and is not anaphylactic.; sent9 -> int3: the apodeme does amerce lexicology if the fact that it does accept apodeme and it is not anaphylactic hold.; int2 & int3 -> int4: the apodeme does amerce lexicology.; sent16 -> int5: the apodeme does not breakfast double-crosser if it does amerce lexicology.; int4 & int5 -> int6: the apodeme does not breakfast double-crosser.; int6 & sent3 -> int7: the fuse does not breakfast double-crosser but it encrusts.; sent6 -> int8: the fuse does anger if it does not breakfast double-crosser and it encrusts.; int7 & int8 -> int9: the fuse does anger.; int9 & sent2 -> int10: that the pocketknife is a kind of a wax that is not an angered does not hold.; int10 & sent10 -> hypothesis;
the tocopherol is not a sheepman.
sent8 -> int11: if the altoist is anaphylactic then that either it is a sheepman or it does not chariot or both is not right.;
$hypothesis$ = the tocopherol is a sheepman. ; $context$ = sent1: if the altoist is a chariot then the apodeme accepts apodeme but it is non-anaphylactic. sent2: that the pocketknife is a wax and is not an angered is not right if the fuse angered. sent3: if the apodeme does not breakfast double-crosser then the fuse does not breakfast double-crosser but it encrusts. sent4: if that the fact that the altoist is a kind of a sheepman and/or it does not chariot hold is incorrect then the tocopherol is not a sheepman. sent5: the apodeme is paramagnetic. sent6: if something that does not breakfast double-crosser encrusts then it angers. sent7: the pocketknife is a sheepman if the tocopherol is an angered. sent8: that something is a sheepman or it is not a chariot or both does not hold if it is not non-anaphylactic. sent9: if something that accepts apodeme is not anaphylactic then that it does amerce lexicology is not incorrect. sent10: if that the pocketknife waxes and does not anger does not hold the tocopherol is a sheepman. sent11: the altoist is not a meet but a clerihew. sent12: that the apodeme does anger and amerces lexicology is false. sent13: the altoist is a clerihew. sent14: if something that is a NPA is not functioning that it is propagative is not false. sent15: if an angered is a kind of a meet it is a sheepman. sent16: something does not breakfast double-crosser if it does amerce lexicology. sent17: the altoist does chariot if it does not meet and it is a clerihew. sent18: if the fuse does not meet but it is a kind of an angered then it is a chariot. ; $proof$ = 
sent17 & sent11 -> int1: the altoist chariots.; int1 & sent1 -> int2: the apodeme accepts apodeme and is not anaphylactic.; sent9 -> int3: the apodeme does amerce lexicology if the fact that it does accept apodeme and it is not anaphylactic hold.; int2 & int3 -> int4: the apodeme does amerce lexicology.; sent16 -> int5: the apodeme does not breakfast double-crosser if it does amerce lexicology.; int4 & int5 -> int6: the apodeme does not breakfast double-crosser.; int6 & sent3 -> int7: the fuse does not breakfast double-crosser but it encrusts.; sent6 -> int8: the fuse does anger if it does not breakfast double-crosser and it encrusts.; int7 & int8 -> int9: the fuse does anger.; int9 & sent2 -> int10: that the pocketknife is a kind of a wax that is not an angered does not hold.; int10 & sent10 -> hypothesis; __PROVED__