この事件当日は浅ましないけれどそれは親しい
fact1: あるものは伸縮しないなら「それは浅ましないし親しい」ということは誤りである fact2: なにがしかの物が変わり易くないかもしくは航海するか両方であるとすれば変わり易いということはない fact3: もしこの四部屋は変わり易いということはないとしたら「この名建築はＣＭタイムでなくてそれに捲り上げない」ということは成り立たない fact4: その測定条件は形骸化しないがしかし服務す fact5: もし仮にこの名建築が厳し過ぎるしその上服務すとしたらその測定条件は親しい fact6: その測定条件は浅まし fact7: もし仮にこの名建築が服務すし伸縮するとするとこの事件当日は解体でない fact8: その測定条件が厳し過ぎないけれど御上人様だとすればあの名建築は服務す fact9: 仮にこの四部屋が捲り上げればこの名建築は伸縮する fact10: あのランダムファイルは捲り上げる fact11: この事件当日は浅ましということはない fact12: なんらかのものが解体でないならば浅ましないしおまけに親しい fact13: この四部屋は捲り上げる fact14: もし「この名建築はＣＭタイムだということはないし捲り上げない」ということは間違いであるとしたらその測定条件は解体でない fact15: その測定条件は厳し過ぎないがしかし御上人様だ fact16: もしこの四部屋がやくざっぽくないならば変わり易くないかまたは航海するかどちらもである fact17: あの外孫は御上人様でない fact18: 何かは屋内作業場所でないか曲データであるかもしくは両方だ
fact8 & fact15 -> int1: この名建築は服務す; fact13 & fact9 -> int2: この名建築は伸縮する; int1 & int2 -> int3: この名建築は服務すし加えて伸縮する; int3 & fact7 -> int4: この事件当日は解体でない; fact12 -> int5: この事件当日が解体でないならそれは浅ましないしおまけにそれは親しい; int4 & int5 -> hypothesis;
「この事件当日は浅ましということはないがしかし親しい」ということは誤っている
fact24 -> int6: 仮にこの事件当日は伸縮しないなら「浅ましないけど親しい」ということは間違っている; fact19 -> int7: その測定条件は服務す; fact20 -> int8: この四部屋は変わり易くないかあるいは航海するかあるいは両方であるとすればそれは変わり易くない;
$facts$ = fact1: あるものは伸縮しないなら「それは浅ましないし親しい」ということは誤りである fact2: なにがしかの物が変わり易くないかもしくは航海するか両方であるとすれば変わり易いということはない fact3: もしこの四部屋は変わり易いということはないとしたら「この名建築はＣＭタイムでなくてそれに捲り上げない」ということは成り立たない fact4: その測定条件は形骸化しないがしかし服務す fact5: もし仮にこの名建築が厳し過ぎるしその上服務すとしたらその測定条件は親しい fact6: その測定条件は浅まし fact7: もし仮にこの名建築が服務すし伸縮するとするとこの事件当日は解体でない fact8: その測定条件が厳し過ぎないけれど御上人様だとすればあの名建築は服務す fact9: 仮にこの四部屋が捲り上げればこの名建築は伸縮する fact10: あのランダムファイルは捲り上げる fact11: この事件当日は浅ましということはない fact12: なんらかのものが解体でないならば浅ましないしおまけに親しい fact13: この四部屋は捲り上げる fact14: もし「この名建築はＣＭタイムだということはないし捲り上げない」ということは間違いであるとしたらその測定条件は解体でない fact15: その測定条件は厳し過ぎないがしかし御上人様だ fact16: もしこの四部屋がやくざっぽくないならば変わり易くないかまたは航海するかどちらもである fact17: あの外孫は御上人様でない fact18: 何かは屋内作業場所でないか曲データであるかもしくは両方だ ; $hypothesis$ = この事件当日は浅ましないけれどそれは親しい ; $proof$ = 
fact8 & fact15 -> int1: この名建築は服務す; fact13 & fact9 -> int2: この名建築は伸縮する; int1 & int2 -> int3: この名建築は服務すし加えて伸縮する; int3 & fact7 -> int4: この事件当日は解体でない; fact12 -> int5: この事件当日が解体でないならそれは浅ましないしおまけにそれは親しい; int4 & int5 -> hypothesis; __PROVED__
事実1: あるものは伸縮しないなら「それは浅ましないし親しい」ということは誤りである
事実2: なにがしかの物が変わり易くないかもしくは航海するか両方であるとすれば変わり易いということはない
事実3: もしこの四部屋は変わり易いということはないとしたら「この名建築はＣＭタイムでなくてそれに捲り上げない」ということは成り立たない
事実4: その測定条件は形骸化しないがしかし服務す
事実5: もし仮にこの名建築が厳し過ぎるしその上服務すとしたらその測定条件は親しい
事実6: その測定条件は浅まし
事実7: もし仮にこの名建築が服務すし伸縮するとするとこの事件当日は解体でない
事実8: その測定条件が厳し過ぎないけれど御上人様だとすればあの名建築は服務す
事実9: 仮にこの四部屋が捲り上げればこの名建築は伸縮する
事実10: あのランダムファイルは捲り上げる
事実11: この事件当日は浅ましということはない
事実12: なんらかのものが解体でないならば浅ましないしおまけに親しい
事実13: この四部屋は捲り上げる
事実14: もし「この名建築はＣＭタイムだということはないし捲り上げない」ということは間違いであるとしたらその測定条件は解体でない
事実15: その測定条件は厳し過ぎないがしかし御上人様だ
事実16: もしこの四部屋がやくざっぽくないならば変わり易くないかまたは航海するかどちらもである
事実17: あの外孫は御上人様でない
事実18: 何かは屋内作業場所でないか曲データであるかもしくは両方だ

仮説: この事件当日は浅ましないけれどそれは親しい
1. 事実8と事実15から、推論1: "この名建築は服務す"が導かれる
2. 事実13と事実9から、推論2: "この名建築は伸縮する"が導かれる
3. 推論1と推論2から、推論3: "この名建築は服務すし加えて伸縮する"が導かれる
4. 推論3と事実7から、推論4: "この事件当日は解体でない"が導かれる
5. 事実12から、推論5: "この事件当日が解体でないならそれは浅ましないしおまけにそれは親しい"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。