この噛み付きごっこは御洒落しない
fact1: 「進入する」物はある fact2: あの電卓は御洒落しない fact3: その青野ヶ原収容所は煙たがる fact4: この脂溶性物質は上積みしなくて協働しない fact5: この商品棚は絡まなくてそれに御洒落しないとすると扱う fact6: あの電卓は最低点であるということはない fact7: 「「あの電卓は最低点であるか煙たがる」ということは嘘である」ということは正しい fact8: この商品棚が煙たがらなくておまけにそれが扱わないならばそれは最低点だ fact9: もしなにかは絡むなら御洒落しない fact10: この商品棚は進入する fact11: この商品棚は絡むということはないし痛ましいということはないなら扱う fact12: 「そのフェノチアジンは絡まない」ということは成り立つとするとこの商品棚は痛ましくない fact13: なにがしかのものは付け狙う fact14: この噛み付きごっこは扱わない fact15: もし仮にそのフェノチアジンが絡まないならばこの商品棚は絡まなくてそれは痛ましくない fact16: 「あの電卓は最低点であるかあるいは煙たがるか両方ともだ」ということは誤りであるならこの脂溶性物質はＨＦでない fact17: 仮にこの商品棚が扱うとしたら付け狙う fact18: 「もしも「そのフェノチアジンは扱うかあるいはそれは最低点であるかどちらもである」ということは間違っているとするとこの商品棚は絡まない」ということは成り立つ fact19: もしもこの商品棚がＨＦでないならこの脂溶性物質はＨＦでなくて扱わない fact20: この脂溶性物質は煙たがる fact21: もし仮にこの商品棚は痛ましい一方で絡まないとしたら御洒落する fact22: もし仮に「付け狙うし更に進入する」ものがあるとすればこの噛み付きごっこは御洒落する fact23: もしこの脂溶性物質がＨＦだということはないとするとそのフェノチアジンは絡むということはない fact24: そのフェノチアジンはＨＦでない fact25: この脂溶性物質は常連らしい fact26: 「「あの電卓は救出するか利用され易いかまたは両方だ」ということは成り立つ」ということは成り立つということはない
fact16 & fact7 -> int1: この脂溶性物質はＨＦでない; int1 & fact23 -> int2: そのフェノチアジンは絡まない; int2 & fact15 -> int3: この商品棚は絡まないしかつ痛ましくない; int3 & fact11 -> int4: この商品棚は扱う; int4 & fact17 -> int5: この商品棚は付け狙う; int5 & fact10 -> int6: この商品棚は付け狙うしそれは進入する; int6 -> int7: 何らかのものは付け狙うししかも進入する; int7 & fact22 -> hypothesis;
この噛み付きごっこは御洒落しない
fact27 -> int8: 仮にこの噛み付きごっこが絡めば御洒落しない;
$facts$ = fact1: 「進入する」物はある fact2: あの電卓は御洒落しない fact3: その青野ヶ原収容所は煙たがる fact4: この脂溶性物質は上積みしなくて協働しない fact5: この商品棚は絡まなくてそれに御洒落しないとすると扱う fact6: あの電卓は最低点であるということはない fact7: 「「あの電卓は最低点であるか煙たがる」ということは嘘である」ということは正しい fact8: この商品棚が煙たがらなくておまけにそれが扱わないならばそれは最低点だ fact9: もしなにかは絡むなら御洒落しない fact10: この商品棚は進入する fact11: この商品棚は絡むということはないし痛ましいということはないなら扱う fact12: 「そのフェノチアジンは絡まない」ということは成り立つとするとこの商品棚は痛ましくない fact13: なにがしかのものは付け狙う fact14: この噛み付きごっこは扱わない fact15: もし仮にそのフェノチアジンが絡まないならばこの商品棚は絡まなくてそれは痛ましくない fact16: 「あの電卓は最低点であるかあるいは煙たがるか両方ともだ」ということは誤りであるならこの脂溶性物質はＨＦでない fact17: 仮にこの商品棚が扱うとしたら付け狙う fact18: 「もしも「そのフェノチアジンは扱うかあるいはそれは最低点であるかどちらもである」ということは間違っているとするとこの商品棚は絡まない」ということは成り立つ fact19: もしもこの商品棚がＨＦでないならこの脂溶性物質はＨＦでなくて扱わない fact20: この脂溶性物質は煙たがる fact21: もし仮にこの商品棚は痛ましい一方で絡まないとしたら御洒落する fact22: もし仮に「付け狙うし更に進入する」ものがあるとすればこの噛み付きごっこは御洒落する fact23: もしこの脂溶性物質がＨＦだということはないとするとそのフェノチアジンは絡むということはない fact24: そのフェノチアジンはＨＦでない fact25: この脂溶性物質は常連らしい fact26: 「「あの電卓は救出するか利用され易いかまたは両方だ」ということは成り立つ」ということは成り立つということはない ; $hypothesis$ = この噛み付きごっこは御洒落しない ; $proof$ = 
fact16 & fact7 -> int1: この脂溶性物質はＨＦでない; int1 & fact23 -> int2: そのフェノチアジンは絡まない; int2 & fact15 -> int3: この商品棚は絡まないしかつ痛ましくない; int3 & fact11 -> int4: この商品棚は扱う; int4 & fact17 -> int5: この商品棚は付け狙う; int5 & fact10 -> int6: この商品棚は付け狙うしそれは進入する; int6 -> int7: 何らかのものは付け狙うししかも進入する; int7 & fact22 -> hypothesis; __DISPROVED__
事実1: 「進入する」物はある
事実2: あの電卓は御洒落しない
事実3: その青野ヶ原収容所は煙たがる
事実4: この脂溶性物質は上積みしなくて協働しない
事実5: この商品棚は絡まなくてそれに御洒落しないとすると扱う
事実6: あの電卓は最低点であるということはない
事実7: 「「あの電卓は最低点であるか煙たがる」ということは嘘である」ということは正しい
事実8: この商品棚が煙たがらなくておまけにそれが扱わないならばそれは最低点だ
事実9: もしなにかは絡むなら御洒落しない
事実10: この商品棚は進入する
事実11: この商品棚は絡むということはないし痛ましいということはないなら扱う
事実12: 「そのフェノチアジンは絡まない」ということは成り立つとするとこの商品棚は痛ましくない
事実13: なにがしかのものは付け狙う
事実14: この噛み付きごっこは扱わない
事実15: もし仮にそのフェノチアジンが絡まないならばこの商品棚は絡まなくてそれは痛ましくない
事実16: 「あの電卓は最低点であるかあるいは煙たがるか両方ともだ」ということは誤りであるならこの脂溶性物質はＨＦでない
事実17: 仮にこの商品棚が扱うとしたら付け狙う
事実18: 「もしも「そのフェノチアジンは扱うかあるいはそれは最低点であるかどちらもである」ということは間違っているとするとこの商品棚は絡まない」ということは成り立つ
事実19: もしもこの商品棚がＨＦでないならこの脂溶性物質はＨＦでなくて扱わない
事実20: この脂溶性物質は煙たがる
事実21: もし仮にこの商品棚は痛ましい一方で絡まないとしたら御洒落する
事実22: もし仮に「付け狙うし更に進入する」ものがあるとすればこの噛み付きごっこは御洒落する
事実23: もしこの脂溶性物質がＨＦだということはないとするとそのフェノチアジンは絡むということはない
事実24: そのフェノチアジンはＨＦでない
事実25: この脂溶性物質は常連らしい
事実26: 「「あの電卓は救出するか利用され易いかまたは両方だ」ということは成り立つ」ということは成り立つということはない

仮説: この噛み付きごっこは御洒落しない
1. 事実16と事実7から、推論1: "この脂溶性物質はＨＦでない"が導かれる
2. 推論1と事実23から、推論2: "そのフェノチアジンは絡まない"が導かれる
3. 推論2と事実15から、推論3: "この商品棚は絡まないしかつ痛ましくない"が導かれる
4. 推論3と事実11から、推論4: "この商品棚は扱う"が導かれる
5. 推論4と事実17から、推論5: "この商品棚は付け狙う"が導かれる
6. 推論5と事実10から、推論6: "この商品棚は付け狙うしそれは進入する"が導かれる
7. 推論6から、推論7: "何らかのものは付け狙うししかも進入する"が導かれる
8. 推論7と事実22から、仮説が否定される

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