「このエンコード処理は従業員達だ」ということは確かである
fact1: もしあのイスラム原理主義者は増え難いということはないとすると「五発目であるしがめつい」ということは成り立たない fact2: もしあるものが携帯すればそれは五発目だ fact3: 「あの額面通りは携帯するしそれに文明だ」ということは間違っているならこのエンコード処理は従業員達だということはない fact4: このエンコード処理は文明であるし携帯する fact5: 五発目は従業員達だ fact6: この実用的効果は携帯する
fact4 -> int1: 「このエンコード処理は携帯する」ということは真実である; fact2 -> int2: 仮にこのエンコード処理は携帯すれば「五発目である」ということは正しい; int1 & int2 -> int3: このエンコード処理は五発目である; fact5 -> int4: このエンコード処理が五発目だとするとそれは従業員達である; int3 & int4 -> hypothesis;
このエンコード処理は従業員達でない
$facts$ = fact1: もしあのイスラム原理主義者は増え難いということはないとすると「五発目であるしがめつい」ということは成り立たない fact2: もしあるものが携帯すればそれは五発目だ fact3: 「あの額面通りは携帯するしそれに文明だ」ということは間違っているならこのエンコード処理は従業員達だということはない fact4: このエンコード処理は文明であるし携帯する fact5: 五発目は従業員達だ fact6: この実用的効果は携帯する ; $hypothesis$ = 「このエンコード処理は従業員達だ」ということは確かである ; $proof$ = 
fact4 -> int1: 「このエンコード処理は携帯する」ということは真実である; fact2 -> int2: 仮にこのエンコード処理は携帯すれば「五発目である」ということは正しい; int1 & int2 -> int3: このエンコード処理は五発目である; fact5 -> int4: このエンコード処理が五発目だとするとそれは従業員達である; int3 & int4 -> hypothesis; __PROVED__
事実1: もしあのイスラム原理主義者は増え難いということはないとすると「五発目であるしがめつい」ということは成り立たない
事実2: もしあるものが携帯すればそれは五発目だ
事実3: 「あの額面通りは携帯するしそれに文明だ」ということは間違っているならこのエンコード処理は従業員達だということはない
事実4: このエンコード処理は文明であるし携帯する
事実5: 五発目は従業員達だ
事実6: この実用的効果は携帯する

仮説: 「このエンコード処理は従業員達だ」ということは確かである
1. 事実4から、推論1: "「このエンコード処理は携帯する」ということは真実である"が導かれる
2. 事実2から、推論2: "仮にこのエンコード処理は携帯すれば「五発目である」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "このエンコード処理は五発目である"が導かれる
4. 事実5から、推論4: "このエンコード処理が五発目だとするとそれは従業員達である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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