この朴念仁は求めない
fact1: あの海人族はコーラスであるがしかしそれは賑やか過ぎない fact2: この朴念仁は袘であるということはない fact3: この朴念仁が求めないし袘でないなら「その有名メーカーは袘でない」ということは成り立つ fact4: この朴念仁は間違え易くないしさらに物狂おしくない fact5: もしその目止めが関係部門ならばこの朴念仁は求めないしかつそれは袘でない fact6: 仮に間違え易くない物は袘でないなら求める fact7: もし仮になにがしかのものがコーラスであるけれど賑やか過ぎないならそのテイクダウンは腫瘍部だということはない fact8: なにがしかの物は腫瘍部でないならば合併協議会であるかもしくは床しいかどちらもである
fact4 -> int1: この朴念仁は間違え易くない; int1 & fact2 -> int2: この朴念仁は間違え易くないしおまけにそれは袘でない; fact6 -> int3: もし仮にこの朴念仁が間違え易くないしそれに袘でないならそれは求める; int2 & int3 -> hypothesis;
その有名メーカーは間違え易い
fact13 -> int4: もしもそのテイクダウンは腫瘍部でないならそれは合併協議会であるかあるいは床しいかもしくは両方だ; fact10 -> int5: 「コーラスであるが賑やか過ぎるということはない」ものはある; int5 & fact11 -> int6: そのテイクダウンは腫瘍部でない; int4 & int6 -> int7: そのテイクダウンは合併協議会であるかそれは床しいか両方ともだ;
$facts$ = fact1: あの海人族はコーラスであるがしかしそれは賑やか過ぎない fact2: この朴念仁は袘であるということはない fact3: この朴念仁が求めないし袘でないなら「その有名メーカーは袘でない」ということは成り立つ fact4: この朴念仁は間違え易くないしさらに物狂おしくない fact5: もしその目止めが関係部門ならばこの朴念仁は求めないしかつそれは袘でない fact6: 仮に間違え易くない物は袘でないなら求める fact7: もし仮になにがしかのものがコーラスであるけれど賑やか過ぎないならそのテイクダウンは腫瘍部だということはない fact8: なにがしかの物は腫瘍部でないならば合併協議会であるかもしくは床しいかどちらもである ; $hypothesis$ = この朴念仁は求めない ; $proof$ = 
fact4 -> int1: この朴念仁は間違え易くない; int1 & fact2 -> int2: この朴念仁は間違え易くないしおまけにそれは袘でない; fact6 -> int3: もし仮にこの朴念仁が間違え易くないしそれに袘でないならそれは求める; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの海人族はコーラスであるがしかしそれは賑やか過ぎない
事実2: この朴念仁は袘であるということはない
事実3: この朴念仁が求めないし袘でないなら「その有名メーカーは袘でない」ということは成り立つ
事実4: この朴念仁は間違え易くないしさらに物狂おしくない
事実5: もしその目止めが関係部門ならばこの朴念仁は求めないしかつそれは袘でない
事実6: 仮に間違え易くない物は袘でないなら求める
事実7: もし仮になにがしかのものがコーラスであるけれど賑やか過ぎないならそのテイクダウンは腫瘍部だということはない
事実8: なにがしかの物は腫瘍部でないならば合併協議会であるかもしくは床しいかどちらもである

仮説: この朴念仁は求めない
1. 事実4から、推論1: "この朴念仁は間違え易くない"が導かれる
2. 推論1と事実2から、推論2: "この朴念仁は間違え易くないしおまけにそれは袘でない"が導かれる
3. 事実6から、推論3: "もし仮にこの朴念仁が間違え易くないしそれに袘でないならそれは求める"が導かれる
4. 推論2と推論3から、仮説が否定される

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