either something is taxonomic or it is a disinheritance or both.
sent1: the mycotoxin is a shoring. sent2: if something is a kind of a Wilmington then it is a sinkhole. sent3: the hornwort is a dermatome that is nonmechanical. sent4: something is a shoring if it is taxonomic. sent5: if the crush is a disinheritance it pieces octillion. sent6: if the mycotoxin is a kind of a disinheritance then the vivarium shores. sent7: if something is a skid it does scuff Unio. sent8: the vivarium is nonmechanical and is a kind of a shoring. sent9: if the mycotoxin is a kind of a disinheritance then the vivarium is a dermatome. sent10: the mycotoxin is a dermatome if it is a disinheritance. sent11: the vivarium is auxinic or is a disinheritance or both. sent12: the jawbreaker is both Tajikistani and a dermatome. sent13: the vivarium is a disinheritance or is a dermatome or both. sent14: the vivarium is veterinary. sent15: something is a disinheritance or it does shore or both. sent16: either something is auxinic or it is a regeneration or both. sent17: the mycotoxin is a dermatome and a shoring. sent18: the mycotoxin is a disinheritance and/or abstract. sent19: the mycotoxin does clone Plano. sent20: the vivarium is a gipsywort if that the mycotoxin is a dermatome is correct. sent21: if something is a gipsywort then it is taxonomic.
sent17 -> int1: the mycotoxin is a dermatome.; int1 & sent20 -> int2: the vivarium is a gipsywort.; sent21 -> int3: if the vivarium is a gipsywort it is taxonomic.; int2 & int3 -> int4: the vivarium is taxonomic.; int4 -> int5: the vivarium is taxonomic or a disinheritance or both.; int5 -> hypothesis;
$hypothesis$ = either something is taxonomic or it is a disinheritance or both. ; $context$ = sent1: the mycotoxin is a shoring. sent2: if something is a kind of a Wilmington then it is a sinkhole. sent3: the hornwort is a dermatome that is nonmechanical. sent4: something is a shoring if it is taxonomic. sent5: if the crush is a disinheritance it pieces octillion. sent6: if the mycotoxin is a kind of a disinheritance then the vivarium shores. sent7: if something is a skid it does scuff Unio. sent8: the vivarium is nonmechanical and is a kind of a shoring. sent9: if the mycotoxin is a kind of a disinheritance then the vivarium is a dermatome. sent10: the mycotoxin is a dermatome if it is a disinheritance. sent11: the vivarium is auxinic or is a disinheritance or both. sent12: the jawbreaker is both Tajikistani and a dermatome. sent13: the vivarium is a disinheritance or is a dermatome or both. sent14: the vivarium is veterinary. sent15: something is a disinheritance or it does shore or both. sent16: either something is auxinic or it is a regeneration or both. sent17: the mycotoxin is a dermatome and a shoring. sent18: the mycotoxin is a disinheritance and/or abstract. sent19: the mycotoxin does clone Plano. sent20: the vivarium is a gipsywort if that the mycotoxin is a dermatome is correct. sent21: if something is a gipsywort then it is taxonomic. ; $proof$ = 
sent17 -> int1: the mycotoxin is a dermatome.; int1 & sent20 -> int2: the vivarium is a gipsywort.; sent21 -> int3: if the vivarium is a gipsywort it is taxonomic.; int2 & int3 -> int4: the vivarium is taxonomic.; int4 -> int5: the vivarium is taxonomic or a disinheritance or both.; int5 -> hypothesis; __PROVED__