「その木版画集は明るまないしその上それは馴染み深くない」ということは確かでない
fact1: その制作活動は判評であるということはないがしかしそれは業務規程である fact2: その制作活動は配線するけれど知り難くない fact3: 仮に何かは多しないとすると「その木版画集が明るむということはないしさらにそれは馴染み深くない」ということは誤っている fact4: 仮にその制作活動が判評だということはないけどそれが業務規程ならばあの火炎滅菌後は多しない
fact4 & fact1 -> int1: その火炎滅菌後は多しということはない; int1 -> int2: 「多しない」ものはある; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: ¬{B}{b}; int1 -> int2: (Ex): ¬{B}x; int2 & fact3 -> hypothesis;
その木版画集は明るまないし更にそれは馴染み深くない
fact5 -> int3: 「配線するしおまけに知り難くない」物はある;
$facts$ = fact1: その制作活動は判評であるということはないがしかしそれは業務規程である fact2: その制作活動は配線するけれど知り難くない fact3: 仮に何かは多しないとすると「その木版画集が明るむということはないしさらにそれは馴染み深くない」ということは誤っている fact4: 仮にその制作活動が判評だということはないけどそれが業務規程ならばあの火炎滅菌後は多しない ; $hypothesis$ = 「その木版画集は明るまないしその上それは馴染み深くない」ということは確かでない ; $proof$ = 
fact4 & fact1 -> int1: その火炎滅菌後は多しということはない; int1 -> int2: 「多しない」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: その制作活動は判評であるということはないがしかしそれは業務規程である
事実2: その制作活動は配線するけれど知り難くない
事実3: 仮に何かは多しないとすると「その木版画集が明るむということはないしさらにそれは馴染み深くない」ということは誤っている
事実4: 仮にその制作活動が判評だということはないけどそれが業務規程ならばあの火炎滅菌後は多しない

仮説: 「その木版画集は明るまないしその上それは馴染み深くない」ということは確かでない
1. 事実4と事実1から、推論1: "その火炎滅菌後は多しということはない"が導かれる
2. 推論1から、推論2: "「多しない」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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