「その専門はＳＷだ」ということは確かである
fact1: もし「何かはレギオンだということはない」ということは正しいなら「「それは乱すしさらに恐怖心である」ということは事実だ」ということは事実でない fact2: この芸術家が意義深いし給料であるならその専門はＳＷでない fact3: 仮になにかは乱さないがレギオンであるならばそれはパートＡＥである fact4: その島人が恐怖心であるということはないならその専門はＳＷで更に焦れったい fact5: 「全ての物は意義深いししかも保証済みだ」ということは真実だ fact6: もし仮に何らかのものがパートＡＥだとしたら給料である fact7: その島人が恐怖心であるとするとこの芸術家は乱さないけどレギオンだ fact8: その島人は焦れったくて恐怖心だ fact9: 仮にこの芸術家が焦れったいならその島人はレギオンだということはないが乱す
fact8 -> int1: その島人は恐怖心である; int1 & fact7 -> int2: この芸術家は乱さないけれどレギオンだ; fact3 -> int3: もしもこの芸術家が乱さないがレギオンであるならそれはパートＡＥである; int2 & int3 -> int4: この芸術家はパートＡＥだ; fact6 -> int5: この芸術家はパートＡＥであるとすると「給料だ」ということは真実だ; int4 & int5 -> int6: この芸術家は給料だ; fact5 -> int7: 「この芸術家は意義深くて保証済みだ」ということは成り立つ; int7 -> int8: この芸術家は意義深い; int6 & int8 -> int9: この芸術家は意義深くて給料である; int9 & fact2 -> hypothesis;
その専門はＳＷである
fact11 -> int10: もしこの芸術家はレギオンでないとすると「それは乱すし加えて恐怖心である」ということは成り立たない;
$facts$ = fact1: もし「何かはレギオンだということはない」ということは正しいなら「「それは乱すしさらに恐怖心である」ということは事実だ」ということは事実でない fact2: この芸術家が意義深いし給料であるならその専門はＳＷでない fact3: 仮になにかは乱さないがレギオンであるならばそれはパートＡＥである fact4: その島人が恐怖心であるということはないならその専門はＳＷで更に焦れったい fact5: 「全ての物は意義深いししかも保証済みだ」ということは真実だ fact6: もし仮に何らかのものがパートＡＥだとしたら給料である fact7: その島人が恐怖心であるとするとこの芸術家は乱さないけどレギオンだ fact8: その島人は焦れったくて恐怖心だ fact9: 仮にこの芸術家が焦れったいならその島人はレギオンだということはないが乱す ; $hypothesis$ = 「その専門はＳＷだ」ということは確かである ; $proof$ = 
fact8 -> int1: その島人は恐怖心である; int1 & fact7 -> int2: この芸術家は乱さないけれどレギオンだ; fact3 -> int3: もしもこの芸術家が乱さないがレギオンであるならそれはパートＡＥである; int2 & int3 -> int4: この芸術家はパートＡＥだ; fact6 -> int5: この芸術家はパートＡＥであるとすると「給料だ」ということは真実だ; int4 & int5 -> int6: この芸術家は給料だ; fact5 -> int7: 「この芸術家は意義深くて保証済みだ」ということは成り立つ; int7 -> int8: この芸術家は意義深い; int6 & int8 -> int9: この芸術家は意義深くて給料である; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「何かはレギオンだということはない」ということは正しいなら「「それは乱すしさらに恐怖心である」ということは事実だ」ということは事実でない
事実2: この芸術家が意義深いし給料であるならその専門はＳＷでない
事実3: 仮になにかは乱さないがレギオンであるならばそれはパートＡＥである
事実4: その島人が恐怖心であるということはないならその専門はＳＷで更に焦れったい
事実5: 「全ての物は意義深いししかも保証済みだ」ということは真実だ
事実6: もし仮に何らかのものがパートＡＥだとしたら給料である
事実7: その島人が恐怖心であるとするとこの芸術家は乱さないけどレギオンだ
事実8: その島人は焦れったくて恐怖心だ
事実9: 仮にこの芸術家が焦れったいならその島人はレギオンだということはないが乱す

仮説: 「その専門はＳＷだ」ということは確かである
1. 事実8から、推論1: "その島人は恐怖心である"が導かれる
2. 推論1と事実7から、推論2: "この芸術家は乱さないけれどレギオンだ"が導かれる
3. 事実3から、推論3: "もしもこの芸術家が乱さないがレギオンであるならそれはパートＡＥである"が導かれる
4. 推論2と推論3から、推論4: "この芸術家はパートＡＥだ"が導かれる
5. 事実6から、推論5: "この芸術家はパートＡＥであるとすると「給料だ」ということは真実だ"が導かれる
6. 推論4と推論5から、推論6: "この芸術家は給料だ"が導かれる
7. 事実5から、推論7: "「この芸術家は意義深くて保証済みだ」ということは成り立つ"が導かれる
8. 推論7から、推論8: "この芸術家は意義深い"が導かれる
9. 推論6と推論8から、推論9: "この芸術家は意義深くて給料である"が導かれる
10. 推論9と事実2から、仮説が否定される

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