このＤＩＴ反応は船尾鑑定だということはない
fact1: この産業育成は偏だ fact2: あの暗号メールは防油堤であるということはないかまたは偏でない fact3: あの暗号メールは生殖異変だしそれに偏だ fact4: 仮に「なにがしかのものは生殖異変である」ということは成り立つとするとこのＤＩＴ反応は防油堤でないかもしくは他己紹介でないかあるいは両方である fact5: もし仮に何かは防油堤でないか他己紹介でないかまたは両方だとすればそれは船尾鑑定である fact6: もしもなにがしかの物は防油堤ならば「あの暗号メールは偏であるがしかし生殖異変でない」ということは正しくない fact7: このＤＩＴ反応は防油堤でないかまたはそれは偏でない fact8: 「その常任理事国入りはＫイングであるかそれは変数Ｙでないかもしくは両方だ」ということは成り立たない fact9: もしも「「Ｋイングであるかまたは変数Ｙでない」ということは成り立たない」ものがあるとすればこの五原則は防油堤である fact10: もし仮にあの暗号メールが偏でないけれど船尾鑑定ならばこのＤＩＴ反応は船尾鑑定でない
fact3 -> int1: あの暗号メールは生殖異変である; int1 -> int2: 生殖異変はある; int2 & fact4 -> int3: このＤＩＴ反応は防油堤でないかもしくはそれは他己紹介でない; fact5 -> int4: このＤＩＴ反応が防油堤でないかまたは他己紹介でないか両方だとすればそれは船尾鑑定だ; int3 & int4 -> hypothesis;
このＤＩＴ反応は船尾鑑定でない
fact13 -> int5: 「「Ｋイングであるかもしくは変数Ｙでないかまたはどちらもである」ということは事実と異なる」物はある; int5 & fact11 -> int6: この五原則は防油堤だ; int6 -> int7: 「防油堤である」ものはある; int7 & fact14 -> int8: 「あの暗号メールは偏であるけれどそれは生殖異変でない」ということは間違っている;
$facts$ = fact1: この産業育成は偏だ fact2: あの暗号メールは防油堤であるということはないかまたは偏でない fact3: あの暗号メールは生殖異変だしそれに偏だ fact4: 仮に「なにがしかのものは生殖異変である」ということは成り立つとするとこのＤＩＴ反応は防油堤でないかもしくは他己紹介でないかあるいは両方である fact5: もし仮に何かは防油堤でないか他己紹介でないかまたは両方だとすればそれは船尾鑑定である fact6: もしもなにがしかの物は防油堤ならば「あの暗号メールは偏であるがしかし生殖異変でない」ということは正しくない fact7: このＤＩＴ反応は防油堤でないかまたはそれは偏でない fact8: 「その常任理事国入りはＫイングであるかそれは変数Ｙでないかもしくは両方だ」ということは成り立たない fact9: もしも「「Ｋイングであるかまたは変数Ｙでない」ということは成り立たない」ものがあるとすればこの五原則は防油堤である fact10: もし仮にあの暗号メールが偏でないけれど船尾鑑定ならばこのＤＩＴ反応は船尾鑑定でない ; $hypothesis$ = このＤＩＴ反応は船尾鑑定だということはない ; $proof$ = 
fact3 -> int1: あの暗号メールは生殖異変である; int1 -> int2: 生殖異変はある; int2 & fact4 -> int3: このＤＩＴ反応は防油堤でないかもしくはそれは他己紹介でない; fact5 -> int4: このＤＩＴ反応が防油堤でないかまたは他己紹介でないか両方だとすればそれは船尾鑑定だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この産業育成は偏だ
事実2: あの暗号メールは防油堤であるということはないかまたは偏でない
事実3: あの暗号メールは生殖異変だしそれに偏だ
事実4: 仮に「なにがしかのものは生殖異変である」ということは成り立つとするとこのＤＩＴ反応は防油堤でないかもしくは他己紹介でないかあるいは両方である
事実5: もし仮に何かは防油堤でないか他己紹介でないかまたは両方だとすればそれは船尾鑑定である
事実6: もしもなにがしかの物は防油堤ならば「あの暗号メールは偏であるがしかし生殖異変でない」ということは正しくない
事実7: このＤＩＴ反応は防油堤でないかまたはそれは偏でない
事実8: 「その常任理事国入りはＫイングであるかそれは変数Ｙでないかもしくは両方だ」ということは成り立たない
事実9: もしも「「Ｋイングであるかまたは変数Ｙでない」ということは成り立たない」ものがあるとすればこの五原則は防油堤である
事実10: もし仮にあの暗号メールが偏でないけれど船尾鑑定ならばこのＤＩＴ反応は船尾鑑定でない

仮説: このＤＩＴ反応は船尾鑑定だということはない
1. 事実3から、推論1: "あの暗号メールは生殖異変である"が導かれる
2. 推論1から、推論2: "生殖異変はある"が導かれる
3. 推論2と事実4から、推論3: "このＤＩＴ反応は防油堤でないかもしくはそれは他己紹介でない"が導かれる
4. 事実5から、推論4: "このＤＩＴ反応が防油堤でないかまたは他己紹介でないか両方だとすればそれは船尾鑑定だ"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。