there exists something such that if it is mitotic and riddles desperate then it does not urticate discounter.
sent1: the thriftshop arrives if it is not non-mitotic. sent2: the thriftshop is a kind of a mutagen and it is infelicitous. sent3: the thriftshop does stick February. sent4: the Djiboutian does arrive. sent5: the fact that the thriftshop urticates discounter is true. sent6: the thriftshop urticates discounter and it is a kind of a conflict. sent7: there is something such that if it is mitotic thing that does riddle desperate then it urticates discounter. sent8: the bovine is both not non-mitotic and not non-Donatist. sent9: the Osage is caffeinic or it is campylotropous or both. sent10: the fact that the thriftshop does riddle desperate is not false. sent11: if the thriftshop is campylotropous it does not urticate discounter. sent12: if the thriftshop is mitotic thing that does riddle desperate it does urticate discounter. sent13: the thriftshop does not urticate discounter if it arrives and/or is campylotropous. sent14: the fact that the thriftshop urticates discounter hold if it arrives and/or it is campylotropous. sent15: the prickle-weed is mitotic.
void -> assump1: Let's assume that the thriftshop is mitotic and it riddles desperate.; assump1 -> int1: the thriftshop is mitotic.; int1 & sent1 -> int2: the thriftshop does arrive.; int2 -> int3: the thriftshop does arrive and/or is campylotropous.; int3 & sent13 -> int4: the thriftshop does not urticate discounter.; [assump1] & int4 -> int5: that the thriftshop does not urticate discounter is right if it is mitotic and it does riddle desperate.; int5 -> hypothesis;
$hypothesis$ = there exists something such that if it is mitotic and riddles desperate then it does not urticate discounter. ; $context$ = sent1: the thriftshop arrives if it is not non-mitotic. sent2: the thriftshop is a kind of a mutagen and it is infelicitous. sent3: the thriftshop does stick February. sent4: the Djiboutian does arrive. sent5: the fact that the thriftshop urticates discounter is true. sent6: the thriftshop urticates discounter and it is a kind of a conflict. sent7: there is something such that if it is mitotic thing that does riddle desperate then it urticates discounter. sent8: the bovine is both not non-mitotic and not non-Donatist. sent9: the Osage is caffeinic or it is campylotropous or both. sent10: the fact that the thriftshop does riddle desperate is not false. sent11: if the thriftshop is campylotropous it does not urticate discounter. sent12: if the thriftshop is mitotic thing that does riddle desperate it does urticate discounter. sent13: the thriftshop does not urticate discounter if it arrives and/or is campylotropous. sent14: the fact that the thriftshop urticates discounter hold if it arrives and/or it is campylotropous. sent15: the prickle-weed is mitotic. ; $proof$ = 
void -> assump1: Let's assume that the thriftshop is mitotic and it riddles desperate.; assump1 -> int1: the thriftshop is mitotic.; int1 & sent1 -> int2: the thriftshop does arrive.; int2 -> int3: the thriftshop does arrive and/or is campylotropous.; int3 & sent13 -> int4: the thriftshop does not urticate discounter.; [assump1] & int4 -> int5: that the thriftshop does not urticate discounter is right if it is mitotic and it does riddle desperate.; int5 -> hypothesis; __PROVED__