the guanabenz is not a uke if the synthesizer does round.
sent1: if the synthesizer is rounding the guanabenz is a uke. sent2: the synthesizer is a Karelian. sent3: the guilloche is not middle-class if the synthesizer is solanaceous and not non-rounding. sent4: the guanabenz is not a kind of a uke if the huckleberry is not a Tharp. sent5: the guanabenz is a uke. sent6: the huckleberry is not a kind of a Karelian if the guilloche is not middle-class. sent7: the anaerobe is not a kind of a Tharp. sent8: the synthesizer is solanaceous thing that is chiromantic. sent9: the huckleberry is not middle-class. sent10: if a non-chiromantic thing is not non-rounding the anaerobe is a uke. sent11: something is asynergic if it is solanaceous. sent12: the myelocyte is not a Karelian. sent13: the anaerobe is a kind of solanaceous thing that is a Karelian if it is not a Tharp. sent14: if the huckleberry is not a kind of a Karelian then it is not a Tharp.
sent8 -> int1: the synthesizer is solanaceous.; void -> assump1: Let's assume that the synthesizer does round.; int1 & assump1 -> int2: the synthesizer is solanaceous and not non-rounding.; int2 & sent3 -> int3: that the guilloche is not middle-class hold.; int3 & sent6 -> int4: the huckleberry is not a Karelian.; int4 & sent14 -> int5: the huckleberry is not a kind of a Tharp.; int5 & sent4 -> int6: the guanabenz is not a uke.; [assump1] & int6 -> hypothesis;
the anaerobe is a kind of a uke that is asynergic.
sent11 -> int7: if the anaerobe is solanaceous then it is asynergic.; sent13 & sent7 -> int8: the anaerobe is solanaceous and a Karelian.; int8 -> int9: the anaerobe is solanaceous.; int7 & int9 -> int10: the anaerobe is asynergic.;
$hypothesis$ = the guanabenz is not a uke if the synthesizer does round. ; $context$ = sent1: if the synthesizer is rounding the guanabenz is a uke. sent2: the synthesizer is a Karelian. sent3: the guilloche is not middle-class if the synthesizer is solanaceous and not non-rounding. sent4: the guanabenz is not a kind of a uke if the huckleberry is not a Tharp. sent5: the guanabenz is a uke. sent6: the huckleberry is not a kind of a Karelian if the guilloche is not middle-class. sent7: the anaerobe is not a kind of a Tharp. sent8: the synthesizer is solanaceous thing that is chiromantic. sent9: the huckleberry is not middle-class. sent10: if a non-chiromantic thing is not non-rounding the anaerobe is a uke. sent11: something is asynergic if it is solanaceous. sent12: the myelocyte is not a Karelian. sent13: the anaerobe is a kind of solanaceous thing that is a Karelian if it is not a Tharp. sent14: if the huckleberry is not a kind of a Karelian then it is not a Tharp. ; $proof$ = 
sent8 -> int1: the synthesizer is solanaceous.; void -> assump1: Let's assume that the synthesizer does round.; int1 & assump1 -> int2: the synthesizer is solanaceous and not non-rounding.; int2 & sent3 -> int3: that the guilloche is not middle-class hold.; int3 & sent6 -> int4: the huckleberry is not a Karelian.; int4 & sent14 -> int5: the huckleberry is not a kind of a Tharp.; int5 & sent4 -> int6: the guanabenz is not a uke.; [assump1] & int6 -> hypothesis; __PROVED__