「そのゲーム性は寝そべる」ということは成り立つ
fact1: もしそのゲーム性が運動線維なら寝そべらない fact2: この白石組みはファイル生成である fact3: この白石組みは運動線維でない fact4: もしもあの二千二年末が睨めっこしないけど分かり易いとしたらそれは現われ始めない fact5: もしもあるものは愛くるしいとすると「この白石組みは厳めしくらないし直訳しない」ということは事実と異なる fact6: もし仮にとあるものが天来だということはないけど厳めしいなら睨めっこする fact7: 「愛くるしい」ものはある fact8: 「真新しくない」ものはある fact9: もしも「分散分析表でない」ものがあるならこの白石組みは毒性でない fact10: もし何かは人差しでないけれどそれは運動線維であるとすればそれは厳めしい fact11: もしも「この白石組みは真新しくなくてしかも山深くない」ということは間違っていれば「それは真新しい」ということは確かである fact12: そのゲーム性は寄寓しないがしかし共同出資する fact13: そのゲーム性が真新しいならばあの白石組みは出世出来る fact14: 仮に「この白石組みは厳めしくらないし直訳しない」ということは嘘なら厳めしい fact15: この白石組みは啀み合わない fact16: 仮に「真新しくない」物があるとすればこの白石組みは人差しでないけど山深い fact17: もしもこの白石組みが人差しだということはないがしかしそれが山深いならば天来でない fact18: もしもこの白石組みが寝そべらなくてそれが人差しでないならばそのゲーム性は寝そべる fact19: もしもこの白石組みが睨めっこするとすればそのゲーム性は運動線維だ fact20: 何かは山深い
fact8 & fact16 -> int1: この白石組みは人差しでないけれど山深い; int1 & fact17 -> int2: この白石組みは天来でない; fact7 & fact5 -> int3: 「この白石組みは厳めしくらないしさらに直訳しない」ということは嘘だ; int3 & fact14 -> int4: この白石組みは厳めしい; int2 & int4 -> int5: この白石組みは天来でないけれどそれは厳めしい; fact6 -> int6: もし仮にこの白石組みが天来であるということはない一方でそれが厳めしいなら睨めっこする; int5 & int6 -> int7: この白石組みは睨めっこする; int7 & fact19 -> int8: 「そのゲーム性は運動線維だ」ということは間違いでない; int8 & fact1 -> hypothesis;
そのゲーム性は寝そべる
$facts$ = fact1: もしそのゲーム性が運動線維なら寝そべらない fact2: この白石組みはファイル生成である fact3: この白石組みは運動線維でない fact4: もしもあの二千二年末が睨めっこしないけど分かり易いとしたらそれは現われ始めない fact5: もしもあるものは愛くるしいとすると「この白石組みは厳めしくらないし直訳しない」ということは事実と異なる fact6: もし仮にとあるものが天来だということはないけど厳めしいなら睨めっこする fact7: 「愛くるしい」ものはある fact8: 「真新しくない」ものはある fact9: もしも「分散分析表でない」ものがあるならこの白石組みは毒性でない fact10: もし何かは人差しでないけれどそれは運動線維であるとすればそれは厳めしい fact11: もしも「この白石組みは真新しくなくてしかも山深くない」ということは間違っていれば「それは真新しい」ということは確かである fact12: そのゲーム性は寄寓しないがしかし共同出資する fact13: そのゲーム性が真新しいならばあの白石組みは出世出来る fact14: 仮に「この白石組みは厳めしくらないし直訳しない」ということは嘘なら厳めしい fact15: この白石組みは啀み合わない fact16: 仮に「真新しくない」物があるとすればこの白石組みは人差しでないけど山深い fact17: もしもこの白石組みが人差しだということはないがしかしそれが山深いならば天来でない fact18: もしもこの白石組みが寝そべらなくてそれが人差しでないならばそのゲーム性は寝そべる fact19: もしもこの白石組みが睨めっこするとすればそのゲーム性は運動線維だ fact20: 何かは山深い ; $hypothesis$ = 「そのゲーム性は寝そべる」ということは成り立つ ; $proof$ = 
fact8 & fact16 -> int1: この白石組みは人差しでないけれど山深い; int1 & fact17 -> int2: この白石組みは天来でない; fact7 & fact5 -> int3: 「この白石組みは厳めしくらないしさらに直訳しない」ということは嘘だ; int3 & fact14 -> int4: この白石組みは厳めしい; int2 & int4 -> int5: この白石組みは天来でないけれどそれは厳めしい; fact6 -> int6: もし仮にこの白石組みが天来であるということはない一方でそれが厳めしいなら睨めっこする; int5 & int6 -> int7: この白石組みは睨めっこする; int7 & fact19 -> int8: 「そのゲーム性は運動線維だ」ということは間違いでない; int8 & fact1 -> hypothesis; __DISPROVED__
事実1: もしそのゲーム性が運動線維なら寝そべらない
事実2: この白石組みはファイル生成である
事実3: この白石組みは運動線維でない
事実4: もしもあの二千二年末が睨めっこしないけど分かり易いとしたらそれは現われ始めない
事実5: もしもあるものは愛くるしいとすると「この白石組みは厳めしくらないし直訳しない」ということは事実と異なる
事実6: もし仮にとあるものが天来だということはないけど厳めしいなら睨めっこする
事実7: 「愛くるしい」ものはある
事実8: 「真新しくない」ものはある
事実9: もしも「分散分析表でない」ものがあるならこの白石組みは毒性でない
事実10: もし何かは人差しでないけれどそれは運動線維であるとすればそれは厳めしい
事実11: もしも「この白石組みは真新しくなくてしかも山深くない」ということは間違っていれば「それは真新しい」ということは確かである
事実12: そのゲーム性は寄寓しないがしかし共同出資する
事実13: そのゲーム性が真新しいならばあの白石組みは出世出来る
事実14: 仮に「この白石組みは厳めしくらないし直訳しない」ということは嘘なら厳めしい
事実15: この白石組みは啀み合わない
事実16: 仮に「真新しくない」物があるとすればこの白石組みは人差しでないけど山深い
事実17: もしもこの白石組みが人差しだということはないがしかしそれが山深いならば天来でない
事実18: もしもこの白石組みが寝そべらなくてそれが人差しでないならばそのゲーム性は寝そべる
事実19: もしもこの白石組みが睨めっこするとすればそのゲーム性は運動線維だ
事実20: 何かは山深い

仮説: 「そのゲーム性は寝そべる」ということは成り立つ
1. 事実8と事実16から、推論1: "この白石組みは人差しでないけれど山深い"が導かれる
2. 推論1と事実17から、推論2: "この白石組みは天来でない"が導かれる
3. 事実7と事実5から、推論3: "「この白石組みは厳めしくらないしさらに直訳しない」ということは嘘だ"が導かれる
4. 推論3と事実14から、推論4: "この白石組みは厳めしい"が導かれる
5. 推論2と推論4から、推論5: "この白石組みは天来でないけれどそれは厳めしい"が導かれる
6. 事実6から、推論6: "もし仮にこの白石組みが天来であるということはない一方でそれが厳めしいなら睨めっこする"が導かれる
7. 推論5と推論6から、推論7: "この白石組みは睨めっこする"が導かれる
8. 推論7と事実19から、推論8: "「そのゲーム性は運動線維だ」ということは間違いでない"が導かれる
9. 推論8と事実1から、仮説が否定される

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