the sorter is a kind of a latest.
sent1: there is something such that the fact that that it does not relay and it does not protest rockrose is not false is not correct. sent2: something is a latest if it is a basketry. sent3: if something is a Frankfurt that it is a bow-tie is not wrong. sent4: the sorter is obedient. sent5: something is a basketry if it is neritic. sent6: the sorter is not a latest if the paperclip is a basketry. sent7: if there exists something such that the fact that the fact that it is not a relay and it does not protest rockrose is not incorrect is not correct then the paperclip is not non-neritic.
sent1 & sent7 -> int1: the fact that the paperclip is neritic hold.; sent5 -> int2: if the paperclip is neritic it is a kind of a basketry.; int1 & int2 -> int3: the paperclip is a basketry.; int3 & sent6 -> hypothesis;
the paperclip is a bow-tie if it is a Frankfurt.
sent3 -> hypothesis;
$hypothesis$ = the sorter is a kind of a latest. ; $context$ = sent1: there is something such that the fact that that it does not relay and it does not protest rockrose is not false is not correct. sent2: something is a latest if it is a basketry. sent3: if something is a Frankfurt that it is a bow-tie is not wrong. sent4: the sorter is obedient. sent5: something is a basketry if it is neritic. sent6: the sorter is not a latest if the paperclip is a basketry. sent7: if there exists something such that the fact that the fact that it is not a relay and it does not protest rockrose is not incorrect is not correct then the paperclip is not non-neritic. ; $proof$ = 
sent1 & sent7 -> int1: the fact that the paperclip is neritic hold.; sent5 -> int2: if the paperclip is neritic it is a kind of a basketry.; int1 & int2 -> int3: the paperclip is a basketry.; int3 & sent6 -> hypothesis; __DISPROVED__