the gobbet is hiplength.
sent1: if the fact that the CD4 is not unhealthful but it tabulates ozone is incorrect the gobbet misgives Selma. sent2: the gobbet is not hiplength if it is a deadwood and/or it is unhealthful. sent3: if the fact that the gobbet does not misgive Selma and is unhealthful is not right then the CD4 does tabulate ozone. sent4: the gobbet is a deadwood if the fact that the CD4 does not misgive Selma and is a kind of a preventive is not correct. sent5: the CD4 is not hiplength. sent6: if the menadione is not Hugoesque then the gobbet is hiplength and it is a deadwood. sent7: if something that is not unhealthful tabulates ozone then it does not misgive Selma. sent8: the fact that the armyworm is a kind of a preventive is true. sent9: the CD4 does tabulate CD4. sent10: the fact that the CD4 is a kind of a deadwood is correct. sent11: the CD4 is not unhealthful if it is Hugoesque and/or it tabulates ozone. sent12: the fact that the menadione does tabulate ozone and is not unhealthful is incorrect if it is not white-collar. sent13: if the gobbet is hiplength and/or is Hugoesque it does not tabulate ozone. sent14: the wallaby does not tabulate ozone. sent15: if the gobbet is not a preventive and is Hugoesque then the fact that it is not a deadwood is right. sent16: the gobbet misgives Selma. sent17: the gobbet is Hugoesque. sent18: the diesel-electric is not Hugoesque. sent19: the gobbet does not tabulate quarto but it tabulates agribusiness. sent20: the CD4 is Hugoesque and does tabulate ozone. sent21: the CD4 is not Hugoesque if it is a kind of hiplength thing that does misgive Selma. sent22: if something does not misgive Selma and is a preventive then it is non-Hugoesque.
sent22 -> int1: that the CD4 is Hugoesque is not right if it does not misgive Selma and is a preventive.; void -> assump1: Let's assume that the CD4 does not misgive Selma but it is a preventive.; int1 & assump1 -> int2: the CD4 is not Hugoesque.; sent20 -> int3: the CD4 is Hugoesque.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the CD4 does not misgive Selma and is preventive is wrong.; int5 & sent4 -> int6: the gobbet is a deadwood.; int6 -> int7: either the gobbet is a deadwood or it is unhealthful or both.; int7 & sent2 -> hypothesis;
the gobbet is hiplength.
$hypothesis$ = the gobbet is hiplength. ; $context$ = sent1: if the fact that the CD4 is not unhealthful but it tabulates ozone is incorrect the gobbet misgives Selma. sent2: the gobbet is not hiplength if it is a deadwood and/or it is unhealthful. sent3: if the fact that the gobbet does not misgive Selma and is unhealthful is not right then the CD4 does tabulate ozone. sent4: the gobbet is a deadwood if the fact that the CD4 does not misgive Selma and is a kind of a preventive is not correct. sent5: the CD4 is not hiplength. sent6: if the menadione is not Hugoesque then the gobbet is hiplength and it is a deadwood. sent7: if something that is not unhealthful tabulates ozone then it does not misgive Selma. sent8: the fact that the armyworm is a kind of a preventive is true. sent9: the CD4 does tabulate CD4. sent10: the fact that the CD4 is a kind of a deadwood is correct. sent11: the CD4 is not unhealthful if it is Hugoesque and/or it tabulates ozone. sent12: the fact that the menadione does tabulate ozone and is not unhealthful is incorrect if it is not white-collar. sent13: if the gobbet is hiplength and/or is Hugoesque it does not tabulate ozone. sent14: the wallaby does not tabulate ozone. sent15: if the gobbet is not a preventive and is Hugoesque then the fact that it is not a deadwood is right. sent16: the gobbet misgives Selma. sent17: the gobbet is Hugoesque. sent18: the diesel-electric is not Hugoesque. sent19: the gobbet does not tabulate quarto but it tabulates agribusiness. sent20: the CD4 is Hugoesque and does tabulate ozone. sent21: the CD4 is not Hugoesque if it is a kind of hiplength thing that does misgive Selma. sent22: if something does not misgive Selma and is a preventive then it is non-Hugoesque. ; $proof$ = 
sent22 -> int1: that the CD4 is Hugoesque is not right if it does not misgive Selma and is a preventive.; void -> assump1: Let's assume that the CD4 does not misgive Selma but it is a preventive.; int1 & assump1 -> int2: the CD4 is not Hugoesque.; sent20 -> int3: the CD4 is Hugoesque.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the CD4 does not misgive Selma and is preventive is wrong.; int5 & sent4 -> int6: the gobbet is a deadwood.; int6 -> int7: either the gobbet is a deadwood or it is unhealthful or both.; int7 & sent2 -> hypothesis; __DISPROVED__