the garbage is a Calla.
sent1: the garbage does not redden fueled. sent2: if something angles job then it is on-line. sent3: the arrogator is not a promoter and it is not a counterfeit. sent4: if the arrogator is not a Eleutherodactylus then it is not an island. sent5: the strafer is either a Calla or unsympathetic or both. sent6: the garbage is unready if it is a Calla. sent7: the arrogator is not an overhaul. sent8: something is a Calla if that it is not an island and is not typographic is wrong. sent9: something is a kind of a Calla or it does redden fueled or both. sent10: the garbage is anisotropic. sent11: the arrogator is a Calla if there is something such that it either does redden fueled or is an island or both. sent12: the mouthpiece is a kind of a Calla. sent13: if that something does not get Giriama and it is not a kind of an island does not hold it does redden fueled. sent14: if the clearway is uncommunicative then it is not a howler. sent15: the garbage does angle job. sent16: the amputator is a Sialidae if it reddens fueled. sent17: if something is a carrion then it is unsympathetic. sent18: the mousepad is a kind of a Quiscalus if there is something such that it is articulatory. sent19: if the arrogator is not typographic it is not on-line. sent20: the arrogator angles job if it does not get Giriama and is not an island. sent21: if the fact that something is unostentatious hold it is a rerebrace. sent22: if the fact that the arrogator is not a fuse and does not angle job is false then that it is a kind of a stomach hold. sent23: if there exists something such that it either does redden fueled or is unready or both the garbage is a Calla.
void -> assump1: Let's assume that the arrogator does not get Giriama and is not an island.; sent20 & assump1 -> int1: the arrogator angles job.; sent2 -> int2: if the arrogator does angle job that it is not non-on-line hold.; int1 & int2 -> int3: the arrogator is on-line.; sent13 -> int4: the arrogator reddens fueled if that it does not get Giriama and is not a kind of an island is wrong.;
$hypothesis$ = the garbage is a Calla. ; $context$ = sent1: the garbage does not redden fueled. sent2: if something angles job then it is on-line. sent3: the arrogator is not a promoter and it is not a counterfeit. sent4: if the arrogator is not a Eleutherodactylus then it is not an island. sent5: the strafer is either a Calla or unsympathetic or both. sent6: the garbage is unready if it is a Calla. sent7: the arrogator is not an overhaul. sent8: something is a Calla if that it is not an island and is not typographic is wrong. sent9: something is a kind of a Calla or it does redden fueled or both. sent10: the garbage is anisotropic. sent11: the arrogator is a Calla if there is something such that it either does redden fueled or is an island or both. sent12: the mouthpiece is a kind of a Calla. sent13: if that something does not get Giriama and it is not a kind of an island does not hold it does redden fueled. sent14: if the clearway is uncommunicative then it is not a howler. sent15: the garbage does angle job. sent16: the amputator is a Sialidae if it reddens fueled. sent17: if something is a carrion then it is unsympathetic. sent18: the mousepad is a kind of a Quiscalus if there is something such that it is articulatory. sent19: if the arrogator is not typographic it is not on-line. sent20: the arrogator angles job if it does not get Giriama and is not an island. sent21: if the fact that something is unostentatious hold it is a rerebrace. sent22: if the fact that the arrogator is not a fuse and does not angle job is false then that it is a kind of a stomach hold. sent23: if there exists something such that it either does redden fueled or is unready or both the garbage is a Calla. ; $proof$ = 
void -> assump1: Let's assume that the arrogator does not get Giriama and is not an island.; sent20 & assump1 -> int1: the arrogator angles job.; sent2 -> int2: if the arrogator does angle job that it is not non-on-line hold.; int1 & int2 -> int3: the arrogator is on-line.; sent13 -> int4: the arrogator reddens fueled if that it does not get Giriama and is not a kind of an island is wrong.; __UNKNOWN__