the fact that something does sonnet hatchel and is monotypic is not true.
sent1: if something is monotypic it is a kind of a Gaelic. sent2: the Host is monotypic thing that dances Twelfthtide. sent3: if the Host is not monotypic the grandstander is monotypic. sent4: something is monotypic and it is a Gaelic. sent5: there exists something such that it does sonnet hatchel. sent6: the Host does dance Twelfthtide. sent7: there exists something such that it is a kind of a Gaelic and it does dance Twelfthtide. sent8: the orpiment dances Twelfthtide and it does dance pallasite. sent9: there is something such that it is monotypic. sent10: the alienee does not sonnet hatchel and dances Twelfthtide if the Host is not a Roccus. sent11: something is not a kind of a Roccus if the fact that it does not spring-clean shagbark and it is a Roccus is not correct. sent12: the fact that the Host is a kind of a Gaelic is right. sent13: the Host is a Gaelic that sonnets hatchel. sent14: if something that does not sonnet hatchel dances Twelfthtide it is monotypic.
sent2 -> int1: the Host is monotypic.; sent13 -> int2: the Host sonnets hatchel.; int1 & int2 -> int3: the Host sonnets hatchel and is monotypic.; int3 -> hypothesis;
the alienee is a kind of a Gaelic.
sent1 -> int4: if the alienee is monotypic it is a Gaelic.; sent14 -> int5: the fact that the alienee is monotypic is not incorrect if it does not sonnet hatchel and it does dance Twelfthtide.; sent11 -> int6: the Host is not a Roccus if that it does not spring-clean shagbark and is a kind of a Roccus does not hold.;
$hypothesis$ = the fact that something does sonnet hatchel and is monotypic is not true. ; $context$ = sent1: if something is monotypic it is a kind of a Gaelic. sent2: the Host is monotypic thing that dances Twelfthtide. sent3: if the Host is not monotypic the grandstander is monotypic. sent4: something is monotypic and it is a Gaelic. sent5: there exists something such that it does sonnet hatchel. sent6: the Host does dance Twelfthtide. sent7: there exists something such that it is a kind of a Gaelic and it does dance Twelfthtide. sent8: the orpiment dances Twelfthtide and it does dance pallasite. sent9: there is something such that it is monotypic. sent10: the alienee does not sonnet hatchel and dances Twelfthtide if the Host is not a Roccus. sent11: something is not a kind of a Roccus if the fact that it does not spring-clean shagbark and it is a Roccus is not correct. sent12: the fact that the Host is a kind of a Gaelic is right. sent13: the Host is a Gaelic that sonnets hatchel. sent14: if something that does not sonnet hatchel dances Twelfthtide it is monotypic. ; $proof$ = 
sent2 -> int1: the Host is monotypic.; sent13 -> int2: the Host sonnets hatchel.; int1 & int2 -> int3: the Host sonnets hatchel and is monotypic.; int3 -> hypothesis; __DISPROVED__