あのスピン・ルックはパピーウォーカーでない
fact1: もしも何らかのものは独創であるならばそれは救い上げない fact2: 仮に「とあるものは協働作業でないがしかし粗い」ということは成り立たないならそれはパピーウォーカーだ fact3: もしも「そのアモバルビタール製剤は陸軍関係である一方でそれはややこしいということはない」ということは誤りならあの医師免許はややこしい fact4: もしもあのスピン・ルックが粗くないとすればそれはパピーウォーカーだ fact5: あらゆる物は独創である fact6: あの順列はステップアップする fact7: 仮に「あの自殺願望はステップアップしないけど協働作業である」ということは誤っているとしたらパピーウォーカーだ fact8: 仮にそのアモバルビタール製剤は八百万人でないならば「陸軍関係だけれどややこしいない」ということは事実と異なる fact9: もし仮に「あの医師免許はややこしい」ということは事実だとすれば「その代物は独創でないし心筋酸素需要だということはない」ということは誤りである fact10: もし仮に「救い上げなくてごつかない」ものがあるならこの国家統一ははしたなくない fact11: もしあの自殺願望は心筋酸素需要でないならばそれは救い上げるしおまけにごつい fact12: もしあの自殺願望はステップアップすれば「あのスピン・ルックは協働作業だということはないがしかし粗い」ということは間違っている fact13: もしも「その代物は心筋酸素需要でないけどごつい」ということは間違っているとすればあの自殺願望はごつかない fact14: 仮になんらかの物が粗くないとしたらそれはパピーウォーカーだ fact15: 仮にあのスピン・ルックはステップアップするなら「あの自殺願望は粗くないけどそれはパピーウォーカーである」ということは成り立たない fact16: あの自殺願望がごついとしたらあのスピン・ルックはステップアップするかあるいはそれははしたなくないかあるいは両方ともだ fact17: あの自殺願望はステップアップする fact18: この下行性抑制系はステップアップする fact19: あの自殺願望は漏れ無い
fact12 & fact17 -> int1: 「あのスピン・ルックは協働作業でないけど粗い」ということは成り立つということはない; fact2 -> int2: もし「あのスピン・ルックは協働作業でないがそれは粗い」ということは誤りであるとするとパピーウォーカーだ; int1 & int2 -> hypothesis;
fact12 & fact17 -> int1: ¬(¬{AA}{b} & {AB}{b}); fact2 -> int2: ¬(¬{AA}{b} & {AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
この国家統一はステップアップする
fact21 -> int3: 仮にあのスピン・ルックは独創だとしたら「救い上げる」ということは嘘である; fact22 -> int4: あのスピン・ルックは独創だ; int3 & int4 -> int5: あのスピン・ルックは救い上げない; int5 -> int6: すべてのものは救い上げない; int6 -> int7: あの自殺願望は救い上げない;
$facts$ = fact1: もしも何らかのものは独創であるならばそれは救い上げない fact2: 仮に「とあるものは協働作業でないがしかし粗い」ということは成り立たないならそれはパピーウォーカーだ fact3: もしも「そのアモバルビタール製剤は陸軍関係である一方でそれはややこしいということはない」ということは誤りならあの医師免許はややこしい fact4: もしもあのスピン・ルックが粗くないとすればそれはパピーウォーカーだ fact5: あらゆる物は独創である fact6: あの順列はステップアップする fact7: 仮に「あの自殺願望はステップアップしないけど協働作業である」ということは誤っているとしたらパピーウォーカーだ fact8: 仮にそのアモバルビタール製剤は八百万人でないならば「陸軍関係だけれどややこしいない」ということは事実と異なる fact9: もし仮に「あの医師免許はややこしい」ということは事実だとすれば「その代物は独創でないし心筋酸素需要だということはない」ということは誤りである fact10: もし仮に「救い上げなくてごつかない」ものがあるならこの国家統一ははしたなくない fact11: もしあの自殺願望は心筋酸素需要でないならばそれは救い上げるしおまけにごつい fact12: もしあの自殺願望はステップアップすれば「あのスピン・ルックは協働作業だということはないがしかし粗い」ということは間違っている fact13: もしも「その代物は心筋酸素需要でないけどごつい」ということは間違っているとすればあの自殺願望はごつかない fact14: 仮になんらかの物が粗くないとしたらそれはパピーウォーカーだ fact15: 仮にあのスピン・ルックはステップアップするなら「あの自殺願望は粗くないけどそれはパピーウォーカーである」ということは成り立たない fact16: あの自殺願望がごついとしたらあのスピン・ルックはステップアップするかあるいはそれははしたなくないかあるいは両方ともだ fact17: あの自殺願望はステップアップする fact18: この下行性抑制系はステップアップする fact19: あの自殺願望は漏れ無い ; $hypothesis$ = あのスピン・ルックはパピーウォーカーでない ; $proof$ = 
fact12 & fact17 -> int1: 「あのスピン・ルックは協働作業でないけど粗い」ということは成り立つということはない; fact2 -> int2: もし「あのスピン・ルックは協働作業でないがそれは粗い」ということは誤りであるとするとパピーウォーカーだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものは独創であるならばそれは救い上げない
事実2: 仮に「とあるものは協働作業でないがしかし粗い」ということは成り立たないならそれはパピーウォーカーだ
事実3: もしも「そのアモバルビタール製剤は陸軍関係である一方でそれはややこしいということはない」ということは誤りならあの医師免許はややこしい
事実4: もしもあのスピン・ルックが粗くないとすればそれはパピーウォーカーだ
事実5: あらゆる物は独創である
事実6: あの順列はステップアップする
事実7: 仮に「あの自殺願望はステップアップしないけど協働作業である」ということは誤っているとしたらパピーウォーカーだ
事実8: 仮にそのアモバルビタール製剤は八百万人でないならば「陸軍関係だけれどややこしいない」ということは事実と異なる
事実9: もし仮に「あの医師免許はややこしい」ということは事実だとすれば「その代物は独創でないし心筋酸素需要だということはない」ということは誤りである
事実10: もし仮に「救い上げなくてごつかない」ものがあるならこの国家統一ははしたなくない
事実11: もしあの自殺願望は心筋酸素需要でないならばそれは救い上げるしおまけにごつい
事実12: もしあの自殺願望はステップアップすれば「あのスピン・ルックは協働作業だということはないがしかし粗い」ということは間違っている
事実13: もしも「その代物は心筋酸素需要でないけどごつい」ということは間違っているとすればあの自殺願望はごつかない
事実14: 仮になんらかの物が粗くないとしたらそれはパピーウォーカーだ
事実15: 仮にあのスピン・ルックはステップアップするなら「あの自殺願望は粗くないけどそれはパピーウォーカーである」ということは成り立たない
事実16: あの自殺願望がごついとしたらあのスピン・ルックはステップアップするかあるいはそれははしたなくないかあるいは両方ともだ
事実17: あの自殺願望はステップアップする
事実18: この下行性抑制系はステップアップする
事実19: あの自殺願望は漏れ無い

仮説: あのスピン・ルックはパピーウォーカーでない
1. 事実12と事実17から、推論1: "「あのスピン・ルックは協働作業でないけど粗い」ということは成り立つということはない"が導かれる
2. 事実2から、推論2: "もし「あのスピン・ルックは協働作業でないがそれは粗い」ということは誤りであるとするとパピーウォーカーだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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