the radiopharmaceutical is both a Struthio and not a middle.
sent1: the naphthol is not a disjointedness. sent2: the Sind is square thing that is a phlegm if it is not exteroceptive. sent3: the radiopharmaceutical is a kind of a Struthio but it is not middle if that the Sind is not middle is right. sent4: the refraction is inferential if the Sind is both not a fleapit and a square. sent5: the naphthol flutes but it does not absorb. sent6: if that the Sind does not absorb but it is a century does not hold then it is not exteroceptive. sent7: if there is something such that it is not a disjointedness then the refraction is not inferential and is a kind of a fleapit. sent8: if the Sind is a kind of a trial and it is square it is not middle. sent9: the naphthol is a square. sent10: the hematite is not a middle. sent11: the radiopharmaceutical is a century and it is a phlegm if it is not a middle. sent12: the Sind is a trial if the refraction is non-inferential but it is a fleapit. sent13: the radiopharmaceutical is not exteroceptive but it is a kind of a Struthio. sent14: the radiopharmaceutical is a trial. sent15: the fact that something is a Struthio and is not a middle is incorrect if it is not a kind of a disjointedness. sent16: the radiopharmaceutical is inferential a Struthio.
sent1 -> int1: there is something such that it is not a disjointedness.; int1 & sent7 -> int2: the refraction is not inferential but it is a fleapit.; int2 & sent12 -> int3: the Sind is a trial.;
the fact that the fact that the radiopharmaceutical is a Struthio and not middle is not true is true.
sent15 -> int4: if the radiopharmaceutical is not a disjointedness that it is a Struthio and is not a middle is not true.;
$hypothesis$ = the radiopharmaceutical is both a Struthio and not a middle. ; $context$ = sent1: the naphthol is not a disjointedness. sent2: the Sind is square thing that is a phlegm if it is not exteroceptive. sent3: the radiopharmaceutical is a kind of a Struthio but it is not middle if that the Sind is not middle is right. sent4: the refraction is inferential if the Sind is both not a fleapit and a square. sent5: the naphthol flutes but it does not absorb. sent6: if that the Sind does not absorb but it is a century does not hold then it is not exteroceptive. sent7: if there is something such that it is not a disjointedness then the refraction is not inferential and is a kind of a fleapit. sent8: if the Sind is a kind of a trial and it is square it is not middle. sent9: the naphthol is a square. sent10: the hematite is not a middle. sent11: the radiopharmaceutical is a century and it is a phlegm if it is not a middle. sent12: the Sind is a trial if the refraction is non-inferential but it is a fleapit. sent13: the radiopharmaceutical is not exteroceptive but it is a kind of a Struthio. sent14: the radiopharmaceutical is a trial. sent15: the fact that something is a Struthio and is not a middle is incorrect if it is not a kind of a disjointedness. sent16: the radiopharmaceutical is inferential a Struthio. ; $proof$ = 
sent1 -> int1: there is something such that it is not a disjointedness.; int1 & sent7 -> int2: the refraction is not inferential but it is a fleapit.; int2 & sent12 -> int3: the Sind is a trial.; __UNKNOWN__