あの諸制度は悪賢いがしかし接近し易くない
fact1: あの諸制度は悪賢い一方で接近し易くない fact2: あの諸制度は労働現場でない fact3: もし「「なにがしかのものは長々しいということはなくて面白おかしくない」ということは正しい」ということは誤りであるならそれは長々しい fact4: 「この職能資格制度は接近し易くない」ということは真実である fact5: あのタイムズ紙は接近し易いということはない fact6: そのＳ極は合わせ辛い一方で接近し易くない fact7: もし仮にある物は差異化しないとすると「それは長々しかないしそれにそれは面白おかしくない」ということは誤っている fact8: 「あの諸制度は聞き咎めるということはない」ということは事実だ fact9: そのからかい口調はＢＣである一方で付き過ぎるということはない fact10: あの諸制度は振り向くということはない fact11: あの諸制度は小机でない fact12: あの諸制度は悪賢いがそれは隠し続けない fact13: この武運は跳ね飛ぶがしかしそれははしたなくない fact14: あの腎臓障害は広しけど接近し易くない
fact1 -> hypothesis;
fact1 -> hypothesis;
「あの諸制度は悪賢いが接近し易くない」ということは偽だ
fact16 -> int1: もし仮に「この物的法則は長々しかないし面白おかしくない」ということは誤りならばそれは長々しい; fact15 -> int2: 仮にあの正解図は差異化しないとすると「長々しかないしその上面白おかしいということはない」ということは間違いである;
$facts$ = fact1: あの諸制度は悪賢い一方で接近し易くない fact2: あの諸制度は労働現場でない fact3: もし「「なにがしかのものは長々しいということはなくて面白おかしくない」ということは正しい」ということは誤りであるならそれは長々しい fact4: 「この職能資格制度は接近し易くない」ということは真実である fact5: あのタイムズ紙は接近し易いということはない fact6: そのＳ極は合わせ辛い一方で接近し易くない fact7: もし仮にある物は差異化しないとすると「それは長々しかないしそれにそれは面白おかしくない」ということは誤っている fact8: 「あの諸制度は聞き咎めるということはない」ということは事実だ fact9: そのからかい口調はＢＣである一方で付き過ぎるということはない fact10: あの諸制度は振り向くということはない fact11: あの諸制度は小机でない fact12: あの諸制度は悪賢いがそれは隠し続けない fact13: この武運は跳ね飛ぶがしかしそれははしたなくない fact14: あの腎臓障害は広しけど接近し易くない ; $hypothesis$ = あの諸制度は悪賢いがしかし接近し易くない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの諸制度は悪賢い一方で接近し易くない
事実2: あの諸制度は労働現場でない
事実3: もし「「なにがしかのものは長々しいということはなくて面白おかしくない」ということは正しい」ということは誤りであるならそれは長々しい
事実4: 「この職能資格制度は接近し易くない」ということは真実である
事実5: あのタイムズ紙は接近し易いということはない
事実6: そのＳ極は合わせ辛い一方で接近し易くない
事実7: もし仮にある物は差異化しないとすると「それは長々しかないしそれにそれは面白おかしくない」ということは誤っている
事実8: 「あの諸制度は聞き咎めるということはない」ということは事実だ
事実9: そのからかい口調はＢＣである一方で付き過ぎるということはない
事実10: あの諸制度は振り向くということはない
事実11: あの諸制度は小机でない
事実12: あの諸制度は悪賢いがそれは隠し続けない
事実13: この武運は跳ね飛ぶがしかしそれははしたなくない
事実14: あの腎臓障害は広しけど接近し易くない

仮説: あの諸制度は悪賢いがしかし接近し易くない
1. 事実1から、仮説が導かれる

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