the ferrimagnetism is not nonspecific.
sent1: if something does not name schnook but it does bayonet tilling it does name guilder. sent2: something is nonspecific if it is a record. sent3: the ferrimagnetism is a kind of a Hyaenidae. sent4: if something is not a Bradypodidae but it is a Hyaenidae then it is nonspecific. sent5: if the laudanum is nonspecific and is a Bacchus the ferrimagnetism is not nonspecific. sent6: the ferrimagnetism is not a Bradypodidae.
sent4 -> int1: the ferrimagnetism is nonspecific if it is not a Bradypodidae and it is a kind of a Hyaenidae.; sent6 & sent3 -> int2: the ferrimagnetism is not a Bradypodidae but it is a Hyaenidae.; int1 & int2 -> hypothesis;
the shrimp is nonspecific.
sent2 -> int3: that the shrimp is nonspecific is not false if it does record.;
$hypothesis$ = the ferrimagnetism is not nonspecific. ; $context$ = sent1: if something does not name schnook but it does bayonet tilling it does name guilder. sent2: something is nonspecific if it is a record. sent3: the ferrimagnetism is a kind of a Hyaenidae. sent4: if something is not a Bradypodidae but it is a Hyaenidae then it is nonspecific. sent5: if the laudanum is nonspecific and is a Bacchus the ferrimagnetism is not nonspecific. sent6: the ferrimagnetism is not a Bradypodidae. ; $proof$ = 
sent4 -> int1: the ferrimagnetism is nonspecific if it is not a Bradypodidae and it is a kind of a Hyaenidae.; sent6 & sent3 -> int2: the ferrimagnetism is not a Bradypodidae but it is a Hyaenidae.; int1 & int2 -> hypothesis; __DISPROVED__