Here is otter output of this example

----- Otter 3.3, August 2003 -----
The process was started by a Windows user on a Windows machine,
Tue Nov 17 18:31:54 2015
The command was "Otter\bin\otter.exe".

WARNING: clear(auto) flag already clear.
clear(auto).
set(prolog_style_variables).
set(hyper_res).
set(factor).
clear(print_given).
WARNING: set(print_kept) flag already set.
set(print_kept).
assign(stats_level,0).
assign(max_seconds,10).

list(sos).
1 [] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:action","id:local_1").
2 [] rdf("id:local_1","id:isactivity","http://conceptnet5.media.mit.edu/web/c/en/go").
3 [] rdf("id:local_1","id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/yesterday").
4 [] rdf("http://en.wikipedia.org/wiki/Barack_Obama","http://conceptnet5.media.mit.edu/web/c/en/live","https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing").
5 [] rdf("https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing","http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type","id:local_2").
6 [] rdf("id:local_2","id:isobject","http://conceptnet5.media.mit.edu/web/c/en/hotel").
7 [] rdf("id:local_2","id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/superb").
8 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/person")|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal").
9 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal")|rdf(X,"id:type","mortal").
10 [] -rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/person")|rdf(X,"id:CapableOf","id:eat").
11 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/live",Y)|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/animal").
12 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type",Y)| -rdf(Y,"id:isobject",Z)|rdf(X,"id:type",Z).
13 [] -rdf(X,"http://conceptnet5.media.mit.edu/web/c/en/live",Y)| -rdf(Y,"id:type","http://conceptnet5.media.mit.edu/web/c/en/hotel")| -rdf(Y,"http://conceptnet5.media.mit.edu/web/c/en/type/v/identify_as_belonging_to_a_certain_type",Z)| -rdf(Z,"id:extrainfo","http://conceptnet5.media.mit.edu/web/c/en/superb")|rdf(X,"id:type","http://conceptnet5.media.mit.edu/web/c/en/rich").
end_of_list.

======= end of input processing =======

=========== start of search ===========
** KEPT (pick-wt=4): 14 [hyper,11,4] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","http://conceptnet5.media.mit.edu/web/c/en/animal").
** KEPT (pick-wt=4): 15 [hyper,14,9] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","mortal").
** KEPT (pick-wt=4): 16 [hyper,12,5,6] rdf("https://en.wikipedia.org/wiki/Grand_Hyatt_Beijing","id:type","http://conceptnet5.media.mit.edu/web/c/en/hotel").
** KEPT (pick-wt=4): 17 [hyper,13,4,16,5,7] rdf("http://en.wikipedia.org/wiki/Barack_Obama","id:type","http://conceptnet5.media.mit.edu/web/c/en/rich").

Search stopped because sos empty.

============ end of search ============

Process 0 finished Tue Nov 17 18:31:54 2015