このリアリティは言い添えない
fact1: このリアリティは言い添える
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: このリアリティは言い添える ; $hypothesis$ = このリアリティは言い添えない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: このリアリティは言い添える

仮説: このリアリティは言い添えない
1. 事実1から、仮説が否定される

よって、仮説が否定されました。