Proof

Step	Formula	Justification	Bindings
1	{ :xhr1 sop:contactsOrigin "fedex.com" . } log:includes {:xhr1 sop:contactsOrigin "fedex.com" . } .	built-in Axiom log:includes
2	( "http://fedex.com/track.js" "http://([^/]+)/" ) :search ( "fedex.com" ) .	built-in Axiom str:search
3	<http://fedex.com/track.js> :uri "http://fedex.com/track.js" .	built-in Axiom log:uri
4	( :q2 ) list:member :q2 .	built-in Axiom list:member
5	...	parsing <mashup.n3>
6	mas:fedexConnection :connectionAuthority "fedex.com"; :requests ( mas:q2 ) . mas:q2 :absoluteURI "http://fedex.com/track.js"; :methodName "GET" .	erasure from step 5
7	...	parsing <scriptorigin.n3>
8	@forAll :CONNECTION, :I, :ORIGIN, :Q, :RES . { ( :I "http://([^/]+)/" ) str:search ( :ORIGIN ) . :CONNECTION ht:connectionAuthority :ORIGIN; ht:requests [ list:member :Q ] . :Q ht:absoluteURI :I; ht:methodName "GET" . :RES log:uri :I . } log:implies {:RES sop:origin :ORIGIN . } .	erasure from step 7
9	...	rule from step 8 applied to steps (2, 3, 4, 6)	{'ORIGIN': '"fede....com"', 'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'Q': u'<mashup#q2>', '_g_L43C18': '?', 'CONNECTION': u'<mashup#fedexConnection>'}
10	<http://fedex.com/track.js> :origin "fedex.com" .	erasure from step 9
11	@forAll :ORIGIN, :P . { :P sop:origin :ORIGIN . } log:implies {:P c:controls_subject ( sop:contactsOrigin :ORIGIN ) . } .	erasure from step 7
12	...	rule from step 11 applied to steps (10,)	{'ORIGIN': '"fede....com"', 'P': u'<http://fedex.com/track.js>'}
13	<http://fedex.com/track.js> c:controls_subject ( :contactsOrigin "fedex.com" ) .	erasure from step 12
14	...	parsing <httpsocial.n3>
15	:information s:subPropertyOf c:says .	erasure from step 14
16	{ <http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } . } log:includes {<http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } . } .	built-in Axiom log:includes
17	<http://fedex.com/track.js> :uri "http://fedex.com/track.js" .	built-in Axiom log:uri
18	( "http://fedex.com/track.js" "http://([^/]+)/" ) :search ( "fedex.com" ) .	built-in Axiom str:search
19	<http://fedex.com/track.js> :uri "http://fedex.com/track.js" .	built-in Axiom log:uri
20	( :q2 ) list:member :q2 .	built-in Axiom list:member
21	:a2 hs:messageEntity {:xhr1 sop:contactsOrigin "fedex.com" . }; ht:statusCodeNumber "200" . :fedexConnection ht:requests ( :q2 ) . :q2 ht:absoluteURI "http://fedex.com/track.js"; ht:methodName "GET"; ht:resp :a2 .	erasure from step 5
22	...	parsing <httpspeech.n3>
23	@forAll hs:E, hs:RES, :A, :CONNECTION, :I, :Q . { hs:RES log:uri :I . :A hs:messageEntity hs:E; ht:statusCodeNumber "200" . :CONNECTION ht:requests [ list:member :Q ] . :Q ht:absoluteURI :I; ht:methodName "GET"; ht:resp :A . } log:implies {:CONNECTION c:says {hs:RES hs:information hs:E . } . } .	erasure from step 22
24	...	rule from step 23 applied to steps (19, 20, 21)	{'A': u'<mashup#a2>', 'E': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'Q': u'<mashup#q2>', 'CONNECTION': u'<mashup#fedexConnection>', '_g_L134C29': '?'}
25	:fedexConnection c:says {<http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } . } .	erasure from step 24
26	:fedexConnection ht:connectionAuthority "fedex.com" .	erasure from step 5
27	@forAll :E, :RES, htt:A, htt:CONNECTION, htt:I . { ( htt:I "http://([^/]+)/" ) str:search ( htt:A ) . :RES log:uri htt:I . htt:CONNECTION c:says {:RES :information :E . }; ht:connectionAuthority htt:A . } log:implies {htt:CONNECTION c:controls_spo ( :RES :information :E ) . } .	erasure from step 22
28	...	rule from step 27 applied to steps (17, 18, 25, 26)	{'I': '"http...k.js"', 'RES': u'<http://fedex.com/track.js>', 'CONNECTION': u'<mashup#fedexConnection>', 'E': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'A': '"fede....com"'}
29	:fedexConnection c:controls_spo ( <http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } ) .	erasure from step 28
30	:fedexConnection c:says {<http://fedex.com/track.js> hs:information {:xhr1 sop:contactsOrigin "fedex.com" . } . } .	erasure from step 24
31	...	parsing <speech.n3>
32	@forAll :obj, :pred, :subj, spe:A . { spe:A :controls_spo ( :subj :pred :obj ); :says [ log:includes {:subj :pred :obj . } ] . } log:implies {:subj :pred :obj . } .	erasure from step 31
33	...	rule from step 32 applied to steps (16, 29, 30)	{'_g_L76C11': '{track.js hs:information {mas:xhr1 sop:contactsOrigin "fede....com"}}', 'pred': u'<httpspeech#information>', 'A': u'<mashup#fedexConnection>', 'subj': u'<http://fedex.com/track.js>', 'obj': '{mas:xhr1 sop:contactsOrigin "fede....com"}'}
34	<http://fedex.com/track.js> :information {mas:xhr1 sop:contactsOrigin "fedex.com" . } .	erasure from step 33
35	...	parsing <rdfs-nice.n3>
36	@forAll :bbb, :xxx, :yyy . { @forSome run:_g12 . run:_g12 s:subPropertyOf :bbb . :xxx run:_g12 :yyy . } log:implies {:xxx :bbb :yyy . } .	erasure from step 35
37	...	rule from step 36 applied to steps (15, 34)	{'_g_L71C8': u'<httpspeech#information>', 'xxx': u'<http://fedex.com/track.js>', 'yyy': '{mas:xhr1 sop:contactsOrigin "fede....com"}', 'bbb': u'<speech#says>'}
38	<http://fedex.com/track.js> c:says {:xhr1 sop:contactsOrigin "fedex.com" . } .	erasure from step 37
39	@forAll :obj, :pred, :subj, spe:A . { spe:A :controls_subject ( :pred :obj ); :says [ log:includes {:subj :pred :obj . } ] . } log:implies {:subj :pred :obj . } .	erasure from step 31
40	...	rule from step 39 applied to steps (1, 13, 38)	{'A': u'<http://fedex.com/track.js>', 'pred': u'<scriptorigin#contactsOrigin>', 'subj': u'<mashup#xhr1>', 'obj': '"fede....com"', '_g_L81C11': '{mas:xhr1 sop:contactsOrigin "fede....com"}'}
41	:xhr1 sop:contactsOrigin "fedex.com" .	erasure from step 40
42	...	parsing <mash1-goal.n3>
43	{ :xhr1 sop:contactsOrigin "fedex.com" . } log:implies {:xhr1 sop:contactsOrigin "fedex.com" . } .	erasure from step 42
44	:xhr1 sop:contactsOrigin "fedex.com" .	rule from step 43 applied to steps (41,)	{}

Conclusion:

@prefix : <mashup#> .
@prefix sop: <scriptorigin#> .

:xhr1     sop:contactsOrigin "fedex.com" .