あの更新は二百八ページ参照だ
fact1: あの製品系列は御恥ずかしくない fact2: あの製品系列が自惚れないならこの不詳は危険無しで物色する fact3: もしなんらかの物が物色するとしたら御恥ずかしくない fact4: もしあの更新が自惚れるということはないしさらに御恥ずかしいということはないとしたらあの製品系列は自惚れない fact5: 仮にあの製品系列が物色するとすれば御恥ずかしくない fact6: あの製品系列は二百八ページ参照であるということはないしそれに御恥ずかしくない fact7: 仮にあの製品系列は御恥ずかしいということはないしその上自惚れないとすると「あの更新は二百八ページ参照だ」ということは成り立つ fact8: あの製品系列は危険無しだ fact9: あの製品系列は危険無しでおまけにそれは物色する fact10: なんらかの物が物色するとすると御恥ずかしくなくて加えてそれは自惚れない fact11: あの製品系列はねちっこくないしクラックしない fact12: もしあの製品系列が御恥ずかしいが自惚れないならばあの更新は二百八ページ参照である
fact9 -> int1: あの製品系列は物色する; fact10 -> int2: もしあの製品系列が物色するならそれは御恥ずかしくないしかつ自惚れない; int1 & int2 -> int3: あの製品系列は御恥ずかしくなくて加えて自惚れない; int3 & fact7 -> hypothesis;
fact9 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> (¬{D}{a} & ¬{C}{a}); int1 & int2 -> int3: (¬{D}{a} & ¬{C}{a}); int3 & fact7 -> hypothesis;
この不詳は危険無しである
$facts$ = fact1: あの製品系列は御恥ずかしくない fact2: あの製品系列が自惚れないならこの不詳は危険無しで物色する fact3: もしなんらかの物が物色するとしたら御恥ずかしくない fact4: もしあの更新が自惚れるということはないしさらに御恥ずかしいということはないとしたらあの製品系列は自惚れない fact5: 仮にあの製品系列が物色するとすれば御恥ずかしくない fact6: あの製品系列は二百八ページ参照であるということはないしそれに御恥ずかしくない fact7: 仮にあの製品系列は御恥ずかしいということはないしその上自惚れないとすると「あの更新は二百八ページ参照だ」ということは成り立つ fact8: あの製品系列は危険無しだ fact9: あの製品系列は危険無しでおまけにそれは物色する fact10: なんらかの物が物色するとすると御恥ずかしくなくて加えてそれは自惚れない fact11: あの製品系列はねちっこくないしクラックしない fact12: もしあの製品系列が御恥ずかしいが自惚れないならばあの更新は二百八ページ参照である ; $hypothesis$ = あの更新は二百八ページ参照だ ; $proof$ = 
fact9 -> int1: あの製品系列は物色する; fact10 -> int2: もしあの製品系列が物色するならそれは御恥ずかしくないしかつ自惚れない; int1 & int2 -> int3: あの製品系列は御恥ずかしくなくて加えて自惚れない; int3 & fact7 -> hypothesis; __PROVED__
事実1: あの製品系列は御恥ずかしくない
事実2: あの製品系列が自惚れないならこの不詳は危険無しで物色する
事実3: もしなんらかの物が物色するとしたら御恥ずかしくない
事実4: もしあの更新が自惚れるということはないしさらに御恥ずかしいということはないとしたらあの製品系列は自惚れない
事実5: 仮にあの製品系列が物色するとすれば御恥ずかしくない
事実6: あの製品系列は二百八ページ参照であるということはないしそれに御恥ずかしくない
事実7: 仮にあの製品系列は御恥ずかしいということはないしその上自惚れないとすると「あの更新は二百八ページ参照だ」ということは成り立つ
事実8: あの製品系列は危険無しだ
事実9: あの製品系列は危険無しでおまけにそれは物色する
事実10: なんらかの物が物色するとすると御恥ずかしくなくて加えてそれは自惚れない
事実11: あの製品系列はねちっこくないしクラックしない
事実12: もしあの製品系列が御恥ずかしいが自惚れないならばあの更新は二百八ページ参照である

仮説: あの更新は二百八ページ参照だ
1. 事実9から、推論1: "あの製品系列は物色する"が導かれる
2. 事実10から、推論2: "もしあの製品系列が物色するならそれは御恥ずかしくないしかつ自惚れない"が導かれる
3. 推論1と推論2から、推論3: "あの製品系列は御恥ずかしくなくて加えて自惚れない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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