the Dominican is ovine.
sent1: the peduncle is a kind of a canon if something is diatomic thing that is not uncompassionate. sent2: the hiker is a canon if the peduncle is a canon. sent3: the humanitarian is a kind of a canon if there is something such that that it is not diatomic and is not uncompassionate is not correct. sent4: the fact that the peduncle does not condole Colossae is not incorrect. sent5: there exists something such that the fact that it is diatomic but not uncompassionate does not hold. sent6: if something that condoles Colossae is non-corporate then the peduncle is diatomic. sent7: if the peduncle does condole Colossae and is non-corporate then it is not a sour. sent8: if the peduncle is not uncompassionate then it does not condole Colossae. sent9: if the groin is adenoid the Dominican is ovine. sent10: that the peduncle is non-diatomic and is uncompassionate is not right. sent11: if the humanitarian is a canon then the groin is adenoid. sent12: that the humanitarian does condole Colossae but it is not corporate if the humanitarian sours is correct. sent13: something is non-diatomic and compassionate. sent14: if something condoles Colossae but it is not corporate then that it is not a sour is not wrong. sent15: if the peduncle is not uncompassionate it does not condole Colossae and is not corporate. sent16: if something does not condole Colossae and it is not corporate then it does not sour. sent17: the fact that something is not ovine is not wrong if the fact that it is not uncompassionate and it is ovine is not true. sent18: if there exists something such that that it is a kind of non-corporate thing that is not a kind of a sour is not true then the humanitarian does not condole Colossae. sent19: that the peduncle sours is not false. sent20: that the peduncle is diatomic but not uncompassionate is wrong. sent21: there exists something such that that that it is not diatomic and is uncompassionate is not false is wrong.
void -> assump1: Let's assume that the peduncle is not diatomic and it is compassionate.; assump1 -> int1: the peduncle is compassionate.; int1 & sent15 -> int2: the peduncle does not condole Colossae and is not corporate.; sent16 -> int3: the peduncle is not sour if it does not condole Colossae and it is not corporate.; int2 & int3 -> int4: the peduncle does not sour.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that that the peduncle is both not diatomic and not uncompassionate is correct is not true.; int6 -> int7: there exists something such that the fact that it is not diatomic and it is not uncompassionate is incorrect.; int7 & sent3 -> int8: the humanitarian is a canon.; int8 & sent11 -> int9: the groin is an adenoid.; int9 & sent9 -> hypothesis;
the hiker is a canon.
$hypothesis$ = the Dominican is ovine. ; $context$ = sent1: the peduncle is a kind of a canon if something is diatomic thing that is not uncompassionate. sent2: the hiker is a canon if the peduncle is a canon. sent3: the humanitarian is a kind of a canon if there is something such that that it is not diatomic and is not uncompassionate is not correct. sent4: the fact that the peduncle does not condole Colossae is not incorrect. sent5: there exists something such that the fact that it is diatomic but not uncompassionate does not hold. sent6: if something that condoles Colossae is non-corporate then the peduncle is diatomic. sent7: if the peduncle does condole Colossae and is non-corporate then it is not a sour. sent8: if the peduncle is not uncompassionate then it does not condole Colossae. sent9: if the groin is adenoid the Dominican is ovine. sent10: that the peduncle is non-diatomic and is uncompassionate is not right. sent11: if the humanitarian is a canon then the groin is adenoid. sent12: that the humanitarian does condole Colossae but it is not corporate if the humanitarian sours is correct. sent13: something is non-diatomic and compassionate. sent14: if something condoles Colossae but it is not corporate then that it is not a sour is not wrong. sent15: if the peduncle is not uncompassionate it does not condole Colossae and is not corporate. sent16: if something does not condole Colossae and it is not corporate then it does not sour. sent17: the fact that something is not ovine is not wrong if the fact that it is not uncompassionate and it is ovine is not true. sent18: if there exists something such that that it is a kind of non-corporate thing that is not a kind of a sour is not true then the humanitarian does not condole Colossae. sent19: that the peduncle sours is not false. sent20: that the peduncle is diatomic but not uncompassionate is wrong. sent21: there exists something such that that that it is not diatomic and is uncompassionate is not false is wrong. ; $proof$ = 
void -> assump1: Let's assume that the peduncle is not diatomic and it is compassionate.; assump1 -> int1: the peduncle is compassionate.; int1 & sent15 -> int2: the peduncle does not condole Colossae and is not corporate.; sent16 -> int3: the peduncle is not sour if it does not condole Colossae and it is not corporate.; int2 & int3 -> int4: the peduncle does not sour.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that that the peduncle is both not diatomic and not uncompassionate is correct is not true.; int6 -> int7: there exists something such that the fact that it is not diatomic and it is not uncompassionate is incorrect.; int7 & sent3 -> int8: the humanitarian is a canon.; int8 & sent11 -> int9: the groin is an adenoid.; int9 & sent9 -> hypothesis; __PROVED__