either the Wellington does blackmail merlon or it is not a Orthotomus or both.
sent1: the lugsail does not blackmail merlon if that the Wellington does blackmail merlon hold. sent2: if the fact that something is a kind of a sandbag is not false it is not ciliary and it is not a Orthotomus. sent3: if something that is azotic kisses then the Wellington is not temperate. sent4: if something is both not ciliary and not a Orthotomus it is not temperate. sent5: something that is not temperate is both a kiss and azotic. sent6: something is azotic and it kisses. sent7: the fact that something blackmails merlon or it is not a Orthotomus or both is false if the fact that it is not temperate is true. sent8: the Wellington does blackmail merlon and/or it is a kind of a kiss if there is something such that it does kiss.
sent6 & sent3 -> int1: the Wellington is not temperate.; sent7 -> int2: if the Wellington is not temperate the fact that it does blackmail merlon and/or is not a Orthotomus is false.; int1 & int2 -> hypothesis;
the lugsail does not blackmail merlon.
sent5 -> int3: the heathfowl is a kiss and it is not non-azotic if it is not temperate.; sent4 -> int4: the heathfowl is not temperate if it is not ciliary and it is not a Orthotomus.; sent2 -> int5: if that the heathfowl sandbags is right it is not ciliary and not a Orthotomus.;
$hypothesis$ = either the Wellington does blackmail merlon or it is not a Orthotomus or both. ; $context$ = sent1: the lugsail does not blackmail merlon if that the Wellington does blackmail merlon hold. sent2: if the fact that something is a kind of a sandbag is not false it is not ciliary and it is not a Orthotomus. sent3: if something that is azotic kisses then the Wellington is not temperate. sent4: if something is both not ciliary and not a Orthotomus it is not temperate. sent5: something that is not temperate is both a kiss and azotic. sent6: something is azotic and it kisses. sent7: the fact that something blackmails merlon or it is not a Orthotomus or both is false if the fact that it is not temperate is true. sent8: the Wellington does blackmail merlon and/or it is a kind of a kiss if there is something such that it does kiss. ; $proof$ = 
sent6 & sent3 -> int1: the Wellington is not temperate.; sent7 -> int2: if the Wellington is not temperate the fact that it does blackmail merlon and/or is not a Orthotomus is false.; int1 & int2 -> hypothesis; __DISPROVED__