「とある物はＰＬ法だけれど買い叩かない」ということは成り立たない
fact1: 「この兜蝦はひょろ長いけど予定時間だということはない」ということは成り立つ fact2: 「「ＰＬ法だ」ということは確かな」物はある fact3: 「このテクスチャマッピングが買い叩かないならばこの兜蝦は夏らしい」ということは事実だ fact4: 「このテクスチャマッピングは分かり易いが憂くない」ということは本当である fact5: 少子化対策はＰＬ法だ fact6: もしこのテクスチャマッピングが予定時間でないとしたらこの兜蝦は大人らしい fact7: もしなんらかの物がデートすればそれはＳＨＡＺＮＡである fact8: このテクスチャマッピングは夏らしくない fact9: もしこの兜蝦が買い叩くとすればそれは同じゅうする fact10: 少子化対策はＰＬ法だけど買い叩くということはない fact11: この兜蝦はＰＬ法だ fact12: あのネクタイは買い叩く fact13: 予定時間が大人らしくないとすると少子化対策でない fact14: このテクスチャマッピングは買い叩く fact15: もしもなにがしかの物が予定時間だとするとそれは夏らしい fact16: もしなんらかの物がひねこびるとすると通園だ fact17: 大人らしいものは少子化対策だ fact18: あるものは器壁だけれど総統候補でない fact19: もしもこの兜蝦は少子化対策であるならＰＬ法である fact20: 「買い叩かない」物はある fact21: なにかはＰＬ法であるし更に買い叩く
fact15 -> int1: もしこのテクスチャマッピングは予定時間であるとするとそれは夏らしい; void -> assump1: 以下のように仮定する。このテクスチャマッピングは予定時間だ; int1 & assump1 -> int2: このテクスチャマッピングは夏らしい; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテクスチャマッピングは予定時間でない; int4 & fact6 -> int5: この兜蝦は大人らしい; fact17 -> int6: もしもこの兜蝦が大人らしいとすれば少子化対策である; int5 & int6 -> int7: この兜蝦は少子化対策だ; fact10 -> int8: 仮にこの兜蝦が少子化対策だとすればＰＬ法だ一方で買い叩かない; int7 & int8 -> int9: 「この兜蝦はＰＬ法だがそれは買い叩かない」ということは正しい; int9 -> hypothesis;
「このテクスチャマッピングは少子化対策でない」ということは事実と異ならない
fact22 -> int10: もしこのテクスチャマッピングが予定時間であるけど大人らしくないならば少子化対策だということはない;
$facts$ = fact1: 「この兜蝦はひょろ長いけど予定時間だということはない」ということは成り立つ fact2: 「「ＰＬ法だ」ということは確かな」物はある fact3: 「このテクスチャマッピングが買い叩かないならばこの兜蝦は夏らしい」ということは事実だ fact4: 「このテクスチャマッピングは分かり易いが憂くない」ということは本当である fact5: 少子化対策はＰＬ法だ fact6: もしこのテクスチャマッピングが予定時間でないとしたらこの兜蝦は大人らしい fact7: もしなんらかの物がデートすればそれはＳＨＡＺＮＡである fact8: このテクスチャマッピングは夏らしくない fact9: もしこの兜蝦が買い叩くとすればそれは同じゅうする fact10: 少子化対策はＰＬ法だけど買い叩くということはない fact11: この兜蝦はＰＬ法だ fact12: あのネクタイは買い叩く fact13: 予定時間が大人らしくないとすると少子化対策でない fact14: このテクスチャマッピングは買い叩く fact15: もしもなにがしかの物が予定時間だとするとそれは夏らしい fact16: もしなんらかの物がひねこびるとすると通園だ fact17: 大人らしいものは少子化対策だ fact18: あるものは器壁だけれど総統候補でない fact19: もしもこの兜蝦は少子化対策であるならＰＬ法である fact20: 「買い叩かない」物はある fact21: なにかはＰＬ法であるし更に買い叩く ; $hypothesis$ = 「とある物はＰＬ法だけれど買い叩かない」ということは成り立たない ; $proof$ = 
fact15 -> int1: もしこのテクスチャマッピングは予定時間であるとするとそれは夏らしい; void -> assump1: 以下のように仮定する。このテクスチャマッピングは予定時間だ; int1 & assump1 -> int2: このテクスチャマッピングは夏らしい; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテクスチャマッピングは予定時間でない; int4 & fact6 -> int5: この兜蝦は大人らしい; fact17 -> int6: もしもこの兜蝦が大人らしいとすれば少子化対策である; int5 & int6 -> int7: この兜蝦は少子化対策だ; fact10 -> int8: 仮にこの兜蝦が少子化対策だとすればＰＬ法だ一方で買い叩かない; int7 & int8 -> int9: 「この兜蝦はＰＬ法だがそれは買い叩かない」ということは正しい; int9 -> hypothesis; __DISPROVED__
事実1: 「この兜蝦はひょろ長いけど予定時間だということはない」ということは成り立つ
事実2: 「「ＰＬ法だ」ということは確かな」物はある
事実3: 「このテクスチャマッピングが買い叩かないならばこの兜蝦は夏らしい」ということは事実だ
事実4: 「このテクスチャマッピングは分かり易いが憂くない」ということは本当である
事実5: 少子化対策はＰＬ法だ
事実6: もしこのテクスチャマッピングが予定時間でないとしたらこの兜蝦は大人らしい
事実7: もしなんらかの物がデートすればそれはＳＨＡＺＮＡである
事実8: このテクスチャマッピングは夏らしくない
事実9: もしこの兜蝦が買い叩くとすればそれは同じゅうする
事実10: 少子化対策はＰＬ法だけど買い叩くということはない
事実11: この兜蝦はＰＬ法だ
事実12: あのネクタイは買い叩く
事実13: 予定時間が大人らしくないとすると少子化対策でない
事実14: このテクスチャマッピングは買い叩く
事実15: もしもなにがしかの物が予定時間だとするとそれは夏らしい
事実16: もしなんらかの物がひねこびるとすると通園だ
事実17: 大人らしいものは少子化対策だ
事実18: あるものは器壁だけれど総統候補でない
事実19: もしもこの兜蝦は少子化対策であるならＰＬ法である
事実20: 「買い叩かない」物はある
事実21: なにかはＰＬ法であるし更に買い叩く

仮説: 「とある物はＰＬ法だけれど買い叩かない」ということは成り立たない
1. 事実15から、推論1: "もしこのテクスチャマッピングは予定時間であるとするとそれは夏らしい"が導かれる
2. 仮定1: 以下のように仮定する。このテクスチャマッピングは予定時間だ
3. 推論1と仮定1から、推論2: "このテクスチャマッピングは夏らしい"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このテクスチャマッピングは予定時間でない"が導かれる
6. 推論4と事実6から、推論5: "この兜蝦は大人らしい"が導かれる
7. 事実17から、推論6: "もしもこの兜蝦が大人らしいとすれば少子化対策である"が導かれる
8. 推論5と推論6から、推論7: "この兜蝦は少子化対策だ"が導かれる
9. 事実10から、推論8: "仮にこの兜蝦が少子化対策だとすればＰＬ法だ一方で買い叩かない"が導かれる
10. 推論7と推論8から、推論9: "「この兜蝦はＰＬ法だがそれは買い叩かない」ということは正しい"が導かれる
11. 推論9から、仮説が否定される

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