その換地処分等は賃料債権だ
fact1: もしもその換地処分等が民間ローンであるけど賃料債権でないならあのＥＭＲは素広博士だ fact2: もし仮にあのＥＭＲが素広博士であるがそれが民間ローンでないとするとその換地処分等は賃料債権である fact3: どれもこれもは素広博士だし民間ローンでない
fact3 -> int1: あのＥＭＲは素広博士であるけど民間ローンでない; int1 & fact2 -> hypothesis;
fact3 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: もしもその換地処分等が民間ローンであるけど賃料債権でないならあのＥＭＲは素広博士だ fact2: もし仮にあのＥＭＲが素広博士であるがそれが民間ローンでないとするとその換地処分等は賃料債権である fact3: どれもこれもは素広博士だし民間ローンでない ; $hypothesis$ = その換地処分等は賃料債権だ ; $proof$ = 
fact3 -> int1: あのＥＭＲは素広博士であるけど民間ローンでない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもその換地処分等が民間ローンであるけど賃料債権でないならあのＥＭＲは素広博士だ
事実2: もし仮にあのＥＭＲが素広博士であるがそれが民間ローンでないとするとその換地処分等は賃料債権である
事実3: どれもこれもは素広博士だし民間ローンでない

仮説: その換地処分等は賃料債権だ
1. 事実3から、推論1: "あのＥＭＲは素広博士であるけど民間ローンでない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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