その研究所は発生し難くて更に退色し易い
fact1: ある物は設置す fact2: 仮にその爪側は真っ黒くないならば「その研究所は発生し難いし退色し易い」ということは成り立たない fact3: もしも「設置す」ものがあればその爪側は決め難いけど実勢でない fact4: もしもとある物はペリカンでないならばそれは真っ黒い fact5: 仮にとある物は決め難いならば「設置す一方で活用し易いということはない」ということは誤っている fact6: もしも「真っ黒い」物があるとしたらその自由学園は実勢だということはない fact7: あのハプスブルク家はペリカンでない fact8: もし「その研究所は設置すけれど活用し易くない」ということは嘘であるとしたらその爪側は活用し易い fact9: もしも「その爪側は設置すらない」ということは確かだとしたらその研究所は発生し難くてかつ退色し易い fact10: もし決め難い物は実勢でないならば「それは真っ黒くない」ということは確かだ fact11: もしその爪側が決め難くて更にそれが実勢だとしたらそれは真っ黒くない
fact1 & fact3 -> int1: 「その爪側は決め難いけど実勢でない」ということは正しい; fact10 -> int2: もし仮にその爪側が決め難い一方でそれが実勢でないとすれば真っ黒くない; int1 & int2 -> int3: その爪側は真っ黒くない; int3 & fact2 -> hypothesis;
その研究所は発生し難くてそれに退色し易い
fact13 -> int4: 仮にあのハプスブルク家はペリカンでないなら真っ黒い; int4 & fact12 -> int5: 「あのハプスブルク家は真っ黒い」ということは正しい; int5 -> int6: 「真っ黒い」物はある; int6 & fact14 -> int7: その自由学園は実勢であるということはない; int7 -> int8: とある物は実勢でない;
$facts$ = fact1: ある物は設置す fact2: 仮にその爪側は真っ黒くないならば「その研究所は発生し難いし退色し易い」ということは成り立たない fact3: もしも「設置す」ものがあればその爪側は決め難いけど実勢でない fact4: もしもとある物はペリカンでないならばそれは真っ黒い fact5: 仮にとある物は決め難いならば「設置す一方で活用し易いということはない」ということは誤っている fact6: もしも「真っ黒い」物があるとしたらその自由学園は実勢だということはない fact7: あのハプスブルク家はペリカンでない fact8: もし「その研究所は設置すけれど活用し易くない」ということは嘘であるとしたらその爪側は活用し易い fact9: もしも「その爪側は設置すらない」ということは確かだとしたらその研究所は発生し難くてかつ退色し易い fact10: もし決め難い物は実勢でないならば「それは真っ黒くない」ということは確かだ fact11: もしその爪側が決め難くて更にそれが実勢だとしたらそれは真っ黒くない ; $hypothesis$ = その研究所は発生し難くて更に退色し易い ; $proof$ = 
fact1 & fact3 -> int1: 「その爪側は決め難いけど実勢でない」ということは正しい; fact10 -> int2: もし仮にその爪側が決め難い一方でそれが実勢でないとすれば真っ黒くない; int1 & int2 -> int3: その爪側は真っ黒くない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: ある物は設置す
事実2: 仮にその爪側は真っ黒くないならば「その研究所は発生し難いし退色し易い」ということは成り立たない
事実3: もしも「設置す」ものがあればその爪側は決め難いけど実勢でない
事実4: もしもとある物はペリカンでないならばそれは真っ黒い
事実5: 仮にとある物は決め難いならば「設置す一方で活用し易いということはない」ということは誤っている
事実6: もしも「真っ黒い」物があるとしたらその自由学園は実勢だということはない
事実7: あのハプスブルク家はペリカンでない
事実8: もし「その研究所は設置すけれど活用し易くない」ということは嘘であるとしたらその爪側は活用し易い
事実9: もしも「その爪側は設置すらない」ということは確かだとしたらその研究所は発生し難くてかつ退色し易い
事実10: もし決め難い物は実勢でないならば「それは真っ黒くない」ということは確かだ
事実11: もしその爪側が決め難くて更にそれが実勢だとしたらそれは真っ黒くない

仮説: その研究所は発生し難くて更に退色し易い
1. 事実1と事実3から、推論1: "「その爪側は決め難いけど実勢でない」ということは正しい"が導かれる
2. 事実10から、推論2: "もし仮にその爪側が決め難い一方でそれが実勢でないとすれば真っ黒くない"が導かれる
3. 推論1と推論2から、推論3: "その爪側は真っ黒くない"が導かれる
4. 推論3と事実2から、仮説が否定される

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