このキーイベントは共有ディレクトリだということはない
fact1: 「灰色っぽくないし加えて高し」物はある fact2: 灰色っぽくないものが高しとしたらこのキーイベントは共有ディレクトリでない
$facts$ = fact1: 「灰色っぽくないし加えて高し」物はある fact2: 灰色っぽくないものが高しとしたらこのキーイベントは共有ディレクトリでない ; $hypothesis$ = このキーイベントは共有ディレクトリだということはない ; $proof$ = 
事実1: 「灰色っぽくないし加えて高し」物はある
事実2: 灰色っぽくないものが高しとしたらこのキーイベントは共有ディレクトリでない

仮説: このキーイベントは共有ディレクトリだということはない