if that the Jordanian is a kind of a nonoccurrence that is calculable is not right then the morphine is not a tetherball.
sent1: if something does not slang it is a hotbox. sent2: the scribble is a hotbox. sent3: the Jordanian is not calculable if the morphine is a tetherball and it does spiel antisyphilitic. sent4: something is a kind of a hotbox that does spiel antisyphilitic. sent5: the scribble does not slang if the Jordanian is a nonoccurrence and it is calculable. sent6: the Jordanian is not a nonoccurrence. sent7: the Jordanian is nonastringent. sent8: that the Jordanian is a hotbox but it is not a nonoccurrence hold. sent9: something is a nonoccurrence but it is not a tetherball if it does not spiel antisyphilitic. sent10: that the scribble is not a nonoccurrence is not false if the Jordanian does not spiel antisyphilitic. sent11: the fact that the monocarp is an excommunication and it is a kind of a hotbox is false. sent12: if something is a kind of a hotbox that does not spiel antisyphilitic the morphine is not a tetherball. sent13: something is a hotbox and does not spiel antisyphilitic if it does not slang. sent14: if the Jordanian is a kind of a nonoccurrence and it does slang the scribble does not spiel antisyphilitic.
void -> assump1: Let's assume that that the Jordanian is a kind of a nonoccurrence that is not incalculable is not true.; sent13 -> int1: if the scribble is not a slang then it is a kind of a hotbox and does not spiel antisyphilitic.;
$hypothesis$ = if that the Jordanian is a kind of a nonoccurrence that is calculable is not right then the morphine is not a tetherball. ; $context$ = sent1: if something does not slang it is a hotbox. sent2: the scribble is a hotbox. sent3: the Jordanian is not calculable if the morphine is a tetherball and it does spiel antisyphilitic. sent4: something is a kind of a hotbox that does spiel antisyphilitic. sent5: the scribble does not slang if the Jordanian is a nonoccurrence and it is calculable. sent6: the Jordanian is not a nonoccurrence. sent7: the Jordanian is nonastringent. sent8: that the Jordanian is a hotbox but it is not a nonoccurrence hold. sent9: something is a nonoccurrence but it is not a tetherball if it does not spiel antisyphilitic. sent10: that the scribble is not a nonoccurrence is not false if the Jordanian does not spiel antisyphilitic. sent11: the fact that the monocarp is an excommunication and it is a kind of a hotbox is false. sent12: if something is a kind of a hotbox that does not spiel antisyphilitic the morphine is not a tetherball. sent13: something is a hotbox and does not spiel antisyphilitic if it does not slang. sent14: if the Jordanian is a kind of a nonoccurrence and it does slang the scribble does not spiel antisyphilitic. ; $proof$ = 
void -> assump1: Let's assume that that the Jordanian is a kind of a nonoccurrence that is not incalculable is not true.; sent13 -> int1: if the scribble is not a slang then it is a kind of a hotbox and does not spiel antisyphilitic.; __UNKNOWN__