if the orangutan does not lamb RAF and is not omnivorous then the arsenal is a Sturnus.
sent1: the orangutan does not defoliate throw and it is not omnivorous. sent2: the arsenal is a Sturnus if the orangutan complects Hemipteronatus. sent3: the charioteer is not a briarwood and it does not convect. sent4: if the arsenal is not a Sturnus and it does not complect Hemipteronatus that the orangutan lambs RAF is not false. sent5: if the arsenal is not a Sturnus and is not omnivorous the orangutan does complect Hemipteronatus. sent6: the orangutan is not omnivorous. sent7: the orangutan lambs RAF if it is not a kind of a Sturnus and does not complect Hemipteronatus. sent8: if the orangutan does not lamb RAF but it is omnivorous then it does complect Hemipteronatus. sent9: the arsenal does not lamb RAF and it does not uphold. sent10: the orangutan is a kind of a Sturnus. sent11: the orangutan does complect Hemipteronatus if it does not lamb RAF and it is not omnivorous. sent12: the androecium is not a adrenarche and is not a Sturnus. sent13: the fact that the orangutan does not lamb RAF is true. sent14: the arsenal is a kind of a Sturnus if the orangutan does lamb RAF but it is not omnivorous. sent15: if the arsenal does not complect Hemipteronatus and is not omnivorous the orangutan is a kind of a Sturnus. sent16: everything is not a kind of a Demotic. sent17: the Ovral is not a Sturnus and not a misogamist. sent18: the arsenal is a kind of a Sturnus if that the orangutan does not lamb RAF but it is omnivorous is not incorrect. sent19: the fact that that the nematode is not heedless and/or it does not complect Hemipteronatus hold is incorrect if the hydrate is not a kind of a Demotic. sent20: that the orangutan complects Hemipteronatus is not wrong if it lambs RAF and is not omnivorous.
void -> assump1: Let's assume that the orangutan does not lamb RAF and is not omnivorous.; sent11 & assump1 -> int1: the orangutan complects Hemipteronatus.; sent2 & int1 -> int2: the arsenal is a Sturnus.; [assump1] & int2 -> hypothesis;
the arsenal is omnivorous.
sent16 -> int3: the hydrate is not a kind of a Demotic.; sent19 & int3 -> int4: that the nematode is not heedless or does not complect Hemipteronatus or both does not hold.; int4 -> int5: there exists something such that that it is not heedless or it does not complect Hemipteronatus or both is not true.;
$hypothesis$ = if the orangutan does not lamb RAF and is not omnivorous then the arsenal is a Sturnus. ; $context$ = sent1: the orangutan does not defoliate throw and it is not omnivorous. sent2: the arsenal is a Sturnus if the orangutan complects Hemipteronatus. sent3: the charioteer is not a briarwood and it does not convect. sent4: if the arsenal is not a Sturnus and it does not complect Hemipteronatus that the orangutan lambs RAF is not false. sent5: if the arsenal is not a Sturnus and is not omnivorous the orangutan does complect Hemipteronatus. sent6: the orangutan is not omnivorous. sent7: the orangutan lambs RAF if it is not a kind of a Sturnus and does not complect Hemipteronatus. sent8: if the orangutan does not lamb RAF but it is omnivorous then it does complect Hemipteronatus. sent9: the arsenal does not lamb RAF and it does not uphold. sent10: the orangutan is a kind of a Sturnus. sent11: the orangutan does complect Hemipteronatus if it does not lamb RAF and it is not omnivorous. sent12: the androecium is not a adrenarche and is not a Sturnus. sent13: the fact that the orangutan does not lamb RAF is true. sent14: the arsenal is a kind of a Sturnus if the orangutan does lamb RAF but it is not omnivorous. sent15: if the arsenal does not complect Hemipteronatus and is not omnivorous the orangutan is a kind of a Sturnus. sent16: everything is not a kind of a Demotic. sent17: the Ovral is not a Sturnus and not a misogamist. sent18: the arsenal is a kind of a Sturnus if that the orangutan does not lamb RAF but it is omnivorous is not incorrect. sent19: the fact that that the nematode is not heedless and/or it does not complect Hemipteronatus hold is incorrect if the hydrate is not a kind of a Demotic. sent20: that the orangutan complects Hemipteronatus is not wrong if it lambs RAF and is not omnivorous. ; $proof$ = 
void -> assump1: Let's assume that the orangutan does not lamb RAF and is not omnivorous.; sent11 & assump1 -> int1: the orangutan complects Hemipteronatus.; sent2 & int1 -> int2: the arsenal is a Sturnus.; [assump1] & int2 -> hypothesis; __PROVED__