the caudate is not an internationalist but a archegonium.
sent1: the Indianan untunes Pagellus. sent2: if something is not a kind of a tsetse and is a Brosmius then it is a archegonium. sent3: if the Indianan is not macrocephalic then that it is a kind of non-creaseproof thing that is non-postmillennial is not true. sent4: the Welshman is a Brosmius and it untunes Pagellus. sent5: if the Welshman is a kind of a Brosmius the Indianan is not a tsetse but it is a kind of a Brosmius. sent6: the pass is a Brosmius if there exists something such that the fact that it is not a Brosmius but a tsetse is not correct. sent7: the fact that the caudate is a kind of a archegonium that untunes Pagellus does not hold if the Welshman untunes Pagellus. sent8: the Indianan is a Brosmius. sent9: there is something such that it is not non-coreferential and/or it is not a used-car. sent10: if something is a Brosmius it is not a Xanthosoma and it is a duration. sent11: something that is not a Brosmius is not an internationalist but a archegonium. sent12: if that something is not creaseproof but non-postmillennial is not correct then it is creaseproof. sent13: if there exists something such that it either is coreferential or is not a used-car or both that the Indianan is not macrocephalic is not false. sent14: the fact that the Welshman is both not a Brosmius and a tsetse is not correct if the Indianan untunes Pagellus. sent15: that the Welshman is not a kind of a archegonium but it is a kind of a Brosmius is wrong. sent16: if the Indianan is a archegonium then that the caudate is not an internationalist but it is a archegonium is not correct. sent17: the fact that the caudate is a kind of a Brosmius that is a archegonium is not true if the Indianan is a kind of a archegonium.
sent4 -> int1: the Welshman is a Brosmius.; int1 & sent5 -> int2: the Indianan is not a tsetse but it is a kind of a Brosmius.; sent2 -> int3: if the Indianan is both not a tsetse and a Brosmius then the fact that it is a archegonium is true.; int2 & int3 -> int4: the Indianan is a archegonium.; int4 & sent16 -> hypothesis;
the caudate is not an internationalist but a archegonium.
sent11 -> int5: that if the caudate is not the Brosmius then the caudate is not a kind of an internationalist but it is a archegonium is not wrong.; sent12 -> int6: the Indianan is creaseproof if that it is both creaseproof and not postmillennial does not hold.; sent9 & sent13 -> int7: the Indianan is non-macrocephalic.; sent3 & int7 -> int8: the fact that the Indianan is not creaseproof and it is not postmillennial is wrong.; int6 & int8 -> int9: that the Indianan is creaseproof is right.; int9 -> int10: there are creaseproof things.;
$hypothesis$ = the caudate is not an internationalist but a archegonium. ; $context$ = sent1: the Indianan untunes Pagellus. sent2: if something is not a kind of a tsetse and is a Brosmius then it is a archegonium. sent3: if the Indianan is not macrocephalic then that it is a kind of non-creaseproof thing that is non-postmillennial is not true. sent4: the Welshman is a Brosmius and it untunes Pagellus. sent5: if the Welshman is a kind of a Brosmius the Indianan is not a tsetse but it is a kind of a Brosmius. sent6: the pass is a Brosmius if there exists something such that the fact that it is not a Brosmius but a tsetse is not correct. sent7: the fact that the caudate is a kind of a archegonium that untunes Pagellus does not hold if the Welshman untunes Pagellus. sent8: the Indianan is a Brosmius. sent9: there is something such that it is not non-coreferential and/or it is not a used-car. sent10: if something is a Brosmius it is not a Xanthosoma and it is a duration. sent11: something that is not a Brosmius is not an internationalist but a archegonium. sent12: if that something is not creaseproof but non-postmillennial is not correct then it is creaseproof. sent13: if there exists something such that it either is coreferential or is not a used-car or both that the Indianan is not macrocephalic is not false. sent14: the fact that the Welshman is both not a Brosmius and a tsetse is not correct if the Indianan untunes Pagellus. sent15: that the Welshman is not a kind of a archegonium but it is a kind of a Brosmius is wrong. sent16: if the Indianan is a archegonium then that the caudate is not an internationalist but it is a archegonium is not correct. sent17: the fact that the caudate is a kind of a Brosmius that is a archegonium is not true if the Indianan is a kind of a archegonium. ; $proof$ = 
sent4 -> int1: the Welshman is a Brosmius.; int1 & sent5 -> int2: the Indianan is not a tsetse but it is a kind of a Brosmius.; sent2 -> int3: if the Indianan is both not a tsetse and a Brosmius then the fact that it is a archegonium is true.; int2 & int3 -> int4: the Indianan is a archegonium.; int4 & sent16 -> hypothesis; __DISPROVED__