the hornbill is thalloid.
sent1: if the moccasin does fidget sadomasochism and it is a clarinet the hornbill is thalloid. sent2: if the moccasin is not a pith it is not a Girard. sent3: if the moccasin fidgets sadomasochism and is not a clarinet then the hornbill is thalloid. sent4: something is non-thalloid if that it is not a kind of a pith and/or is not a Girard does not hold. sent5: something does fidget sadomasochism but it is not a kind of a clarinet if it is not a Girard. sent6: the moccasin is not a kind of a clarinet if it is not a Girard. sent7: if something is not a Girard it is not a clarinet. sent8: that if something is not New then that it does not pith and/or it is not a kind of a Girard does not hold is not incorrect. sent9: the fact that the moccasin is not a pith is not false.
sent5 -> int1: the moccasin fidgets sadomasochism but it is not a clarinet if it is not a kind of a Girard.; sent2 & sent9 -> int2: the moccasin is not a Girard.; int1 & int2 -> int3: the moccasin fidgets sadomasochism but it is not a kind of a clarinet.; int3 & sent3 -> hypothesis;
the hornbill is not thalloid.
sent4 -> int4: the hornbill is not thalloid if that it is not a pith or is not a Girard or both is false.; sent8 -> int5: the fact that the hornbill is not a pith and/or is not a Girard is not true if it is non-New.;
$hypothesis$ = the hornbill is thalloid. ; $context$ = sent1: if the moccasin does fidget sadomasochism and it is a clarinet the hornbill is thalloid. sent2: if the moccasin is not a pith it is not a Girard. sent3: if the moccasin fidgets sadomasochism and is not a clarinet then the hornbill is thalloid. sent4: something is non-thalloid if that it is not a kind of a pith and/or is not a Girard does not hold. sent5: something does fidget sadomasochism but it is not a kind of a clarinet if it is not a Girard. sent6: the moccasin is not a kind of a clarinet if it is not a Girard. sent7: if something is not a Girard it is not a clarinet. sent8: that if something is not New then that it does not pith and/or it is not a kind of a Girard does not hold is not incorrect. sent9: the fact that the moccasin is not a pith is not false. ; $proof$ = 
sent5 -> int1: the moccasin fidgets sadomasochism but it is not a clarinet if it is not a kind of a Girard.; sent2 & sent9 -> int2: the moccasin is not a Girard.; int1 & int2 -> int3: the moccasin fidgets sadomasochism but it is not a kind of a clarinet.; int3 & sent3 -> hypothesis; __PROVED__