あのアットマークが酸触媒だけど工業化しない
fact1: もしもあのアットマークは柔くないなら「それは酸触媒であるがしかし工業化しない」ということは偽である fact2: あのアットマークは柔いということはない
$facts$ = fact1: もしもあのアットマークは柔くないなら「それは酸触媒であるがしかし工業化しない」ということは偽である fact2: あのアットマークは柔いということはない ; $hypothesis$ = あのアットマークが酸触媒だけど工業化しない ; $proof$ = 
事実1: もしもあのアットマークは柔くないなら「それは酸触媒であるがしかし工業化しない」ということは偽である
事実2: あのアットマークは柔いということはない

仮説: あのアットマークが酸触媒だけど工業化しない