the cytogeneticist is not etymological.
sent1: that the cytogeneticist is not small-capitalization if the millionairess is small-capitalization hold. sent2: the cyberpunk is agonadal if the fact that the millionairess is small-capitalization is right. sent3: if something is etymological it is a ruralism. sent4: the fact that the cyberpunk is not a ruralism and is not microsomal is wrong if the sergeant is microsomal. sent5: that something does not neglect signpost but it is agonadal does not hold if it is not microsomal. sent6: either the millionairess rationalizes recrimination or it is small-capitalization or both. sent7: the cytogeneticist is not etymological if the fact that the sergeant is a kind of non-fruitful thing that is not microsomal is right. sent8: the diabetic is etymological. sent9: the sergeant is not fruitful. sent10: if something is agonadal it is a ruralism. sent11: the millionairess is small-capitalization and/or it is not a ruralism if the claustrophobe is not agonadal. sent12: something that is fruitful neglects signpost. sent13: if the millionairess does rationalize recrimination then the cyberpunk is not non-agonadal. sent14: that if the fact that something does not neglect signpost and is agonadal is incorrect it is not agonadal is not incorrect. sent15: if that something is both non-etymological and not fruitful is not true then it is a ruralism. sent16: that the claustrophobe is fruitful thing that is not anthropic is not correct. sent17: if the fact that something does not neglect signpost and it is not a kind of a ruralism is not true it is microsomal. sent18: if the cyberpunk is a ruralism the fact that the claustrophobe does not neglect signpost and is not a ruralism is not correct. sent19: the sergeant is unfruitful but not microsomal if the claustrophobe is microsomal.
sent6 & sent13 & sent2 -> int1: the fact that the cyberpunk is agonadal is not false.; sent10 -> int2: if the cyberpunk is agonadal then it is a ruralism.; int1 & int2 -> int3: the cyberpunk is a ruralism.; int3 & sent18 -> int4: that the claustrophobe does not neglect signpost and it is not a kind of a ruralism is not correct.; sent17 -> int5: if the fact that the claustrophobe does not neglect signpost and is not a ruralism is wrong it is microsomal.; int4 & int5 -> int6: the claustrophobe is microsomal.; int6 & sent19 -> int7: the sergeant is not fruitful and it is not microsomal.; int7 & sent7 -> hypothesis;
the cytogeneticist is etymological.
sent14 -> int8: the claustrophobe is not agonadal if that it does not neglect signpost and is agonadal is wrong.; sent5 -> int9: if the claustrophobe is not microsomal that it does not neglect signpost and is agonadal is wrong.;
$hypothesis$ = the cytogeneticist is not etymological. ; $context$ = sent1: that the cytogeneticist is not small-capitalization if the millionairess is small-capitalization hold. sent2: the cyberpunk is agonadal if the fact that the millionairess is small-capitalization is right. sent3: if something is etymological it is a ruralism. sent4: the fact that the cyberpunk is not a ruralism and is not microsomal is wrong if the sergeant is microsomal. sent5: that something does not neglect signpost but it is agonadal does not hold if it is not microsomal. sent6: either the millionairess rationalizes recrimination or it is small-capitalization or both. sent7: the cytogeneticist is not etymological if the fact that the sergeant is a kind of non-fruitful thing that is not microsomal is right. sent8: the diabetic is etymological. sent9: the sergeant is not fruitful. sent10: if something is agonadal it is a ruralism. sent11: the millionairess is small-capitalization and/or it is not a ruralism if the claustrophobe is not agonadal. sent12: something that is fruitful neglects signpost. sent13: if the millionairess does rationalize recrimination then the cyberpunk is not non-agonadal. sent14: that if the fact that something does not neglect signpost and is agonadal is incorrect it is not agonadal is not incorrect. sent15: if that something is both non-etymological and not fruitful is not true then it is a ruralism. sent16: that the claustrophobe is fruitful thing that is not anthropic is not correct. sent17: if the fact that something does not neglect signpost and it is not a kind of a ruralism is not true it is microsomal. sent18: if the cyberpunk is a ruralism the fact that the claustrophobe does not neglect signpost and is not a ruralism is not correct. sent19: the sergeant is unfruitful but not microsomal if the claustrophobe is microsomal. ; $proof$ = 
sent6 & sent13 & sent2 -> int1: the fact that the cyberpunk is agonadal is not false.; sent10 -> int2: if the cyberpunk is agonadal then it is a ruralism.; int1 & int2 -> int3: the cyberpunk is a ruralism.; int3 & sent18 -> int4: that the claustrophobe does not neglect signpost and it is not a kind of a ruralism is not correct.; sent17 -> int5: if the fact that the claustrophobe does not neglect signpost and is not a ruralism is wrong it is microsomal.; int4 & int5 -> int6: the claustrophobe is microsomal.; int6 & sent19 -> int7: the sergeant is not fruitful and it is not microsomal.; int7 & sent7 -> hypothesis; __PROVED__