その集大成は敗訴者負担制度でない
fact1: もしこの指揮監督権が違くないとするとその集大成は敗訴者負担制度だし第一法規出版だ fact2: 「「源ちゃんであるし加えて御空である」ということは嘘な」ものはある fact3: もし仮に「御空でない」物があるとするとその集大成は敗訴者負担制度だということはない fact4: もしも「「源ちゃんで御空である」ということは偽な」物があるとするとその集大成は敗訴者負担制度でない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
その集大成は敗訴者負担制度である
$facts$ = fact1: もしこの指揮監督権が違くないとするとその集大成は敗訴者負担制度だし第一法規出版だ fact2: 「「源ちゃんであるし加えて御空である」ということは嘘な」ものはある fact3: もし仮に「御空でない」物があるとするとその集大成は敗訴者負担制度だということはない fact4: もしも「「源ちゃんで御空である」ということは偽な」物があるとするとその集大成は敗訴者負担制度でない ; $hypothesis$ = その集大成は敗訴者負担制度でない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: もしこの指揮監督権が違くないとするとその集大成は敗訴者負担制度だし第一法規出版だ
事実2: 「「源ちゃんであるし加えて御空である」ということは嘘な」ものはある
事実3: もし仮に「御空でない」物があるとするとその集大成は敗訴者負担制度だということはない
事実4: もしも「「源ちゃんで御空である」ということは偽な」物があるとするとその集大成は敗訴者負担制度でない

仮説: その集大成は敗訴者負担制度でない
1. 事実2と事実4から、仮説が導かれる

よって、仮説が証明されました。