そのプレイヤー達はクローニングしない
fact1: あるものが御教え頂くならクローニングするし加えてそれは頼もしいということはない fact2: もし頼もしいということはない物は御教え頂かないなら「クローニングしない」ということは本当である fact3: もしこのＭＡＬＤＩ‐Ｔオブが応じないしそれにそれは末梢白血球数でないとしたら「それは御教え頂くということはない」ということは成り立つ fact4: もしこのＭＡＬＤＩ‐Ｔオブが応じないし末梢白血球数でないとしたらそれは頼もしくない fact5: 「このＭＡＬＤＩ‐Ｔオブは応じないし加えて末梢白血球数でない」ということは正しい fact6: あの当会社はデジャ・ビュでなくてしかも頼もしくない fact7: 仮にこのＭＡＬＤＩ‐Ｔオブが病まないならそのプレイヤー達は御教え頂くしかつ社会的成功だ fact8: 「このＭＡＬＤＩ‐Ｔオブは御教え頂かない」ということは成り立てばそのプレイヤー達は頼もしくなくて御教え頂かない fact9: 「このＭＡＬＤＩ‐Ｔオブは頼もしいということはない」ということは事実である fact10: もしもこのＭＡＬＤＩ‐Ｔオブは応じるけれど末梢白血球数でないとしたら御教え頂かない fact11: そのプレイヤー達がクローニングするということはないしさらにそれが応じないとしたら御教え頂くということはない
fact3 & fact5 -> int1: このＭＡＬＤＩ‐Ｔオブは御教え頂くということはない; int1 & fact8 -> int2: そのプレイヤー達は頼もしくなくて御教え頂かない; fact2 -> int3: そのプレイヤー達が頼もしくないし御教え頂かないならば「クローニングしない」ということは本当だ; int2 & int3 -> hypothesis;
そのプレイヤー達はクローニングする
fact12 -> int4: そのプレイヤー達が御教え頂けばクローニングするし頼もしくない;
$facts$ = fact1: あるものが御教え頂くならクローニングするし加えてそれは頼もしいということはない fact2: もし頼もしいということはない物は御教え頂かないなら「クローニングしない」ということは本当である fact3: もしこのＭＡＬＤＩ‐Ｔオブが応じないしそれにそれは末梢白血球数でないとしたら「それは御教え頂くということはない」ということは成り立つ fact4: もしこのＭＡＬＤＩ‐Ｔオブが応じないし末梢白血球数でないとしたらそれは頼もしくない fact5: 「このＭＡＬＤＩ‐Ｔオブは応じないし加えて末梢白血球数でない」ということは正しい fact6: あの当会社はデジャ・ビュでなくてしかも頼もしくない fact7: 仮にこのＭＡＬＤＩ‐Ｔオブが病まないならそのプレイヤー達は御教え頂くしかつ社会的成功だ fact8: 「このＭＡＬＤＩ‐Ｔオブは御教え頂かない」ということは成り立てばそのプレイヤー達は頼もしくなくて御教え頂かない fact9: 「このＭＡＬＤＩ‐Ｔオブは頼もしいということはない」ということは事実である fact10: もしもこのＭＡＬＤＩ‐Ｔオブは応じるけれど末梢白血球数でないとしたら御教え頂かない fact11: そのプレイヤー達がクローニングするということはないしさらにそれが応じないとしたら御教え頂くということはない ; $hypothesis$ = そのプレイヤー達はクローニングしない ; $proof$ = 
fact3 & fact5 -> int1: このＭＡＬＤＩ‐Ｔオブは御教え頂くということはない; int1 & fact8 -> int2: そのプレイヤー達は頼もしくなくて御教え頂かない; fact2 -> int3: そのプレイヤー達が頼もしくないし御教え頂かないならば「クローニングしない」ということは本当だ; int2 & int3 -> hypothesis; __PROVED__
事実1: あるものが御教え頂くならクローニングするし加えてそれは頼もしいということはない
事実2: もし頼もしいということはない物は御教え頂かないなら「クローニングしない」ということは本当である
事実3: もしこのＭＡＬＤＩ‐Ｔオブが応じないしそれにそれは末梢白血球数でないとしたら「それは御教え頂くということはない」ということは成り立つ
事実4: もしこのＭＡＬＤＩ‐Ｔオブが応じないし末梢白血球数でないとしたらそれは頼もしくない
事実5: 「このＭＡＬＤＩ‐Ｔオブは応じないし加えて末梢白血球数でない」ということは正しい
事実6: あの当会社はデジャ・ビュでなくてしかも頼もしくない
事実7: 仮にこのＭＡＬＤＩ‐Ｔオブが病まないならそのプレイヤー達は御教え頂くしかつ社会的成功だ
事実8: 「このＭＡＬＤＩ‐Ｔオブは御教え頂かない」ということは成り立てばそのプレイヤー達は頼もしくなくて御教え頂かない
事実9: 「このＭＡＬＤＩ‐Ｔオブは頼もしいということはない」ということは事実である
事実10: もしもこのＭＡＬＤＩ‐Ｔオブは応じるけれど末梢白血球数でないとしたら御教え頂かない
事実11: そのプレイヤー達がクローニングするということはないしさらにそれが応じないとしたら御教え頂くということはない

仮説: そのプレイヤー達はクローニングしない
1. 事実3と事実5から、推論1: "このＭＡＬＤＩ‐Ｔオブは御教え頂くということはない"が導かれる
2. 推論1と事実8から、推論2: "そのプレイヤー達は頼もしくなくて御教え頂かない"が導かれる
3. 事実2から、推論3: "そのプレイヤー達が頼もしくないし御教え頂かないならば「クローニングしない」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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