if the miniaturist is not a Bolshevik the Exmoor saves and it is optical.
sent1: the Exmoor is optical and it smites radiogram if something is not a devourer. sent2: the Exmoor whistles galangal. sent3: that if the fact that something does not crab but it does smite Southwestern does not hold then it does not smite toponymy is not incorrect. sent4: there exists something such that it is a devourer. sent5: if the miniaturist is not a Bolshevik then the fact that the okra is not a crabs but it does smite Southwestern does not hold. sent6: the miniaturist does not dream okra. sent7: something does dream okra if it does not smite toponymy and/or is a kind of a Bolshevik. sent8: the wheatflake is not a devourer. sent9: something does save if it does not dream okra.
void -> assump1: Let's assume that the miniaturist is not a Bolshevik.; sent5 & assump1 -> int1: the fact that the okra is not a kind of a crabs and does smite Southwestern is not right.; sent3 -> int2: if the fact that the okra is not a crabs and smites Southwestern is incorrect that it does not smite toponymy is not false.; int1 & int2 -> int3: the okra does not smite toponymy.; sent9 -> int4: if the Exmoor does not dream okra then it does save.; sent8 -> int5: the fact that something is not a devourer is not false.; int5 & sent1 -> int6: the Exmoor is optical and it smites radiogram.; int6 -> int7: that the Exmoor is optical hold.;
the refinery does dream okra.
sent7 -> int8: the refinery does dream okra if either it does not smite toponymy or it is a Bolshevik or both.;
$hypothesis$ = if the miniaturist is not a Bolshevik the Exmoor saves and it is optical. ; $context$ = sent1: the Exmoor is optical and it smites radiogram if something is not a devourer. sent2: the Exmoor whistles galangal. sent3: that if the fact that something does not crab but it does smite Southwestern does not hold then it does not smite toponymy is not incorrect. sent4: there exists something such that it is a devourer. sent5: if the miniaturist is not a Bolshevik then the fact that the okra is not a crabs but it does smite Southwestern does not hold. sent6: the miniaturist does not dream okra. sent7: something does dream okra if it does not smite toponymy and/or is a kind of a Bolshevik. sent8: the wheatflake is not a devourer. sent9: something does save if it does not dream okra. ; $proof$ = 
void -> assump1: Let's assume that the miniaturist is not a Bolshevik.; sent5 & assump1 -> int1: the fact that the okra is not a kind of a crabs and does smite Southwestern is not right.; sent3 -> int2: if the fact that the okra is not a crabs and smites Southwestern is incorrect that it does not smite toponymy is not false.; int1 & int2 -> int3: the okra does not smite toponymy.; sent9 -> int4: if the Exmoor does not dream okra then it does save.; sent8 -> int5: the fact that something is not a devourer is not false.; int5 & sent1 -> int6: the Exmoor is optical and it smites radiogram.; int6 -> int7: that the Exmoor is optical hold.; __UNKNOWN__