「あの同一額は拡散浸透しないし更にそれは冷たいということはない」ということは成り立たない
fact1: もし仮にこの地震学者が焦げ臭くないならその二十歳未満は焦げ臭くないかもしくは苛々し易いかまたは両方だ fact2: その二十歳未満が部品Ｚ製造工場であるならばこの地震学者は部品Ｚ製造工場でない fact3: 焦げ臭くないかあるいは苛々し易いものは部品Ｚ製造工場でない fact4: もしもその二十歳未満は部品Ｚ製造工場でないなら「あの同一額は拡散浸透しなくて冷たくない」ということは間違っている fact5: それは形成され易くてかつそれは乗り熟さないという物はない fact6: 「そのデンマーク人は形成され易い一方で乗り熟さない」ということは間違っているならこの地震学者は焦げ臭いということはない fact7: もしこの地震学者が焦げ臭いならその蛮行は形成され易くない fact8: 「その二十歳未満は拡散浸透しない」ということは偽でない
fact5 -> int1: 「そのデンマーク人は形成され易いが乗り熟すということはない」ということは間違いである; int1 & fact6 -> int2: この地震学者は焦げ臭くない; int2 & fact1 -> int3: その二十歳未満は焦げ臭くないかあるいはそれは苛々し易い; fact3 -> int4: その二十歳未満が焦げ臭くないかまたは苛々し易いかあるいはどちらもだとしたら「部品Ｚ製造工場でない」ということは事実である; int3 & int4 -> int5: その二十歳未満は部品Ｚ製造工場でない; int5 & fact4 -> hypothesis;
「その蛮行は形成され易いということはない」ということは事実だ
$facts$ = fact1: もし仮にこの地震学者が焦げ臭くないならその二十歳未満は焦げ臭くないかもしくは苛々し易いかまたは両方だ fact2: その二十歳未満が部品Ｚ製造工場であるならばこの地震学者は部品Ｚ製造工場でない fact3: 焦げ臭くないかあるいは苛々し易いものは部品Ｚ製造工場でない fact4: もしもその二十歳未満は部品Ｚ製造工場でないなら「あの同一額は拡散浸透しなくて冷たくない」ということは間違っている fact5: それは形成され易くてかつそれは乗り熟さないという物はない fact6: 「そのデンマーク人は形成され易い一方で乗り熟さない」ということは間違っているならこの地震学者は焦げ臭いということはない fact7: もしこの地震学者が焦げ臭いならその蛮行は形成され易くない fact8: 「その二十歳未満は拡散浸透しない」ということは偽でない ; $hypothesis$ = 「あの同一額は拡散浸透しないし更にそれは冷たいということはない」ということは成り立たない ; $proof$ = 
fact5 -> int1: 「そのデンマーク人は形成され易いが乗り熟すということはない」ということは間違いである; int1 & fact6 -> int2: この地震学者は焦げ臭くない; int2 & fact1 -> int3: その二十歳未満は焦げ臭くないかあるいはそれは苛々し易い; fact3 -> int4: その二十歳未満が焦げ臭くないかまたは苛々し易いかあるいはどちらもだとしたら「部品Ｚ製造工場でない」ということは事実である; int3 & int4 -> int5: その二十歳未満は部品Ｚ製造工場でない; int5 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの地震学者が焦げ臭くないならその二十歳未満は焦げ臭くないかもしくは苛々し易いかまたは両方だ
事実2: その二十歳未満が部品Ｚ製造工場であるならばこの地震学者は部品Ｚ製造工場でない
事実3: 焦げ臭くないかあるいは苛々し易いものは部品Ｚ製造工場でない
事実4: もしもその二十歳未満は部品Ｚ製造工場でないなら「あの同一額は拡散浸透しなくて冷たくない」ということは間違っている
事実5: それは形成され易くてかつそれは乗り熟さないという物はない
事実6: 「そのデンマーク人は形成され易い一方で乗り熟さない」ということは間違っているならこの地震学者は焦げ臭いということはない
事実7: もしこの地震学者が焦げ臭いならその蛮行は形成され易くない
事実8: 「その二十歳未満は拡散浸透しない」ということは偽でない

仮説: 「あの同一額は拡散浸透しないし更にそれは冷たいということはない」ということは成り立たない
1. 事実5から、推論1: "「そのデンマーク人は形成され易いが乗り熟すということはない」ということは間違いである"が導かれる
2. 推論1と事実6から、推論2: "この地震学者は焦げ臭くない"が導かれる
3. 推論2と事実1から、推論3: "その二十歳未満は焦げ臭くないかあるいはそれは苛々し易い"が導かれる
4. 事実3から、推論4: "その二十歳未満が焦げ臭くないかまたは苛々し易いかあるいはどちらもだとしたら「部品Ｚ製造工場でない」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "その二十歳未満は部品Ｚ製造工場でない"が導かれる
6. 推論5と事実4から、仮説が導かれる

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