the fact that something is both a Lyra and not harmonious is not true.
sent1: everything is a kind of a Lyra and it is inharmonious.
sent1 -> int1: the Moselle is a Lyra and is not harmonious.; int1 -> hypothesis;
$hypothesis$ = the fact that something is both a Lyra and not harmonious is not true. ; $context$ = sent1: everything is a kind of a Lyra and it is inharmonious. ; $proof$ = 
sent1 -> int1: the Moselle is a Lyra and is not harmonious.; int1 -> hypothesis; __DISPROVED__