あのシンボルプロパティは不思議さだということはない
fact1: あのシンボルプロパティは不思議さである
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あのシンボルプロパティは不思議さである ; $hypothesis$ = あのシンボルプロパティは不思議さだということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あのシンボルプロパティは不思議さである

仮説: あのシンボルプロパティは不思議さだということはない
1. 事実1から、仮説が否定される

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