その資産状態は物分かりであるがしかし甲文でない
fact1: もしもおもろくない物はあるとすると「その資産状態は甲文でない」ということは成り立つ fact2: 何らかのものはおもろくない fact3: その資産状態は甲文だということはない fact4: 何らかの物がおもろくないとすればその資産状態は物分かりだけれどそれは甲文でない fact5: 何かは甲文でない fact6: 仮に「しゃぶりつかない」物があるとするとその両掛かりは承認するが幼くない fact7: 何らかの物はおもろいなら「物分かりだが甲文でない」ということは偽だ fact8: 何らかのものはおもろい fact9: もし仮にその歌劇団が前歯であるということはないならばその資産状態は決め兼ねるしおもろい fact10: 「「おもろくておまけに人民法院である」ということは成り立たない」ものがあるならばあの資産状態は人民法院でない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
なにがしかの物は人民法院であるということはない
$facts$ = fact1: もしもおもろくない物はあるとすると「その資産状態は甲文でない」ということは成り立つ fact2: 何らかのものはおもろくない fact3: その資産状態は甲文だということはない fact4: 何らかの物がおもろくないとすればその資産状態は物分かりだけれどそれは甲文でない fact5: 何かは甲文でない fact6: 仮に「しゃぶりつかない」物があるとするとその両掛かりは承認するが幼くない fact7: 何らかの物はおもろいなら「物分かりだが甲文でない」ということは偽だ fact8: 何らかのものはおもろい fact9: もし仮にその歌劇団が前歯であるということはないならばその資産状態は決め兼ねるしおもろい fact10: 「「おもろくておまけに人民法院である」ということは成り立たない」ものがあるならばあの資産状態は人民法院でない ; $hypothesis$ = その資産状態は物分かりであるがしかし甲文でない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: もしもおもろくない物はあるとすると「その資産状態は甲文でない」ということは成り立つ
事実2: 何らかのものはおもろくない
事実3: その資産状態は甲文だということはない
事実4: 何らかの物がおもろくないとすればその資産状態は物分かりだけれどそれは甲文でない
事実5: 何かは甲文でない
事実6: 仮に「しゃぶりつかない」物があるとするとその両掛かりは承認するが幼くない
事実7: 何らかの物はおもろいなら「物分かりだが甲文でない」ということは偽だ
事実8: 何らかのものはおもろい
事実9: もし仮にその歌劇団が前歯であるということはないならばその資産状態は決め兼ねるしおもろい
事実10: 「「おもろくておまけに人民法院である」ということは成り立たない」ものがあるならばあの資産状態は人民法院でない

仮説: その資産状態は物分かりであるがしかし甲文でない
1. 事実2と事実4から、仮説が導かれる

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