the pentose is not a draftsman.
sent1: if the redbone is a Hyracotherium then it is a circumflex. sent2: if something is a kind of a circumflex then it does orb cheesecake. sent3: if something does orb cheesecake it is symbolic. sent4: the ketose does orb cheesecake. sent5: the ketose is a Hyracotherium. sent6: if the ketose does coconspire then that the redbone is a kind of a Hyracotherium is correct. sent7: the redbone identifies. sent8: the fact that something does not identify and it is not a kind of a draftsman is wrong if it does not coconspire. sent9: if there is something such that the fact that it is symbolic and/or it is hard is wrong the arrowworm orbs cheesecake. sent10: if the redbone is a Hyracotherium then the fact that the ketose does orb cheesecake is right. sent11: the ketose does coconspire if it does identify. sent12: if the magazine is a kind of a Hyracotherium then the redbone does identify. sent13: the ketose identifies if the fact that the pentose is a kind of a draftsman is right. sent14: the fact that the ketose is a kind of a circumflex and it does coconspire is incorrect if it is not a Hyracotherium. sent15: the fact that the magazine is not symbolic is not incorrect. sent16: the fact that the ketose is a Hyracotherium is false if the redbone is hard but it does not orb cheesecake. sent17: if the redbone is not offing then it is hard and it does not orb cheesecake. sent18: the fact that that the huddler is either not non-symbolic or not non-hard or both is not incorrect is wrong. sent19: the redbone is not a kind of a draftsman. sent20: the magazine is symbolic if that the redbone orbs cheesecake is correct. sent21: if the redbone does identify the fact that the ketose does not coconspire and it is not a draftsman is not right.
void -> assump1: Let's assume that the pentose is a draftsman.; sent13 & assump1 -> int1: the ketose does identify.; int1 & sent11 -> int2: the ketose does coconspire.; int2 & sent6 -> int3: the redbone is a kind of a Hyracotherium.; int3 & sent1 -> int4: the redbone is a circumflex.; sent2 -> int5: if the redbone is a kind of a circumflex it does orb cheesecake.; int4 & int5 -> int6: the redbone does orb cheesecake.; int6 & sent20 -> int7: the magazine is symbolic.; int7 & sent15 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the pentose is a draftsman.
sent18 -> int9: there is something such that the fact that it is either not non-symbolic or not non-hard or both does not hold.; int9 & sent9 -> int10: the arrowworm orbs cheesecake.; int10 -> int11: there exists something such that it does orb cheesecake.;
$hypothesis$ = the pentose is not a draftsman. ; $context$ = sent1: if the redbone is a Hyracotherium then it is a circumflex. sent2: if something is a kind of a circumflex then it does orb cheesecake. sent3: if something does orb cheesecake it is symbolic. sent4: the ketose does orb cheesecake. sent5: the ketose is a Hyracotherium. sent6: if the ketose does coconspire then that the redbone is a kind of a Hyracotherium is correct. sent7: the redbone identifies. sent8: the fact that something does not identify and it is not a kind of a draftsman is wrong if it does not coconspire. sent9: if there is something such that the fact that it is symbolic and/or it is hard is wrong the arrowworm orbs cheesecake. sent10: if the redbone is a Hyracotherium then the fact that the ketose does orb cheesecake is right. sent11: the ketose does coconspire if it does identify. sent12: if the magazine is a kind of a Hyracotherium then the redbone does identify. sent13: the ketose identifies if the fact that the pentose is a kind of a draftsman is right. sent14: the fact that the ketose is a kind of a circumflex and it does coconspire is incorrect if it is not a Hyracotherium. sent15: the fact that the magazine is not symbolic is not incorrect. sent16: the fact that the ketose is a Hyracotherium is false if the redbone is hard but it does not orb cheesecake. sent17: if the redbone is not offing then it is hard and it does not orb cheesecake. sent18: the fact that that the huddler is either not non-symbolic or not non-hard or both is not incorrect is wrong. sent19: the redbone is not a kind of a draftsman. sent20: the magazine is symbolic if that the redbone orbs cheesecake is correct. sent21: if the redbone does identify the fact that the ketose does not coconspire and it is not a draftsman is not right. ; $proof$ = 
void -> assump1: Let's assume that the pentose is a draftsman.; sent13 & assump1 -> int1: the ketose does identify.; int1 & sent11 -> int2: the ketose does coconspire.; int2 & sent6 -> int3: the redbone is a kind of a Hyracotherium.; int3 & sent1 -> int4: the redbone is a circumflex.; sent2 -> int5: if the redbone is a kind of a circumflex it does orb cheesecake.; int4 & int5 -> int6: the redbone does orb cheesecake.; int6 & sent20 -> int7: the magazine is symbolic.; int7 & sent15 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__