the arthropod is not a rasp and not cyclonic.
sent1: if there is something such that it is not a prescription the arthropod is not a rasp and it is not cyclonic. sent2: something is not solanaceous. sent3: if the sowbelly is Dickensian a 1850s the examiner is not a kind of a prescription. sent4: the arthropod is not cyclonic. sent5: if there is something such that it is not solanaceous the sowbelly is a 1850s. sent6: the sowbelly is cyclonic if the examiner is a kind of a Sousse. sent7: the sowbelly is a kind of a Sousse. sent8: something is a Sousse and it is Dickensian if it is not a kind of a 1850s.
sent2 & sent5 -> int1: the fact that the sowbelly is a kind of a 1850s is not false.;
the fact that the arthropod is not a rasp and is not cyclonic is not right.
sent8 -> int2: the examiner is a Sousse and it is Dickensian if that it is not a 1850s hold.;
$hypothesis$ = the arthropod is not a rasp and not cyclonic. ; $context$ = sent1: if there is something such that it is not a prescription the arthropod is not a rasp and it is not cyclonic. sent2: something is not solanaceous. sent3: if the sowbelly is Dickensian a 1850s the examiner is not a kind of a prescription. sent4: the arthropod is not cyclonic. sent5: if there is something such that it is not solanaceous the sowbelly is a 1850s. sent6: the sowbelly is cyclonic if the examiner is a kind of a Sousse. sent7: the sowbelly is a kind of a Sousse. sent8: something is a Sousse and it is Dickensian if it is not a kind of a 1850s. ; $proof$ = 
sent2 & sent5 -> int1: the fact that the sowbelly is a kind of a 1850s is not false.; __UNKNOWN__