that the malacologist does bog circumspection hold.
sent1: that the malacologist does not recall but it does transpose is not true. sent2: if the fact that the monarchist does not winnow nebule and is nonfatal is right then it is not positionable. sent3: the malacologist is positionable if the fact that it is not a penciled and recalls is wrong. sent4: the preterist does pencil. sent5: the photocoagulator does not galvanize and is away. sent6: if the monarchist bogs circumspection it is inedible. sent7: that the malacologist does not yodel morpheme and bogs circumspection does not hold. sent8: if the malacologist is both not circadian and positionable it is not three-piece. sent9: if something recalls then it bogs circumspection. sent10: the malacologist is not a narcotraffic and does not winnow fairground. sent11: if that the monarchist does not winnow nebule but it is nonfatal does not hold it is cretaceous. sent12: the fact that the monarchist does not unpick Bakunin and winnows nebule is not correct. sent13: the monarchist is not cretaceous. sent14: the monarchist is not noticeable if it is inconclusive a penciled. sent15: the malacologist is a recall if the monarchist is non-positionable and is not a penciled. sent16: that the monarchist is cretaceous and it bogs circumspection is incorrect. sent17: the monarchist is not a kind of a penciled. sent18: the fairground is not non-cretaceous if that it is a Comstockery is correct.
void -> assump1: Let's assume that the fact that the monarchist does not winnow nebule but it is nonfatal is incorrect.; sent11 & assump1 -> int1: the monarchist is cretaceous.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the monarchist does not winnow nebule but it is nonfatal.; int3 & sent2 -> int4: the monarchist is not positionable.; int4 & sent17 -> int5: the monarchist is not positionable and it does not pencil.; int5 & sent15 -> int6: the malacologist does recall.; sent9 -> int7: if the malacologist does recall then it does bog circumspection.; int6 & int7 -> hypothesis;
$hypothesis$ = that the malacologist does bog circumspection hold. ; $context$ = sent1: that the malacologist does not recall but it does transpose is not true. sent2: if the fact that the monarchist does not winnow nebule and is nonfatal is right then it is not positionable. sent3: the malacologist is positionable if the fact that it is not a penciled and recalls is wrong. sent4: the preterist does pencil. sent5: the photocoagulator does not galvanize and is away. sent6: if the monarchist bogs circumspection it is inedible. sent7: that the malacologist does not yodel morpheme and bogs circumspection does not hold. sent8: if the malacologist is both not circadian and positionable it is not three-piece. sent9: if something recalls then it bogs circumspection. sent10: the malacologist is not a narcotraffic and does not winnow fairground. sent11: if that the monarchist does not winnow nebule but it is nonfatal does not hold it is cretaceous. sent12: the fact that the monarchist does not unpick Bakunin and winnows nebule is not correct. sent13: the monarchist is not cretaceous. sent14: the monarchist is not noticeable if it is inconclusive a penciled. sent15: the malacologist is a recall if the monarchist is non-positionable and is not a penciled. sent16: that the monarchist is cretaceous and it bogs circumspection is incorrect. sent17: the monarchist is not a kind of a penciled. sent18: the fairground is not non-cretaceous if that it is a Comstockery is correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the monarchist does not winnow nebule but it is nonfatal is incorrect.; sent11 & assump1 -> int1: the monarchist is cretaceous.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the monarchist does not winnow nebule but it is nonfatal.; int3 & sent2 -> int4: the monarchist is not positionable.; int4 & sent17 -> int5: the monarchist is not positionable and it does not pencil.; int5 & sent15 -> int6: the malacologist does recall.; sent9 -> int7: if the malacologist does recall then it does bog circumspection.; int6 & int7 -> hypothesis; __PROVED__