that something is a kind of non-Asian thing that is a kind of a sunflower does not hold.
sent1: the brunet is not a sunflower and is ungual. sent2: if the clarion is a Asian then it does not immortalize Cairene and it is Greek. sent3: the clarion is a sunflower. sent4: the clarion does not immortalize Cairene. sent5: if the fact that something is not aneurysmal and it does not rib digester is incorrect then it is aneurysmal. sent6: the irons is a kind of a faineance and is a kind of a Zechariah if it does not immortalize writer. sent7: the fact that if the fact that the writer is a dried that is not Asian is false then the brunet is not a kind of a Asian is right. sent8: that the irons is not aneurysmal and does not rib digester is incorrect. sent9: if that something is both non-tibial and not a solderer is not false then it is not a kind of a sunflower. sent10: something is a sunflower. sent11: the offset is not a villeinage if a faineance is aneurysmal. sent12: if there is something such that it is not a villeinage the Trapezium is both not tibial and not a solderer. sent13: if the clarion does not immortalize Cairene but it is a Greek the brunet dries. sent14: there exists something such that it is a kind of a Asian that is a sunflower. sent15: if the brunet is not a kind of a Asian then the clarion does not immortalize Trapezium but it does immortalize Galen. sent16: the fact that the writer is a kind of a dried but it is not a kind of a Asian is not true if there is something such that it is not a sunflower. sent17: the brunet is not a kind of a dried. sent18: something is not a Asian. sent19: if the clarion does immortalize Cairene and it is a kind of a Greek then the brunet is a dried. sent20: if the clarion is a Asian then it does not immortalize Cairene. sent21: the irons does not immortalize writer.
void -> assump1: Let's assume that the clarion is a Asian.; sent2 & assump1 -> int1: the clarion does not immortalize Cairene but it is Greek.; int1 & sent13 -> int2: the brunet is a kind of a dried.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clarion is not Asian.; int4 & sent3 -> int5: the clarion is not a kind of a Asian and is a sunflower.; int5 -> hypothesis;
something does not immortalize Trapezium and does immortalize Galen.
sent9 -> int6: the Trapezium is not a sunflower if that it is a kind of non-tibial thing that is not a solderer is not incorrect.; sent6 & sent21 -> int7: the irons is a kind of a faineance and it is a kind of a Zechariah.; int7 -> int8: that the irons is a kind of a faineance is not incorrect.; sent5 -> int9: if that the irons is not aneurysmal and it does not rib digester does not hold it is aneurysmal.; int9 & sent8 -> int10: the irons is not non-aneurysmal.; int8 & int10 -> int11: the irons is a faineance and is aneurysmal.; int11 -> int12: there is something such that it is a faineance and it is aneurysmal.; int12 & sent11 -> int13: the offset is not a kind of a villeinage.; int13 -> int14: there exists something such that it is not a villeinage.; int14 & sent12 -> int15: the Trapezium is not tibial and it is not a solderer.; int6 & int15 -> int16: the Trapezium is not a kind of a sunflower.; int16 -> int17: there exists something such that it is not a sunflower.; int17 & sent16 -> int18: that the writer is a kind of a dried that is non-Asian is not correct.; sent7 & int18 -> int19: the brunet is non-Asian.; sent15 & int19 -> int20: the clarion does not immortalize Trapezium but it immortalizes Galen.; int20 -> hypothesis;
$hypothesis$ = that something is a kind of non-Asian thing that is a kind of a sunflower does not hold. ; $context$ = sent1: the brunet is not a sunflower and is ungual. sent2: if the clarion is a Asian then it does not immortalize Cairene and it is Greek. sent3: the clarion is a sunflower. sent4: the clarion does not immortalize Cairene. sent5: if the fact that something is not aneurysmal and it does not rib digester is incorrect then it is aneurysmal. sent6: the irons is a kind of a faineance and is a kind of a Zechariah if it does not immortalize writer. sent7: the fact that if the fact that the writer is a dried that is not Asian is false then the brunet is not a kind of a Asian is right. sent8: that the irons is not aneurysmal and does not rib digester is incorrect. sent9: if that something is both non-tibial and not a solderer is not false then it is not a kind of a sunflower. sent10: something is a sunflower. sent11: the offset is not a villeinage if a faineance is aneurysmal. sent12: if there is something such that it is not a villeinage the Trapezium is both not tibial and not a solderer. sent13: if the clarion does not immortalize Cairene but it is a Greek the brunet dries. sent14: there exists something such that it is a kind of a Asian that is a sunflower. sent15: if the brunet is not a kind of a Asian then the clarion does not immortalize Trapezium but it does immortalize Galen. sent16: the fact that the writer is a kind of a dried but it is not a kind of a Asian is not true if there is something such that it is not a sunflower. sent17: the brunet is not a kind of a dried. sent18: something is not a Asian. sent19: if the clarion does immortalize Cairene and it is a kind of a Greek then the brunet is a dried. sent20: if the clarion is a Asian then it does not immortalize Cairene. sent21: the irons does not immortalize writer. ; $proof$ = 
void -> assump1: Let's assume that the clarion is a Asian.; sent2 & assump1 -> int1: the clarion does not immortalize Cairene but it is Greek.; int1 & sent13 -> int2: the brunet is a kind of a dried.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clarion is not Asian.; int4 & sent3 -> int5: the clarion is not a kind of a Asian and is a sunflower.; int5 -> hypothesis; __DISPROVED__