このＴＰＥは薄明るくない
fact1: もしこのＴＰＥは退屈でないとしたら薄明るい fact2: このＴＰＥは退屈でない
$facts$ = fact1: もしこのＴＰＥは退屈でないとしたら薄明るい fact2: このＴＰＥは退屈でない ; $hypothesis$ = このＴＰＥは薄明るくない ; $proof$ = 
事実1: もしこのＴＰＥは退屈でないとしたら薄明るい
事実2: このＴＰＥは退屈でない

仮説: このＴＰＥは薄明るくない