その追放は生まれ易くないかまたはそれは放射線治療でないか両方ともだ
fact1: 仮に何らかの物が色付けするとすれば役者さんでない fact2: 仮にそのサンセット大通りが成就するとしたらその追放は色付けする fact3: その追放は生まれ易い fact4: もし仮にとある物は役者さんでないとすれば「「それは生まれ易いということはないか放射線治療でないかもしくは両方ともである」ということは成り立つ」ということは成り立たない fact5: 「そのサンセット大通りは役者さんでないしさらにそれは生まれ易いということはない」ということは本当だとするとその追放は生まれ易くない fact6: そのサンセット大通りは成就する fact7: 仮になにかは役者さんでないとすれば生まれ易い
fact1 -> int1: 仮にその追放が色付けするなら役者さんでない; fact2 & fact6 -> int2: その追放は色付けする; int1 & int2 -> int3: その追放は役者さんでない; fact4 -> int4: もしその追放は役者さんだということはないとすると「生まれ易いということはないかあるいは放射線治療でないかあるいは両方である」ということは偽である; int3 & int4 -> hypothesis;
その追放は生まれ易くないかあるいはそれは放射線治療でない
$facts$ = fact1: 仮に何らかの物が色付けするとすれば役者さんでない fact2: 仮にそのサンセット大通りが成就するとしたらその追放は色付けする fact3: その追放は生まれ易い fact4: もし仮にとある物は役者さんでないとすれば「「それは生まれ易いということはないか放射線治療でないかもしくは両方ともである」ということは成り立つ」ということは成り立たない fact5: 「そのサンセット大通りは役者さんでないしさらにそれは生まれ易いということはない」ということは本当だとするとその追放は生まれ易くない fact6: そのサンセット大通りは成就する fact7: 仮になにかは役者さんでないとすれば生まれ易い ; $hypothesis$ = その追放は生まれ易くないかまたはそれは放射線治療でないか両方ともだ ; $proof$ = 
fact1 -> int1: 仮にその追放が色付けするなら役者さんでない; fact2 & fact6 -> int2: その追放は色付けする; int1 & int2 -> int3: その追放は役者さんでない; fact4 -> int4: もしその追放は役者さんだということはないとすると「生まれ易いということはないかあるいは放射線治療でないかあるいは両方である」ということは偽である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物が色付けするとすれば役者さんでない
事実2: 仮にそのサンセット大通りが成就するとしたらその追放は色付けする
事実3: その追放は生まれ易い
事実4: もし仮にとある物は役者さんでないとすれば「「それは生まれ易いということはないか放射線治療でないかもしくは両方ともである」ということは成り立つ」ということは成り立たない
事実5: 「そのサンセット大通りは役者さんでないしさらにそれは生まれ易いということはない」ということは本当だとするとその追放は生まれ易くない
事実6: そのサンセット大通りは成就する
事実7: 仮になにかは役者さんでないとすれば生まれ易い

仮説: その追放は生まれ易くないかまたはそれは放射線治療でないか両方ともだ
1. 事実1から、推論1: "仮にその追放が色付けするなら役者さんでない"が導かれる
2. 事実2と事実6から、推論2: "その追放は色付けする"が導かれる
3. 推論1と推論2から、推論3: "その追放は役者さんでない"が導かれる
4. 事実4から、推論4: "もしその追放は役者さんだということはないとすると「生まれ易いということはないかあるいは放射線治療でないかあるいは両方である」ということは偽である"が導かれる
5. 推論3と推論4から、仮説が否定される

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