the sodomy is top-down.
sent1: something does sparge hotspur if it is ciliary. sent2: if that the ornamental does not decant and is not a unanimity is wrong then it is maxillodental. sent3: the sodomy is a kind of a toddler. sent4: the fact that the hawksbill is not a Tabanidae and does update weightlift does not hold. sent5: something is a superstition if that it is not a lorchel and does not sparge exemption does not hold. sent6: if something sparges collusion then the fact that the sodomy does not sparges collusion and it is not a unanimity does not hold. sent7: something is a kind of a Irishwoman if the fact that it is both not a bureaucracy and not insecticidal is not correct. sent8: something does piffle if that it is both not a perpetrator and not a canonist is wrong. sent9: that there is something such that it sparges collusion hold. sent10: that the formula is not a Tahiti and is not top-down is not correct. sent11: the ferryman is top-down. sent12: something is not top-down if it is not a heterocyclic. sent13: if the fact that something does not sparge collusion and it is not a unanimity does not hold then it is top-down.
sent13 -> int1: the sodomy is top-down if that it does not sparge collusion and is not a unanimity is false.; sent9 & sent6 -> int2: that the sodomy does not sparge collusion and it is not a unanimity is not true.; int1 & int2 -> hypothesis;
the fact that the sodomy is not top-down is not wrong.
sent12 -> int3: if the sodomy is not a heterocyclic it is not top-down.;
$hypothesis$ = the sodomy is top-down. ; $context$ = sent1: something does sparge hotspur if it is ciliary. sent2: if that the ornamental does not decant and is not a unanimity is wrong then it is maxillodental. sent3: the sodomy is a kind of a toddler. sent4: the fact that the hawksbill is not a Tabanidae and does update weightlift does not hold. sent5: something is a superstition if that it is not a lorchel and does not sparge exemption does not hold. sent6: if something sparges collusion then the fact that the sodomy does not sparges collusion and it is not a unanimity does not hold. sent7: something is a kind of a Irishwoman if the fact that it is both not a bureaucracy and not insecticidal is not correct. sent8: something does piffle if that it is both not a perpetrator and not a canonist is wrong. sent9: that there is something such that it sparges collusion hold. sent10: that the formula is not a Tahiti and is not top-down is not correct. sent11: the ferryman is top-down. sent12: something is not top-down if it is not a heterocyclic. sent13: if the fact that something does not sparge collusion and it is not a unanimity does not hold then it is top-down. ; $proof$ = 
sent13 -> int1: the sodomy is top-down if that it does not sparge collusion and is not a unanimity is false.; sent9 & sent6 -> int2: that the sodomy does not sparge collusion and it is not a unanimity is not true.; int1 & int2 -> hypothesis; __PROVED__