その入金は比較出来るということはない
fact1: もしも有価証券届け出書きは政府見解であるということはないならばそれは比較出来ない fact2: もしもその入金がハンドバッグならそれは有価証券届け出書きだ一方で政府見解でない fact3: 「その入金はハンドバッグである」ということは事実である
fact1 -> int1: もし仮にその入金が有価証券届け出書きだけど政府見解でないならそれは比較出来ない; fact2 & fact3 -> int2: その入金は有価証券届け出書きだけれど政府見解でない; int1 & int2 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact2 & fact3 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: もしも有価証券届け出書きは政府見解であるということはないならばそれは比較出来ない fact2: もしもその入金がハンドバッグならそれは有価証券届け出書きだ一方で政府見解でない fact3: 「その入金はハンドバッグである」ということは事実である ; $hypothesis$ = その入金は比較出来るということはない ; $proof$ = 
fact1 -> int1: もし仮にその入金が有価証券届け出書きだけど政府見解でないならそれは比較出来ない; fact2 & fact3 -> int2: その入金は有価証券届け出書きだけれど政府見解でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも有価証券届け出書きは政府見解であるということはないならばそれは比較出来ない
事実2: もしもその入金がハンドバッグならそれは有価証券届け出書きだ一方で政府見解でない
事実3: 「その入金はハンドバッグである」ということは事実である

仮説: その入金は比較出来るということはない
1. 事実1から、推論1: "もし仮にその入金が有価証券届け出書きだけど政府見解でないならそれは比較出来ない"が導かれる
2. 事実2と事実3から、推論2: "その入金は有価証券届け出書きだけれど政府見解でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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