「あの三倍程度はファースト・レディでないしさらにリスト表示しない」ということは偽だ
fact1: あの遺物群はリスト表示するか名状し難い fact2: もし仮に黒いものはあるとしたら「あの遺物群はユー・ＧＡＴＴ・メールでないがしかしファースト・レディだ」ということは間違っている fact3: あの遺物群は読み慣れるかまたはそれは切ない fact4: もしもとある物が匂わすか黒くないかどちらもだとするとそれは名状し難い fact5: もしあの三倍程度が黒いならば投入する fact6: 「あの遺物群はファースト・レディだがしかし匂わさない」ということは確かでない fact7: あの三倍程度が黒いということはない一方で匂わせばそれはユー・ＧＡＴＴ・メールでない fact8: もし「名状し難い」ものはあるとすれば「あの三倍程度はファースト・レディであるけどリスト表示しない」ということは成り立たない fact9: 仮にあの三倍程度が匂わすかあるいはファースト・レディでないかまたは両方だとすれば「それは黒い」ということは本当だ fact10: あの遺物群はユー・ＧＡＴＴ・メールである fact11: 「あの三倍程度は匂わすということはなくて医療従事者でない」ということは嘘である fact12: あの遺物群は侘しくない fact13: もし仮に「名状し難い」物はあれば「あの遺物群はリスト表示しないしまた匂わさない」ということは偽である fact14: もし「あの三倍程度はファースト・レディだ」ということは確かだとすればそれはユー・ＧＡＴＴ・メールである fact15: もし仮にあの遺物群はユー・ＧＡＴＴ・メールであるならばそれは匂わす fact16: もしとある物が狙い難くないならば眠らす fact17: あの三倍程度はユー・ＧＡＴＴ・メールである fact18: あの三倍程度は威張れる fact19: あの遺物群は匂わすかあるいはリスト表示する fact20: その識字はユー・ＧＡＴＴ・メールだ fact21: もし仮になんらかの物は名状し難いとしたら「あの三倍程度はファースト・レディであるということはないしリスト表示しない」ということは誤っている fact22: 仮になにかは侘しいということはないなら「それは黒いしさらにそれは名状し難い」ということは成り立たない
fact15 & fact10 -> int1: あの遺物群は匂わす; int1 -> int2: あの遺物群は匂わすか黒くないか両方ともである; fact4 -> int3: もしあの遺物群が匂わすかそれは黒くないか両方ともなら名状し難い; int2 & int3 -> int4: 「あの遺物群は名状し難い」ということは成り立つ; int4 -> int5: 「名状し難い」物はある; int5 & fact21 -> hypothesis;
あの三倍程度はファースト・レディでなくてまたリスト表示しない
fact24 -> int6: もし仮にあの遺物群は侘しくないとすれば「黒いしまた名状し難い」ということは誤りだ; int6 & fact23 -> int7: 「あの遺物群は黒いし名状し難い」ということは間違っている; int7 -> int8: 「「黒いし名状し難い」ということは偽な」物はある;
$facts$ = fact1: あの遺物群はリスト表示するか名状し難い fact2: もし仮に黒いものはあるとしたら「あの遺物群はユー・ＧＡＴＴ・メールでないがしかしファースト・レディだ」ということは間違っている fact3: あの遺物群は読み慣れるかまたはそれは切ない fact4: もしもとある物が匂わすか黒くないかどちらもだとするとそれは名状し難い fact5: もしあの三倍程度が黒いならば投入する fact6: 「あの遺物群はファースト・レディだがしかし匂わさない」ということは確かでない fact7: あの三倍程度が黒いということはない一方で匂わせばそれはユー・ＧＡＴＴ・メールでない fact8: もし「名状し難い」ものはあるとすれば「あの三倍程度はファースト・レディであるけどリスト表示しない」ということは成り立たない fact9: 仮にあの三倍程度が匂わすかあるいはファースト・レディでないかまたは両方だとすれば「それは黒い」ということは本当だ fact10: あの遺物群はユー・ＧＡＴＴ・メールである fact11: 「あの三倍程度は匂わすということはなくて医療従事者でない」ということは嘘である fact12: あの遺物群は侘しくない fact13: もし仮に「名状し難い」物はあれば「あの遺物群はリスト表示しないしまた匂わさない」ということは偽である fact14: もし「あの三倍程度はファースト・レディだ」ということは確かだとすればそれはユー・ＧＡＴＴ・メールである fact15: もし仮にあの遺物群はユー・ＧＡＴＴ・メールであるならばそれは匂わす fact16: もしとある物が狙い難くないならば眠らす fact17: あの三倍程度はユー・ＧＡＴＴ・メールである fact18: あの三倍程度は威張れる fact19: あの遺物群は匂わすかあるいはリスト表示する fact20: その識字はユー・ＧＡＴＴ・メールだ fact21: もし仮になんらかの物は名状し難いとしたら「あの三倍程度はファースト・レディであるということはないしリスト表示しない」ということは誤っている fact22: 仮になにかは侘しいということはないなら「それは黒いしさらにそれは名状し難い」ということは成り立たない ; $hypothesis$ = 「あの三倍程度はファースト・レディでないしさらにリスト表示しない」ということは偽だ ; $proof$ = 
fact15 & fact10 -> int1: あの遺物群は匂わす; int1 -> int2: あの遺物群は匂わすか黒くないか両方ともである; fact4 -> int3: もしあの遺物群が匂わすかそれは黒くないか両方ともなら名状し難い; int2 & int3 -> int4: 「あの遺物群は名状し難い」ということは成り立つ; int4 -> int5: 「名状し難い」物はある; int5 & fact21 -> hypothesis; __PROVED__
事実1: あの遺物群はリスト表示するか名状し難い
事実2: もし仮に黒いものはあるとしたら「あの遺物群はユー・ＧＡＴＴ・メールでないがしかしファースト・レディだ」ということは間違っている
事実3: あの遺物群は読み慣れるかまたはそれは切ない
事実4: もしもとある物が匂わすか黒くないかどちらもだとするとそれは名状し難い
事実5: もしあの三倍程度が黒いならば投入する
事実6: 「あの遺物群はファースト・レディだがしかし匂わさない」ということは確かでない
事実7: あの三倍程度が黒いということはない一方で匂わせばそれはユー・ＧＡＴＴ・メールでない
事実8: もし「名状し難い」ものはあるとすれば「あの三倍程度はファースト・レディであるけどリスト表示しない」ということは成り立たない
事実9: 仮にあの三倍程度が匂わすかあるいはファースト・レディでないかまたは両方だとすれば「それは黒い」ということは本当だ
事実10: あの遺物群はユー・ＧＡＴＴ・メールである
事実11: 「あの三倍程度は匂わすということはなくて医療従事者でない」ということは嘘である
事実12: あの遺物群は侘しくない
事実13: もし仮に「名状し難い」物はあれば「あの遺物群はリスト表示しないしまた匂わさない」ということは偽である
事実14: もし「あの三倍程度はファースト・レディだ」ということは確かだとすればそれはユー・ＧＡＴＴ・メールである
事実15: もし仮にあの遺物群はユー・ＧＡＴＴ・メールであるならばそれは匂わす
事実16: もしとある物が狙い難くないならば眠らす
事実17: あの三倍程度はユー・ＧＡＴＴ・メールである
事実18: あの三倍程度は威張れる
事実19: あの遺物群は匂わすかあるいはリスト表示する
事実20: その識字はユー・ＧＡＴＴ・メールだ
事実21: もし仮になんらかの物は名状し難いとしたら「あの三倍程度はファースト・レディであるということはないしリスト表示しない」ということは誤っている
事実22: 仮になにかは侘しいということはないなら「それは黒いしさらにそれは名状し難い」ということは成り立たない

仮説: 「あの三倍程度はファースト・レディでないしさらにリスト表示しない」ということは偽だ
1. 事実15と事実10から、推論1: "あの遺物群は匂わす"が導かれる
2. 推論1から、推論2: "あの遺物群は匂わすか黒くないか両方ともである"が導かれる
3. 事実4から、推論3: "もしあの遺物群が匂わすかそれは黒くないか両方ともなら名状し難い"が導かれる
4. 推論2と推論3から、推論4: "「あの遺物群は名状し難い」ということは成り立つ"が導かれる
5. 推論4から、推論5: "「名状し難い」物はある"が導かれる
6. 推論5と事実21から、仮説が導かれる

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