the overcast is a vocabulary and it is grammatical.
sent1: that the dibble is an aerial if that the overcast is not aerial and it is not a PR hold hold. sent2: if the zenith is not technophobic then that the roll-on downs Eight and it is avocational does not hold. sent3: the dibble is not a adducer. sent4: that the stover is pedunculate and it is cercarial does not hold if there exists something such that it is not avocational. sent5: the overcast downs rinderpest and it is a Malathion. sent6: the troposphere is unsanitary. sent7: the fact that the rya is not aluminous and it does not photosensitize washroom does not hold if there exists something such that it is aluminous. sent8: if something is not cercarial it is not a PR. sent9: if that the rya is a kind of non-aluminous thing that does not photosensitize washroom is wrong the zenith is not technophobic. sent10: if the overcast is unsanitary the fact that it is not an aerial and not a PR hold. sent11: the overcast is grammatical if the fact that that the neologist is not unsanitary but it is cercarial is not correct is correct. sent12: that the lapel is unsanitary and it is grammatical does not hold if that the stover is not a PR hold. sent13: that the neologist is not unsanitary and is cercarial is not correct. sent14: if the fact that the lapel is unsanitary thing that is grammatical does not hold then the neologist is not grammatical. sent15: something that is not pedunculate is a kind of grammatical thing that is a vocabulary. sent16: something is not pedunculate if that it is pedunculate and not technophobic is not right. sent17: the overcast is not avocational. sent18: if the neologist is not cercarial the overcast is grammatical. sent19: if that something is pedunculate and is cercarial is wrong the fact that it is not cercarial is not incorrect. sent20: the overcast is a kind of a PR that is a vocabulary. sent21: if there exists something such that it is not a Aepyornidae and it is not a kind of a adducer the sunrise is aluminous. sent22: the dibble is not a Aepyornidae. sent23: something is not avocational if the fact that it downs Eight and is avocational does not hold.
sent20 -> int1: the overcast is a vocabulary.; sent11 & sent13 -> int2: the overcast is grammatical.; int1 & int2 -> hypothesis;
the dibble is a vocabulary and is aerial.
sent15 -> int3: if the dibble is not pedunculate it is both grammatical and a vocabulary.; sent16 -> int4: if the fact that the neologist is not non-pedunculate and not technophobic is wrong then it is not non-pedunculate.;
$hypothesis$ = the overcast is a vocabulary and it is grammatical. ; $context$ = sent1: that the dibble is an aerial if that the overcast is not aerial and it is not a PR hold hold. sent2: if the zenith is not technophobic then that the roll-on downs Eight and it is avocational does not hold. sent3: the dibble is not a adducer. sent4: that the stover is pedunculate and it is cercarial does not hold if there exists something such that it is not avocational. sent5: the overcast downs rinderpest and it is a Malathion. sent6: the troposphere is unsanitary. sent7: the fact that the rya is not aluminous and it does not photosensitize washroom does not hold if there exists something such that it is aluminous. sent8: if something is not cercarial it is not a PR. sent9: if that the rya is a kind of non-aluminous thing that does not photosensitize washroom is wrong the zenith is not technophobic. sent10: if the overcast is unsanitary the fact that it is not an aerial and not a PR hold. sent11: the overcast is grammatical if the fact that that the neologist is not unsanitary but it is cercarial is not correct is correct. sent12: that the lapel is unsanitary and it is grammatical does not hold if that the stover is not a PR hold. sent13: that the neologist is not unsanitary and is cercarial is not correct. sent14: if the fact that the lapel is unsanitary thing that is grammatical does not hold then the neologist is not grammatical. sent15: something that is not pedunculate is a kind of grammatical thing that is a vocabulary. sent16: something is not pedunculate if that it is pedunculate and not technophobic is not right. sent17: the overcast is not avocational. sent18: if the neologist is not cercarial the overcast is grammatical. sent19: if that something is pedunculate and is cercarial is wrong the fact that it is not cercarial is not incorrect. sent20: the overcast is a kind of a PR that is a vocabulary. sent21: if there exists something such that it is not a Aepyornidae and it is not a kind of a adducer the sunrise is aluminous. sent22: the dibble is not a Aepyornidae. sent23: something is not avocational if the fact that it downs Eight and is avocational does not hold. ; $proof$ = 
sent20 -> int1: the overcast is a vocabulary.; sent11 & sent13 -> int2: the overcast is grammatical.; int1 & int2 -> hypothesis; __PROVED__