その救急救命室は掘り抜き井戸でない
fact1: もしもそのプロセス管理表は国際連合加盟国であるとするとそれは出会い易い fact2: もし仮にそのプロセス管理表が出会い易いしそれがすばしっこいとするとその救急救命室は掘り抜き井戸でない fact3: そのプロセス管理表はすばしっこいしさらににやける fact4: もしその救急救命室はすばしっこいし掘り抜き井戸であるなら「そのプロセス管理表は国際連合加盟国でない」ということは成り立つ fact5: そのプロセス管理表は国際連合加盟国である fact6: そのプロセス管理表はにやける fact7: 仮にその救急救命室が掘り抜き井戸であるしにやけるとしたらそのプロセス管理表はすばしっこくない fact8: 仮にそのプロセス管理表が国際連合加盟国でそれにそれがにやけるとすればその救急救命室はすばしっこくない
fact1 & fact5 -> int1: 「そのプロセス管理表は出会い易い」ということは本当である; fact3 -> int2: 「そのプロセス管理表はすばしっこい」ということは成り立つ; int1 & int2 -> int3: そのプロセス管理表は出会い易いし加えてすばしっこい; int3 & fact2 -> hypothesis;
$facts$ = fact1: もしもそのプロセス管理表は国際連合加盟国であるとするとそれは出会い易い fact2: もし仮にそのプロセス管理表が出会い易いしそれがすばしっこいとするとその救急救命室は掘り抜き井戸でない fact3: そのプロセス管理表はすばしっこいしさらににやける fact4: もしその救急救命室はすばしっこいし掘り抜き井戸であるなら「そのプロセス管理表は国際連合加盟国でない」ということは成り立つ fact5: そのプロセス管理表は国際連合加盟国である fact6: そのプロセス管理表はにやける fact7: 仮にその救急救命室が掘り抜き井戸であるしにやけるとしたらそのプロセス管理表はすばしっこくない fact8: 仮にそのプロセス管理表が国際連合加盟国でそれにそれがにやけるとすればその救急救命室はすばしっこくない ; $hypothesis$ = その救急救命室は掘り抜き井戸でない ; $proof$ = 
fact1 & fact5 -> int1: 「そのプロセス管理表は出会い易い」ということは本当である; fact3 -> int2: 「そのプロセス管理表はすばしっこい」ということは成り立つ; int1 & int2 -> int3: そのプロセス管理表は出会い易いし加えてすばしっこい; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしもそのプロセス管理表は国際連合加盟国であるとするとそれは出会い易い
事実2: もし仮にそのプロセス管理表が出会い易いしそれがすばしっこいとするとその救急救命室は掘り抜き井戸でない
事実3: そのプロセス管理表はすばしっこいしさらににやける
事実4: もしその救急救命室はすばしっこいし掘り抜き井戸であるなら「そのプロセス管理表は国際連合加盟国でない」ということは成り立つ
事実5: そのプロセス管理表は国際連合加盟国である
事実6: そのプロセス管理表はにやける
事実7: 仮にその救急救命室が掘り抜き井戸であるしにやけるとしたらそのプロセス管理表はすばしっこくない
事実8: 仮にそのプロセス管理表が国際連合加盟国でそれにそれがにやけるとすればその救急救命室はすばしっこくない

仮説: その救急救命室は掘り抜き井戸でない
1. 事実1と事実5から、推論1: "「そのプロセス管理表は出会い易い」ということは本当である"が導かれる
2. 事実3から、推論2: "「そのプロセス管理表はすばしっこい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "そのプロセス管理表は出会い易いし加えてすばしっこい"が導かれる
4. 推論3と事実2から、仮説が導かれる

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