the fact that the crank does greet sainfoin and it is a Haywood is not true.
sent1: the anatotitan is a salaam and is not a Masoud. sent2: the fact that the anatotitan does not correspond is correct. sent3: if the anatotitan does salaam and is not a kind of a Masoud it is a vellum. sent4: that the crank is a Haywood hold. sent5: something is a kind of a tellurian if it is a Haywood. sent6: the replacement does correspond if the Basil is a kind of a tellurian. sent7: the anatotitan is international. sent8: if that the replacement does correspond is correct then the anatotitan is a kind of a reeler. sent9: the crank is a kind of a Haywood if the Basil is not a kind of a Haywood. sent10: the replacement is a Masoud. sent11: if that the anatotitan is international is not wrong that it is both not a reeler and tellurian is wrong. sent12: the anatotitan is a vellum if it is a salaam and a Masoud. sent13: the anatotitan is not a Masoud. sent14: if the anatotitan is a vellum it is not a reeler but international. sent15: something is not tellurian if that it is both not a reeler and not tellurian is false. sent16: if the anatotitan is a vellum it is international. sent17: the crank greets sainfoin and is a kind of a Haywood if the Basil is not a Haywood.
sent5 -> int1: if the Basil is a Haywood then the fact that it is tellurian is true.; void -> assump1: Let's assume that the Basil is a Haywood.; int1 & assump1 -> int2: the fact that the Basil is a tellurian is correct.; int2 & sent6 -> int3: the replacement corresponds.; int3 & sent8 -> int4: the anatotitan is a kind of a reeler.; sent3 & sent1 -> int5: the anatotitan is a kind of a vellum.; sent14 & int5 -> int6: the anatotitan is not a reeler but it is international.; int6 -> int7: the anatotitan is not a reeler.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Basil is not a kind of a Haywood.; int9 & sent17 -> hypothesis;
that the crank greets sainfoin and it is a Haywood is wrong.
sent15 -> int10: if the fact that the anatotitan is not a kind of a reeler but it is a tellurian is false then it is not a tellurian.;
$hypothesis$ = the fact that the crank does greet sainfoin and it is a Haywood is not true. ; $context$ = sent1: the anatotitan is a salaam and is not a Masoud. sent2: the fact that the anatotitan does not correspond is correct. sent3: if the anatotitan does salaam and is not a kind of a Masoud it is a vellum. sent4: that the crank is a Haywood hold. sent5: something is a kind of a tellurian if it is a Haywood. sent6: the replacement does correspond if the Basil is a kind of a tellurian. sent7: the anatotitan is international. sent8: if that the replacement does correspond is correct then the anatotitan is a kind of a reeler. sent9: the crank is a kind of a Haywood if the Basil is not a kind of a Haywood. sent10: the replacement is a Masoud. sent11: if that the anatotitan is international is not wrong that it is both not a reeler and tellurian is wrong. sent12: the anatotitan is a vellum if it is a salaam and a Masoud. sent13: the anatotitan is not a Masoud. sent14: if the anatotitan is a vellum it is not a reeler but international. sent15: something is not tellurian if that it is both not a reeler and not tellurian is false. sent16: if the anatotitan is a vellum it is international. sent17: the crank greets sainfoin and is a kind of a Haywood if the Basil is not a Haywood. ; $proof$ = 
sent5 -> int1: if the Basil is a Haywood then the fact that it is tellurian is true.; void -> assump1: Let's assume that the Basil is a Haywood.; int1 & assump1 -> int2: the fact that the Basil is a tellurian is correct.; int2 & sent6 -> int3: the replacement corresponds.; int3 & sent8 -> int4: the anatotitan is a kind of a reeler.; sent3 & sent1 -> int5: the anatotitan is a kind of a vellum.; sent14 & int5 -> int6: the anatotitan is not a reeler but it is international.; int6 -> int7: the anatotitan is not a reeler.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Basil is not a kind of a Haywood.; int9 & sent17 -> hypothesis; __DISPROVED__