そのギリシャ文字はつれない
fact1: そのギリシャ文字は遣り難いということはない fact2: もし「そのギリシャ文字は遣り難くない」ということは確かだとすればつれなくない
$facts$ = fact1: そのギリシャ文字は遣り難いということはない fact2: もし「そのギリシャ文字は遣り難くない」ということは確かだとすればつれなくない ; $hypothesis$ = そのギリシャ文字はつれない ; $proof$ = 
事実1: そのギリシャ文字は遣り難いということはない
事実2: もし「そのギリシャ文字は遣り難くない」ということは確かだとすればつれなくない

仮説: そのギリシャ文字はつれない