「この眼底は問題提起しないし加えて会社内部だということはない」ということは誤りである
fact1: この酷さは問題提起しない fact2: もしとある物が抽出条件でないとすると問題提起しなくてかつそれは会社内部でない fact3: 「この眼底は問題提起しないがしかし会社内部である」ということは事実と異なる fact4: このデータマイニングは会社内部でないならば「この眼底は問題提起しなくてそれは抽出条件でない」ということは間違っている fact5: このデータマイニングは抽出条件でない fact6: もし仮にこのデータマイニングは会社内部でないなら「この眼底は抽出条件でないしそれは問題提起しない」ということは成り立たない fact7: 「このデータマイニングは抽出条件でないし人懐っこくない」ということは誤りである fact8: この眼底は実現し易くない fact9: もし仮にこの眼底は抽出条件でないなら「このデータマイニングは会社内部でなくて問題提起しない」ということは事実と異なる fact10: このデータマイニングは抽出条件だということはないとすれば「この眼底は問題提起しないし会社内部でない」ということは嘘だ fact11: 仮にこのデータマイニングは抽出条件でないとしたら「この眼底は問題提起するけれど会社内部でない」ということは偽だ fact12: 何らかのものは謹慎であるとすれば「抽出条件であるしかつそれはＤＦラインでない」ということは成り立たない fact13: 「この眼底は抽出条件でないしさらにそれは会社内部でない」ということは偽である fact14: もし仮にこのデータマイニングは抽出条件でないなら「この眼底は問題提起しないが会社内部だ」ということは嘘だ fact15: 「この眼底は問題提起するが会社内部でない」ということは成り立たない fact16: もしこのデータマイニングは問題提起しないなら「「この眼底は抽出条件でなくてその上会社内部でない」ということは成り立たない」ということは確かだ fact17: このデータマイニングは跨がないがそれはＤＦラインである fact18: 「すべては謹慎だ」ということは事実だ fact19: このデータマイニングは問題提起しない
fact10 & fact5 -> hypothesis;
この眼底は問題提起しないし会社内部でない
fact22 -> int1: もしもこの眼底が抽出条件でないとすればそれは問題提起するということはないしさらに会社内部でない; fact21 -> int2: このデータマイニングは謹慎である; fact20 -> int3: もし「このデータマイニングは謹慎だ」ということは成り立つとすると「それは抽出条件でかつそれはＤＦラインでない」ということは成り立つということはない; int2 & int3 -> int4: 「このデータマイニングが抽出条件だけどＤＦラインでない」ということは成り立たない; int4 -> int5: 抽出条件であるしそれにＤＦラインでないという物はない; int5 -> int6: 「この眼底は抽出条件であるがＤＦラインでない」ということは誤りである;
$facts$ = fact1: この酷さは問題提起しない fact2: もしとある物が抽出条件でないとすると問題提起しなくてかつそれは会社内部でない fact3: 「この眼底は問題提起しないがしかし会社内部である」ということは事実と異なる fact4: このデータマイニングは会社内部でないならば「この眼底は問題提起しなくてそれは抽出条件でない」ということは間違っている fact5: このデータマイニングは抽出条件でない fact6: もし仮にこのデータマイニングは会社内部でないなら「この眼底は抽出条件でないしそれは問題提起しない」ということは成り立たない fact7: 「このデータマイニングは抽出条件でないし人懐っこくない」ということは誤りである fact8: この眼底は実現し易くない fact9: もし仮にこの眼底は抽出条件でないなら「このデータマイニングは会社内部でなくて問題提起しない」ということは事実と異なる fact10: このデータマイニングは抽出条件だということはないとすれば「この眼底は問題提起しないし会社内部でない」ということは嘘だ fact11: 仮にこのデータマイニングは抽出条件でないとしたら「この眼底は問題提起するけれど会社内部でない」ということは偽だ fact12: 何らかのものは謹慎であるとすれば「抽出条件であるしかつそれはＤＦラインでない」ということは成り立たない fact13: 「この眼底は抽出条件でないしさらにそれは会社内部でない」ということは偽である fact14: もし仮にこのデータマイニングは抽出条件でないなら「この眼底は問題提起しないが会社内部だ」ということは嘘だ fact15: 「この眼底は問題提起するが会社内部でない」ということは成り立たない fact16: もしこのデータマイニングは問題提起しないなら「「この眼底は抽出条件でなくてその上会社内部でない」ということは成り立たない」ということは確かだ fact17: このデータマイニングは跨がないがそれはＤＦラインである fact18: 「すべては謹慎だ」ということは事実だ fact19: このデータマイニングは問題提起しない ; $hypothesis$ = 「この眼底は問題提起しないし加えて会社内部だということはない」ということは誤りである ; $proof$ = 
fact10 & fact5 -> hypothesis; __PROVED__
事実1: この酷さは問題提起しない
事実2: もしとある物が抽出条件でないとすると問題提起しなくてかつそれは会社内部でない
事実3: 「この眼底は問題提起しないがしかし会社内部である」ということは事実と異なる
事実4: このデータマイニングは会社内部でないならば「この眼底は問題提起しなくてそれは抽出条件でない」ということは間違っている
事実5: このデータマイニングは抽出条件でない
事実6: もし仮にこのデータマイニングは会社内部でないなら「この眼底は抽出条件でないしそれは問題提起しない」ということは成り立たない
事実7: 「このデータマイニングは抽出条件でないし人懐っこくない」ということは誤りである
事実8: この眼底は実現し易くない
事実9: もし仮にこの眼底は抽出条件でないなら「このデータマイニングは会社内部でなくて問題提起しない」ということは事実と異なる
事実10: このデータマイニングは抽出条件だということはないとすれば「この眼底は問題提起しないし会社内部でない」ということは嘘だ
事実11: 仮にこのデータマイニングは抽出条件でないとしたら「この眼底は問題提起するけれど会社内部でない」ということは偽だ
事実12: 何らかのものは謹慎であるとすれば「抽出条件であるしかつそれはＤＦラインでない」ということは成り立たない
事実13: 「この眼底は抽出条件でないしさらにそれは会社内部でない」ということは偽である
事実14: もし仮にこのデータマイニングは抽出条件でないなら「この眼底は問題提起しないが会社内部だ」ということは嘘だ
事実15: 「この眼底は問題提起するが会社内部でない」ということは成り立たない
事実16: もしこのデータマイニングは問題提起しないなら「「この眼底は抽出条件でなくてその上会社内部でない」ということは成り立たない」ということは確かだ
事実17: このデータマイニングは跨がないがそれはＤＦラインである
事実18: 「すべては謹慎だ」ということは事実だ
事実19: このデータマイニングは問題提起しない

仮説: 「この眼底は問題提起しないし加えて会社内部だということはない」ということは誤りである
1. 事実10と事実5から、仮説が導かれる

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