この廊下側は講釈しない
fact1: もしあの教師同士は当該組合でないとしたら「それは明かさなくて加えてそれは家族等である」ということは誤りである fact2: 何らかのものは発着する fact3: もし仮にあの救済方法は灯らないとすると「この九十四戦競は集め易くないしそれは挙手しない」ということは誤りである fact4: 「当該組合である」物はある fact5: もし「この九十四戦競は素晴らしい」ということは本当だとしたらこの住宅改修は成り立つ fact6: 仮になんらかの物が芽吹くしそれは心憎いならば「この廊下側は講釈しない」ということは成り立たない fact7: あの一升瓶は発着するとしたら「あの障子越しは心憎い」ということは正しい fact8: 「もし「あの教師同士は明かさないけど家族等だ」ということは確かでないとしたらあの教師同士は明かす」ということは真実である fact9: あの車内アナウンスは灯らない fact10: あの教師同士は当該組合でない fact11: あの救済方法は灯らない fact12: 仮に「「家族等だ」ということは成り立つ」ものがあるとすればあの教師同士は集め易い fact13: 「「明かす」ということは確かである」物はあれば「あの障子越しは芽吹く」ということは間違いでない fact14: もしもこの住宅改修が成り立つならばあの一升瓶は発着する fact15: この渡来人は語り告げるしおまけにそれは挙手する fact16: 「とあるものは集め易くなくて加えて挙手しない」ということは誤っているなら素晴らしい fact17: もし仮に「「発着する」ものはある」ということは間違いでないとすればあの一升瓶は集め易い
fact16 -> int1: 「「この九十四戦競は集め易くなくてその上それは挙手しない」ということは誤りである」ということは真実であるとすると素晴らしい; fact3 & fact11 -> int2: 「この九十四戦競は集め易くないしおまけに挙手しない」ということは誤っている; int1 & int2 -> int3: この九十四戦競は素晴らしい; int3 & fact5 -> int4: この住宅改修は成り立つ; int4 & fact14 -> int5: あの一升瓶は発着する; int5 & fact7 -> int6: あの障子越しは心憎い; fact10 & fact1 -> int7: 「あの教師同士は明かさないけれど家族等だ」ということは成り立たない; fact8 & int7 -> int8: あの教師同士は明かす; int8 -> int9: 「明かす」ものはある; int9 & fact13 -> int10: あの障子越しは芽吹く; int6 & int10 -> int11: あの障子越しは芽吹くし心憎い; int11 -> int12: なにがしかのものは芽吹くし心憎い; int12 & fact6 -> hypothesis;
$facts$ = fact1: もしあの教師同士は当該組合でないとしたら「それは明かさなくて加えてそれは家族等である」ということは誤りである fact2: 何らかのものは発着する fact3: もし仮にあの救済方法は灯らないとすると「この九十四戦競は集め易くないしそれは挙手しない」ということは誤りである fact4: 「当該組合である」物はある fact5: もし「この九十四戦競は素晴らしい」ということは本当だとしたらこの住宅改修は成り立つ fact6: 仮になんらかの物が芽吹くしそれは心憎いならば「この廊下側は講釈しない」ということは成り立たない fact7: あの一升瓶は発着するとしたら「あの障子越しは心憎い」ということは正しい fact8: 「もし「あの教師同士は明かさないけど家族等だ」ということは確かでないとしたらあの教師同士は明かす」ということは真実である fact9: あの車内アナウンスは灯らない fact10: あの教師同士は当該組合でない fact11: あの救済方法は灯らない fact12: 仮に「「家族等だ」ということは成り立つ」ものがあるとすればあの教師同士は集め易い fact13: 「「明かす」ということは確かである」物はあれば「あの障子越しは芽吹く」ということは間違いでない fact14: もしもこの住宅改修が成り立つならばあの一升瓶は発着する fact15: この渡来人は語り告げるしおまけにそれは挙手する fact16: 「とあるものは集め易くなくて加えて挙手しない」ということは誤っているなら素晴らしい fact17: もし仮に「「発着する」ものはある」ということは間違いでないとすればあの一升瓶は集め易い ; $hypothesis$ = この廊下側は講釈しない ; $proof$ = 
fact16 -> int1: 「「この九十四戦競は集め易くなくてその上それは挙手しない」ということは誤りである」ということは真実であるとすると素晴らしい; fact3 & fact11 -> int2: 「この九十四戦競は集め易くないしおまけに挙手しない」ということは誤っている; int1 & int2 -> int3: この九十四戦競は素晴らしい; int3 & fact5 -> int4: この住宅改修は成り立つ; int4 & fact14 -> int5: あの一升瓶は発着する; int5 & fact7 -> int6: あの障子越しは心憎い; fact10 & fact1 -> int7: 「あの教師同士は明かさないけれど家族等だ」ということは成り立たない; fact8 & int7 -> int8: あの教師同士は明かす; int8 -> int9: 「明かす」ものはある; int9 & fact13 -> int10: あの障子越しは芽吹く; int6 & int10 -> int11: あの障子越しは芽吹くし心憎い; int11 -> int12: なにがしかのものは芽吹くし心憎い; int12 & fact6 -> hypothesis; __DISPROVED__
事実1: もしあの教師同士は当該組合でないとしたら「それは明かさなくて加えてそれは家族等である」ということは誤りである
事実2: 何らかのものは発着する
事実3: もし仮にあの救済方法は灯らないとすると「この九十四戦競は集め易くないしそれは挙手しない」ということは誤りである
事実4: 「当該組合である」物はある
事実5: もし「この九十四戦競は素晴らしい」ということは本当だとしたらこの住宅改修は成り立つ
事実6: 仮になんらかの物が芽吹くしそれは心憎いならば「この廊下側は講釈しない」ということは成り立たない
事実7: あの一升瓶は発着するとしたら「あの障子越しは心憎い」ということは正しい
事実8: 「もし「あの教師同士は明かさないけど家族等だ」ということは確かでないとしたらあの教師同士は明かす」ということは真実である
事実9: あの車内アナウンスは灯らない
事実10: あの教師同士は当該組合でない
事実11: あの救済方法は灯らない
事実12: 仮に「「家族等だ」ということは成り立つ」ものがあるとすればあの教師同士は集め易い
事実13: 「「明かす」ということは確かである」物はあれば「あの障子越しは芽吹く」ということは間違いでない
事実14: もしもこの住宅改修が成り立つならばあの一升瓶は発着する
事実15: この渡来人は語り告げるしおまけにそれは挙手する
事実16: 「とあるものは集め易くなくて加えて挙手しない」ということは誤っているなら素晴らしい
事実17: もし仮に「「発着する」ものはある」ということは間違いでないとすればあの一升瓶は集め易い

仮説: この廊下側は講釈しない
1. 事実16から、推論1: "「「この九十四戦競は集め易くなくてその上それは挙手しない」ということは誤りである」ということは真実であるとすると素晴らしい"が導かれる
2. 事実3と事実11から、推論2: "「この九十四戦競は集め易くないしおまけに挙手しない」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "この九十四戦競は素晴らしい"が導かれる
4. 推論3と事実5から、推論4: "この住宅改修は成り立つ"が導かれる
5. 推論4と事実14から、推論5: "あの一升瓶は発着する"が導かれる
6. 推論5と事実7から、推論6: "あの障子越しは心憎い"が導かれる
7. 事実10と事実1から、推論7: "「あの教師同士は明かさないけれど家族等だ」ということは成り立たない"が導かれる
8. 事実8と推論7から、推論8: "あの教師同士は明かす"が導かれる
9. 推論8から、推論9: "「明かす」ものはある"が導かれる
10. 推論9と事実13から、推論10: "あの障子越しは芽吹く"が導かれる
11. 推論6と推論10から、推論11: "あの障子越しは芽吹くし心憎い"が導かれる
12. 推論11から、推論12: "なにがしかのものは芽吹くし心憎い"が導かれる
13. 推論12と事実6から、仮説が否定される

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