determine by tree $"($x$)($Rxa $$ Rax$)"$ y $"($y$)($Ty $$ Rya$)"$ conclusion $"$~$($y$)($Ty & ~Ray$)".$