the drag is a flight but it does not narrate essayist.
sent1: if something either does not subject charmer or is a kind of a Sotho or both it does not narrate essayist. sent2: the samovar is Sotho but it does not subject charmer if there is something such that it is not a kind of a shoeful. sent3: the cataphyll is not a shoeful if there exists something such that that it is a Numidian and is not a stork is false. sent4: the drag does not subject charmer or is a Sotho or both if the charmer does not subject charmer. sent5: if the drill is not Sotho then the drag is a Sotho. sent6: the charmer is not a kind of an ugliness if a Sotho thing does not subject charmer. sent7: the drag narrates essayist if that it does not narrates essayist and it is an ugliness is false. sent8: there is something such that that it is a kind of a Nephropsidae that is uppercase is incorrect. sent9: the drag does not narrate essayist if it is a Sotho. sent10: the charmer is a ideogram if the fact that the drill is not a ideogram is true. sent11: the fact that the drag is both not a flight and Numidian does not hold. sent12: if the drill is a ideogram or it is an impress or both then it is not a kind of an ugliness. sent13: if the hornblende is not a kind of a Nephropsidae then that it is a Numidian and it is not a stork does not hold. sent14: the samovar is a kind of a shoeful. sent15: if there is something such that that it is a Nephropsidae and uppercase is wrong the hornblende is not a Nephropsidae. sent16: the drill is an ugliness if the samovar is a shoeful. sent17: that if the fact that something does not flight but it is Numidian does not hold then that it does flight is correct is correct. sent18: the charmer does not subject charmer and is a ideogram if the drill is not a kind of a ideogram. sent19: something is not a kind of a flight if the fact that it is a ideogram and it does impress is incorrect. sent20: if that the charmer is not an ugliness hold then that the drill is a ideogram and an impress is incorrect. sent21: something is not an impress if the fact that it is not a ideogram is true.
void -> assump1: Let's assume that the drill is a ideogram.; assump1 -> int1: the drill is a ideogram and/or it is a kind of an impress.; int1 & sent12 -> int2: the drill is not a kind of an ugliness.; sent16 & sent14 -> int3: the drill is an ugliness.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the drill is not a ideogram.; int5 & sent18 -> int6: the charmer does not subject charmer but it is a ideogram.; int6 -> int7: the charmer does not subject charmer.; int7 & sent4 -> int8: either the drag does not subject charmer or it is a kind of a Sotho or both.; sent1 -> int9: if the drag does not subject charmer or it is Sotho or both it does not narrate essayist.; int8 & int9 -> int10: the drag does not narrate essayist.; sent17 -> int11: if the fact that the drag is not a flight but it is a Numidian is not right it is a kind of a flight.; int11 & sent11 -> int12: the drag flights.; int10 & int12 -> hypothesis;
that the drag is a kind of a flight and does not narrate essayist does not hold.
sent19 -> int13: if that the drill is a kind of a ideogram that is a kind of an impress does not hold then it does not flight.; sent8 & sent15 -> int14: the hornblende is not a Nephropsidae.; sent13 & int14 -> int15: the fact that the hornblende is Numidian and is not a kind of a stork does not hold.; int15 -> int16: there exists something such that that it is Numidian and is not a stork is false.; int16 & sent3 -> int17: the cataphyll is not a shoeful.; int17 -> int18: there exists something such that it is not a shoeful.; int18 & sent2 -> int19: the samovar is a Sotho but it does not subject charmer.; int19 -> int20: there is something such that it is a kind of Sotho thing that does not subject charmer.; int20 & sent6 -> int21: the charmer is not a kind of an ugliness.; sent20 & int21 -> int22: that the drill is a kind of a ideogram and is an impress is not correct.; int13 & int22 -> int23: the drill does not flight.; int23 -> int24: there is something such that it is not a flight.;
$hypothesis$ = the drag is a flight but it does not narrate essayist. ; $context$ = sent1: if something either does not subject charmer or is a kind of a Sotho or both it does not narrate essayist. sent2: the samovar is Sotho but it does not subject charmer if there is something such that it is not a kind of a shoeful. sent3: the cataphyll is not a shoeful if there exists something such that that it is a Numidian and is not a stork is false. sent4: the drag does not subject charmer or is a Sotho or both if the charmer does not subject charmer. sent5: if the drill is not Sotho then the drag is a Sotho. sent6: the charmer is not a kind of an ugliness if a Sotho thing does not subject charmer. sent7: the drag narrates essayist if that it does not narrates essayist and it is an ugliness is false. sent8: there is something such that that it is a kind of a Nephropsidae that is uppercase is incorrect. sent9: the drag does not narrate essayist if it is a Sotho. sent10: the charmer is a ideogram if the fact that the drill is not a ideogram is true. sent11: the fact that the drag is both not a flight and Numidian does not hold. sent12: if the drill is a ideogram or it is an impress or both then it is not a kind of an ugliness. sent13: if the hornblende is not a kind of a Nephropsidae then that it is a Numidian and it is not a stork does not hold. sent14: the samovar is a kind of a shoeful. sent15: if there is something such that that it is a Nephropsidae and uppercase is wrong the hornblende is not a Nephropsidae. sent16: the drill is an ugliness if the samovar is a shoeful. sent17: that if the fact that something does not flight but it is Numidian does not hold then that it does flight is correct is correct. sent18: the charmer does not subject charmer and is a ideogram if the drill is not a kind of a ideogram. sent19: something is not a kind of a flight if the fact that it is a ideogram and it does impress is incorrect. sent20: if that the charmer is not an ugliness hold then that the drill is a ideogram and an impress is incorrect. sent21: something is not an impress if the fact that it is not a ideogram is true. ; $proof$ = 
void -> assump1: Let's assume that the drill is a ideogram.; assump1 -> int1: the drill is a ideogram and/or it is a kind of an impress.; int1 & sent12 -> int2: the drill is not a kind of an ugliness.; sent16 & sent14 -> int3: the drill is an ugliness.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the drill is not a ideogram.; int5 & sent18 -> int6: the charmer does not subject charmer but it is a ideogram.; int6 -> int7: the charmer does not subject charmer.; int7 & sent4 -> int8: either the drag does not subject charmer or it is a kind of a Sotho or both.; sent1 -> int9: if the drag does not subject charmer or it is Sotho or both it does not narrate essayist.; int8 & int9 -> int10: the drag does not narrate essayist.; sent17 -> int11: if the fact that the drag is not a flight but it is a Numidian is not right it is a kind of a flight.; int11 & sent11 -> int12: the drag flights.; int10 & int12 -> hypothesis; __PROVED__