the chopine is substantial and a curse.
sent1: if the chopine is not a kind of an iconoclasm the epidemiologist is substantial. sent2: something denaturalizes redtail and does not lather esthete if it is a gallop. sent3: the chopine mimes. sent4: the acarus is an iconoclasm and/or it lathers an if there is something such that it does lathers AN. sent5: the chopine does lather AN. sent6: the chopine is an iconoclasm. sent7: if the chopine is a climatology it is a myriagram. sent8: if the acarus is not a kind of an iconoclasm then the fact that the chopine is not insubstantial and it curses is not correct. sent9: the chopine curses if it is an iconoclasm. sent10: something is an iconoclasm and does denaturalize guitar if that it does not lather an is correct. sent11: if the copybook is a gallop the saxophonist is a kind of a gallop. sent12: the chopine is a kind of substantial thing that does lather AN. sent13: the acarus is not a kind of an iconoclasm if the cinchonine is an iconoclasm and denaturalizes guitar. sent14: there is something such that the fact that it lathers esthete and it is not a gallop is not true. sent15: something that does denaturalize redtail and does not lather esthete does not denaturalize guitar. sent16: the copybook is both electronics and a gallop. sent17: if the saxophonist does not denaturalize guitar that the cinchonine lathers an and is a kind of a curse is not incorrect.
sent9 & sent6 -> int1: that the chopine is a curse is true.; sent12 -> int2: the chopine is substantial.; int1 & int2 -> hypothesis;
the fact that the chopine is a kind of substantial a curse is not true.
sent10 -> int3: if the cinchonine does not lather a that it is a kind of an iconoclasm that denaturalizes guitar is true.;
$hypothesis$ = the chopine is substantial and a curse. ; $context$ = sent1: if the chopine is not a kind of an iconoclasm the epidemiologist is substantial. sent2: something denaturalizes redtail and does not lather esthete if it is a gallop. sent3: the chopine mimes. sent4: the acarus is an iconoclasm and/or it lathers an if there is something such that it does lathers AN. sent5: the chopine does lather AN. sent6: the chopine is an iconoclasm. sent7: if the chopine is a climatology it is a myriagram. sent8: if the acarus is not a kind of an iconoclasm then the fact that the chopine is not insubstantial and it curses is not correct. sent9: the chopine curses if it is an iconoclasm. sent10: something is an iconoclasm and does denaturalize guitar if that it does not lather an is correct. sent11: if the copybook is a gallop the saxophonist is a kind of a gallop. sent12: the chopine is a kind of substantial thing that does lather AN. sent13: the acarus is not a kind of an iconoclasm if the cinchonine is an iconoclasm and denaturalizes guitar. sent14: there is something such that the fact that it lathers esthete and it is not a gallop is not true. sent15: something that does denaturalize redtail and does not lather esthete does not denaturalize guitar. sent16: the copybook is both electronics and a gallop. sent17: if the saxophonist does not denaturalize guitar that the cinchonine lathers an and is a kind of a curse is not incorrect. ; $proof$ = 
sent9 & sent6 -> int1: that the chopine is a curse is true.; sent12 -> int2: the chopine is substantial.; int1 & int2 -> hypothesis; __PROVED__