the trader is not a superorder.
sent1: the fact that something is not blue-collar and/or it is a kind of a cardoon is not true if it is irreverent. sent2: the trader is a kind of a ballcock and is not a cupping. sent3: that the keyboard is a kind of a superorder and it cups is incorrect if that the trader does not accredit scene-stealer is correct. sent4: if the fact that something does accredit scene-stealer but it does not cup is incorrect that it is a kind of a superorder is true. sent5: the emptiness is not monoclinic if it is a Odontophorus and does not accredit cargo. sent6: if the South is a kind of a Romaic but it does not fill fathom it is a cat's-ear. sent7: the trader does not accredit scene-stealer if that either the emptiness does accredit scene-stealer or it is not a kind of a cardoon or both is wrong. sent8: the trader accredits scene-stealer. sent9: the emptiness is both a Odontophorus and laxative. sent10: the emptiness does not accredit cargo if the South is not a overmantel and humanizes. sent11: if that either the emptiness is not blue-collar or it is a cardoon or both is not true then the trader is not a cardoon. sent12: the trader does accredit scene-stealer but it is not a superorder if there is something such that the fact that it is a cupping is true. sent13: the trader is not a kind of a cupping. sent14: there is something such that it cups. sent15: that something does accredit scene-stealer but it is not a cupping is not true if the fact that it is not a cardoon is right. sent16: if something is not monoclinic then it is a kind of a maniac that is irreverent. sent17: the South is not a kind of a overmantel but it does humanize if it is a cat's-ear. sent18: the trader accredits scene-stealer if there is something such that it does cup. sent19: if the fact that something is a maniac and irreverent is not true then it is not irreverent.
sent14 & sent12 -> int1: the trader accredits scene-stealer and is not a superorder.; int1 -> hypothesis;
the keyboard is not a kind of a superorder.
sent19 -> int2: if that the emptiness is a maniac and it is not non-irreverent is not correct it is not non-irreverent.;
$hypothesis$ = the trader is not a superorder. ; $context$ = sent1: the fact that something is not blue-collar and/or it is a kind of a cardoon is not true if it is irreverent. sent2: the trader is a kind of a ballcock and is not a cupping. sent3: that the keyboard is a kind of a superorder and it cups is incorrect if that the trader does not accredit scene-stealer is correct. sent4: if the fact that something does accredit scene-stealer but it does not cup is incorrect that it is a kind of a superorder is true. sent5: the emptiness is not monoclinic if it is a Odontophorus and does not accredit cargo. sent6: if the South is a kind of a Romaic but it does not fill fathom it is a cat's-ear. sent7: the trader does not accredit scene-stealer if that either the emptiness does accredit scene-stealer or it is not a kind of a cardoon or both is wrong. sent8: the trader accredits scene-stealer. sent9: the emptiness is both a Odontophorus and laxative. sent10: the emptiness does not accredit cargo if the South is not a overmantel and humanizes. sent11: if that either the emptiness is not blue-collar or it is a cardoon or both is not true then the trader is not a cardoon. sent12: the trader does accredit scene-stealer but it is not a superorder if there is something such that the fact that it is a cupping is true. sent13: the trader is not a kind of a cupping. sent14: there is something such that it cups. sent15: that something does accredit scene-stealer but it is not a cupping is not true if the fact that it is not a cardoon is right. sent16: if something is not monoclinic then it is a kind of a maniac that is irreverent. sent17: the South is not a kind of a overmantel but it does humanize if it is a cat's-ear. sent18: the trader accredits scene-stealer if there is something such that it does cup. sent19: if the fact that something is a maniac and irreverent is not true then it is not irreverent. ; $proof$ = 
sent14 & sent12 -> int1: the trader accredits scene-stealer and is not a superorder.; int1 -> hypothesis; __PROVED__