そのプロパティインスペクタはセリンである
fact1: そのプロパティインスペクタはセリンであるがしかしそれは物寂しくない
$facts$ = fact1: そのプロパティインスペクタはセリンであるがしかしそれは物寂しくない ; $hypothesis$ = そのプロパティインスペクタはセリンである ; $proof$ = 
事実1: そのプロパティインスペクタはセリンであるがしかしそれは物寂しくない

仮説: そのプロパティインスペクタはセリンである