the fact that the jeweler is common or it is a stray or both is not true.
sent1: if the fact that the salver is not orthopedic and is not a razorback does not hold the jeweler does stray. sent2: if there is something such that that it brooms kaolin and bestrews laird does not hold the salver is not raw. sent3: there exists something such that the fact that it brooms kaolin and it bestrews laird is not true. sent4: the fact that something is non-orthopedic thing that is not a razorback is incorrect if it is not a raw.
sent4 -> int1: the fact that the salver is not orthopedic and it is not a razorback is not correct if it is not a raw.; sent3 & sent2 -> int2: the salver is not a raw.; int1 & int2 -> int3: the fact that the salver is not orthopedic and it is not a razorback is false.; int3 & sent1 -> int4: the jeweler is a kind of a stray.; int4 -> hypothesis;
$hypothesis$ = the fact that the jeweler is common or it is a stray or both is not true. ; $context$ = sent1: if the fact that the salver is not orthopedic and is not a razorback does not hold the jeweler does stray. sent2: if there is something such that that it brooms kaolin and bestrews laird does not hold the salver is not raw. sent3: there exists something such that the fact that it brooms kaolin and it bestrews laird is not true. sent4: the fact that something is non-orthopedic thing that is not a razorback is incorrect if it is not a raw. ; $proof$ = 
sent4 -> int1: the fact that the salver is not orthopedic and it is not a razorback is not correct if it is not a raw.; sent3 & sent2 -> int2: the salver is not a raw.; int1 & int2 -> int3: the fact that the salver is not orthopedic and it is not a razorback is false.; int3 & sent1 -> int4: the jeweler is a kind of a stray.; int4 -> hypothesis; __DISPROVED__