あのラフは遊ばす
fact1: 仮になにかは持ち難いとしたら大人しいということはない fact2: なにがしかのものは図々しいかそれは御若い fact3: 「あのデザインゲームは負債短期調達である」ということは成り立たないとすれば生産し得ない fact4: 「この敵塁は生産し得る」ということは成り立つとしたら「あのデザインゲームは持ち難くなくておまけに生産し得るということはない」ということは成り立たない fact5: もしなにかは生産し得るということはないとすれば御若くないしそれは三月以内だ fact6: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しかなくて加えて御若くない」ということは誤りだ fact7: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しいがしかし御若くない」ということは成り立たない fact8: 「この町作り協議会は遊ばす」ということは確かだ fact9: あのデザインゲームが持ち難いとしたら大人しい fact10: この敵塁は三月以内だし生産し得る fact11: 「何かは持ち難くないし生産し得るということはない」ということは嘘だとするとそれは大人しい fact12: もし仮にあのデザインゲームは大人しいなら「あのラフは図々しかない一方で御若い」ということは成り立たない fact13: もしあのデザインゲームは免税措置でないかあるいは働き得ないかもしくは両方だとすればそれは負債短期調達でない fact14: もし仮に「なにがしかの物は図々しいということはないし御若くない」ということは真実でないならば「遊ばさない」ということは本当である fact15: なんらかの物が持ち難いとすると大人しい
fact10 -> int1: この敵塁は生産し得る; int1 & fact4 -> int2: 「あのデザインゲームは持ち難くないしその上生産し得ない」ということは事実だということはない; fact11 -> int3: もし仮に「あのデザインゲームは持ち難いということはなくて生産し得ない」ということは成り立たないとしたらそれは大人しい; int2 & int3 -> int4: 「あのデザインゲームは大人しい」ということは本当だ; int4 & fact6 -> int5: 「あのラフは図々しかないしおまけにそれは御若くない」ということは間違っている; fact14 -> int6: もし「あのラフは図々しかなくておまけに御若くない」ということは成り立たないならそれは遊ばさない; int5 & int6 -> hypothesis;
この没年は御若いということはない
fact16 -> int7: 仮にこの敵塁は生産し得ないとすれば御若いということはないが三月以内だ;
$facts$ = fact1: 仮になにかは持ち難いとしたら大人しいということはない fact2: なにがしかのものは図々しいかそれは御若い fact3: 「あのデザインゲームは負債短期調達である」ということは成り立たないとすれば生産し得ない fact4: 「この敵塁は生産し得る」ということは成り立つとしたら「あのデザインゲームは持ち難くなくておまけに生産し得るということはない」ということは成り立たない fact5: もしなにかは生産し得るということはないとすれば御若くないしそれは三月以内だ fact6: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しかなくて加えて御若くない」ということは誤りだ fact7: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しいがしかし御若くない」ということは成り立たない fact8: 「この町作り協議会は遊ばす」ということは確かだ fact9: あのデザインゲームが持ち難いとしたら大人しい fact10: この敵塁は三月以内だし生産し得る fact11: 「何かは持ち難くないし生産し得るということはない」ということは嘘だとするとそれは大人しい fact12: もし仮にあのデザインゲームは大人しいなら「あのラフは図々しかない一方で御若い」ということは成り立たない fact13: もしあのデザインゲームは免税措置でないかあるいは働き得ないかもしくは両方だとすればそれは負債短期調達でない fact14: もし仮に「なにがしかの物は図々しいということはないし御若くない」ということは真実でないならば「遊ばさない」ということは本当である fact15: なんらかの物が持ち難いとすると大人しい ; $hypothesis$ = あのラフは遊ばす ; $proof$ = 
fact10 -> int1: この敵塁は生産し得る; int1 & fact4 -> int2: 「あのデザインゲームは持ち難くないしその上生産し得ない」ということは事実だということはない; fact11 -> int3: もし仮に「あのデザインゲームは持ち難いということはなくて生産し得ない」ということは成り立たないとしたらそれは大人しい; int2 & int3 -> int4: 「あのデザインゲームは大人しい」ということは本当だ; int4 & fact6 -> int5: 「あのラフは図々しかないしおまけにそれは御若くない」ということは間違っている; fact14 -> int6: もし「あのラフは図々しかなくておまけに御若くない」ということは成り立たないならそれは遊ばさない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮になにかは持ち難いとしたら大人しいということはない
事実2: なにがしかのものは図々しいかそれは御若い
事実3: 「あのデザインゲームは負債短期調達である」ということは成り立たないとすれば生産し得ない
事実4: 「この敵塁は生産し得る」ということは成り立つとしたら「あのデザインゲームは持ち難くなくておまけに生産し得るということはない」ということは成り立たない
事実5: もしなにかは生産し得るということはないとすれば御若くないしそれは三月以内だ
事実6: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しかなくて加えて御若くない」ということは誤りだ
事実7: もし仮にあのデザインゲームは大人しいとすれば「あのラフは図々しいがしかし御若くない」ということは成り立たない
事実8: 「この町作り協議会は遊ばす」ということは確かだ
事実9: あのデザインゲームが持ち難いとしたら大人しい
事実10: この敵塁は三月以内だし生産し得る
事実11: 「何かは持ち難くないし生産し得るということはない」ということは嘘だとするとそれは大人しい
事実12: もし仮にあのデザインゲームは大人しいなら「あのラフは図々しかない一方で御若い」ということは成り立たない
事実13: もしあのデザインゲームは免税措置でないかあるいは働き得ないかもしくは両方だとすればそれは負債短期調達でない
事実14: もし仮に「なにがしかの物は図々しいということはないし御若くない」ということは真実でないならば「遊ばさない」ということは本当である
事実15: なんらかの物が持ち難いとすると大人しい

仮説: あのラフは遊ばす
1. 事実10から、推論1: "この敵塁は生産し得る"が導かれる
2. 推論1と事実4から、推論2: "「あのデザインゲームは持ち難くないしその上生産し得ない」ということは事実だということはない"が導かれる
3. 事実11から、推論3: "もし仮に「あのデザインゲームは持ち難いということはなくて生産し得ない」ということは成り立たないとしたらそれは大人しい"が導かれる
4. 推論2と推論3から、推論4: "「あのデザインゲームは大人しい」ということは本当だ"が導かれる
5. 推論4と事実6から、推論5: "「あのラフは図々しかないしおまけにそれは御若くない」ということは間違っている"が導かれる
6. 事実14から、推論6: "もし「あのラフは図々しかなくておまけに御若くない」ということは成り立たないならそれは遊ばさない"が導かれる
7. 推論5と推論6から、仮説が否定される

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