the flathead subtilizes chorister.
sent1: the crud is not a gemination. sent2: if the fact that something is a handsaw that does not subtilize biotype is false then it subtilizes chorister. sent3: the flathead is a dram. sent4: the bellbird is not a dram. sent5: if that the viroid is not indusial is correct then it is not clinker-built and/or it does not appropriate viroid. sent6: the viroid is not indusial. sent7: the flathead does cavil. sent8: the crud is canonist if the bellbird is a gemination. sent9: the fact that something is a kind of a Hoenir and is not a gemination does not hold if it does not appropriate viroid. sent10: if the bellbird is a kind of a canonist then the viroid does subtilize biotype. sent11: the crud subtilizes biotype. sent12: if the crud does subtilize biotype the viroid is a handsaw. sent13: the fact that if the fact that the bellbird is both not a dram and canonist is not true the crud is a handsaw is true. sent14: if the viroid subtilizes biotype the flathead does subtilize chorister. sent15: the bellbird subtilizes biotype if the fact that the crud is a Hoenir and not a gemination does not hold. sent16: the fact that the crud is not canonist but it is vagile does not hold. sent17: if that the bellbird is a kind of a dram is true the crud is a handsaw. sent18: that that the bellbird is a dram and canonist is not true is not wrong. sent19: the crud does not appropriate wheeling. sent20: if something is a gemination the fact that it is a handsaw and it does not subtilize biotype is not right. sent21: the bellbird is a kind of a gemination if the crud is a kind of a canonist. sent22: that the crud is canonist hold if the fact that the bellbird is a dram hold.
void -> assump1: Let's assume that the fact that the bellbird is not a dram and is a canonist is not true.; sent13 & assump1 -> int1: the crud is a handsaw.;
the viroid subtilizes chorister.
sent2 -> int2: the viroid does subtilize chorister if the fact that it is a handsaw and it does not subtilize biotype is incorrect.; sent20 -> int3: the fact that the viroid is a handsaw but it does not subtilize biotype is not correct if the fact that it is a kind of a gemination is true.;
$hypothesis$ = the flathead subtilizes chorister. ; $context$ = sent1: the crud is not a gemination. sent2: if the fact that something is a handsaw that does not subtilize biotype is false then it subtilizes chorister. sent3: the flathead is a dram. sent4: the bellbird is not a dram. sent5: if that the viroid is not indusial is correct then it is not clinker-built and/or it does not appropriate viroid. sent6: the viroid is not indusial. sent7: the flathead does cavil. sent8: the crud is canonist if the bellbird is a gemination. sent9: the fact that something is a kind of a Hoenir and is not a gemination does not hold if it does not appropriate viroid. sent10: if the bellbird is a kind of a canonist then the viroid does subtilize biotype. sent11: the crud subtilizes biotype. sent12: if the crud does subtilize biotype the viroid is a handsaw. sent13: the fact that if the fact that the bellbird is both not a dram and canonist is not true the crud is a handsaw is true. sent14: if the viroid subtilizes biotype the flathead does subtilize chorister. sent15: the bellbird subtilizes biotype if the fact that the crud is a Hoenir and not a gemination does not hold. sent16: the fact that the crud is not canonist but it is vagile does not hold. sent17: if that the bellbird is a kind of a dram is true the crud is a handsaw. sent18: that that the bellbird is a dram and canonist is not true is not wrong. sent19: the crud does not appropriate wheeling. sent20: if something is a gemination the fact that it is a handsaw and it does not subtilize biotype is not right. sent21: the bellbird is a kind of a gemination if the crud is a kind of a canonist. sent22: that the crud is canonist hold if the fact that the bellbird is a dram hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bellbird is not a dram and is a canonist is not true.; sent13 & assump1 -> int1: the crud is a handsaw.; __UNKNOWN__