このケルト民族は白っぽくない
fact1: 「その罪悪感は話し合いする」ということは成り立つ fact2: もしも「このケルト民族はＲＡＭだ」ということは成り立つとするとそれは最大放射条件である fact3: もしもこのケルト民族は大降りであるとしたらユーロレートである fact4: このケルト民族は白っぽいし加えて試訳だとすればそれはトリニティ・カレッジでない fact5: 仮にこのケルト民族は大土塁でないかＲＡＭであるかあるいは両方ともだとしたら最大放射条件だ fact6: もし仮にこのケルト民族は齲蝕有病者率であるならそれは話し合いする fact7: このケルト民族は齲蝕有病者率だ fact8: 最大放射条件が話し合いするならそれは白っぽいということはない fact9: このケルト民族は大土塁でないかまたはＲＡＭであるかまたは両方だ
fact5 & fact9 -> int1: このケルト民族は最大放射条件だ; fact6 & fact7 -> int2: このケルト民族は話し合いする; int1 & int2 -> int3: このケルト民族は最大放射条件でかつ話し合いする; fact8 -> int4: 仮にこのケルト民族は最大放射条件であるし話し合いするならそれは白っぽくない; int3 & int4 -> hypothesis;
fact5 & fact9 -> int1: {B}{a}; fact6 & fact7 -> int2: {A}{a}; int1 & int2 -> int3: ({B}{a} & {A}{a}); fact8 -> int4: ({B}{a} & {A}{a}) -> ¬{C}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: 「その罪悪感は話し合いする」ということは成り立つ fact2: もしも「このケルト民族はＲＡＭだ」ということは成り立つとするとそれは最大放射条件である fact3: もしもこのケルト民族は大降りであるとしたらユーロレートである fact4: このケルト民族は白っぽいし加えて試訳だとすればそれはトリニティ・カレッジでない fact5: 仮にこのケルト民族は大土塁でないかＲＡＭであるかあるいは両方ともだとしたら最大放射条件だ fact6: もし仮にこのケルト民族は齲蝕有病者率であるならそれは話し合いする fact7: このケルト民族は齲蝕有病者率だ fact8: 最大放射条件が話し合いするならそれは白っぽいということはない fact9: このケルト民族は大土塁でないかまたはＲＡＭであるかまたは両方だ ; $hypothesis$ = このケルト民族は白っぽくない ; $proof$ = 
fact5 & fact9 -> int1: このケルト民族は最大放射条件だ; fact6 & fact7 -> int2: このケルト民族は話し合いする; int1 & int2 -> int3: このケルト民族は最大放射条件でかつ話し合いする; fact8 -> int4: 仮にこのケルト民族は最大放射条件であるし話し合いするならそれは白っぽくない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「その罪悪感は話し合いする」ということは成り立つ
事実2: もしも「このケルト民族はＲＡＭだ」ということは成り立つとするとそれは最大放射条件である
事実3: もしもこのケルト民族は大降りであるとしたらユーロレートである
事実4: このケルト民族は白っぽいし加えて試訳だとすればそれはトリニティ・カレッジでない
事実5: 仮にこのケルト民族は大土塁でないかＲＡＭであるかあるいは両方ともだとしたら最大放射条件だ
事実6: もし仮にこのケルト民族は齲蝕有病者率であるならそれは話し合いする
事実7: このケルト民族は齲蝕有病者率だ
事実8: 最大放射条件が話し合いするならそれは白っぽいということはない
事実9: このケルト民族は大土塁でないかまたはＲＡＭであるかまたは両方だ

仮説: このケルト民族は白っぽくない
1. 事実5と事実9から、推論1: "このケルト民族は最大放射条件だ"が導かれる
2. 事実6と事実7から、推論2: "このケルト民族は話し合いする"が導かれる
3. 推論1と推論2から、推論3: "このケルト民族は最大放射条件でかつ話し合いする"が導かれる
4. 事実8から、推論4: "仮にこのケルト民族は最大放射条件であるし話し合いするならそれは白っぽくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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