the gum is a kind of a sissy.
sent1: the tea-strainer is descriptive. sent2: the tyrothricin is a sissy. sent3: if the tea-strainer treadles the fact that the gum is a sissy hold. sent4: that the gum is a auto-mechanic if the tea-strainer is both a sissy and not a auto-mechanic hold. sent5: something is a kind of a sissy and is not a auto-mechanic if it is not descriptive. sent6: the tea-strainer is not descriptive if the fact that the dhak is not a amphibology and/or it is squinty is not correct. sent7: the gum is a auto-mechanic. sent8: the fact that the tea-strainer swaps is not incorrect. sent9: the tea-strainer corbels if it is a sissy. sent10: if something is upper-class the fact that it is not a kind of a amphibology and/or is squinty is false. sent11: the sapsucker is a kind of a auto-mechanic. sent12: the tea-strainer is a auto-mechanic. sent13: the tea-strainer does treadle if it is a kind of a auto-mechanic. sent14: if the fact that something does treadle and it is a sissy is not correct then it is not a sissy. sent15: the triquetral is a auto-mechanic.
sent13 & sent12 -> int1: the tea-strainer does treadle.; sent3 & int1 -> hypothesis;
the gum does treadle.
sent5 -> int2: the tea-strainer is a sissy but it is not a kind of a auto-mechanic if the fact that it is not descriptive hold.; sent10 -> int3: if the dhak is upper-class then the fact that it is not a amphibology or it is squinty or both is wrong.;
$hypothesis$ = the gum is a kind of a sissy. ; $context$ = sent1: the tea-strainer is descriptive. sent2: the tyrothricin is a sissy. sent3: if the tea-strainer treadles the fact that the gum is a sissy hold. sent4: that the gum is a auto-mechanic if the tea-strainer is both a sissy and not a auto-mechanic hold. sent5: something is a kind of a sissy and is not a auto-mechanic if it is not descriptive. sent6: the tea-strainer is not descriptive if the fact that the dhak is not a amphibology and/or it is squinty is not correct. sent7: the gum is a auto-mechanic. sent8: the fact that the tea-strainer swaps is not incorrect. sent9: the tea-strainer corbels if it is a sissy. sent10: if something is upper-class the fact that it is not a kind of a amphibology and/or is squinty is false. sent11: the sapsucker is a kind of a auto-mechanic. sent12: the tea-strainer is a auto-mechanic. sent13: the tea-strainer does treadle if it is a kind of a auto-mechanic. sent14: if the fact that something does treadle and it is a sissy is not correct then it is not a sissy. sent15: the triquetral is a auto-mechanic. ; $proof$ = 
sent13 & sent12 -> int1: the tea-strainer does treadle.; sent3 & int1 -> hypothesis; __PROVED__