「「もし仮に「着物姿だしおまけに見え易くない」ということは正しくないなら真っ暗くない」ものはある」ということは成り立たない
fact1: もし「なにがしかのものは着物姿である一方で見え易くない」ということは成り立たないとするとそれは真っ暗くない
fact1 -> int1: 仮に「あの組織形成は着物姿である一方で見え易くない」ということは成り立たないならそれは真っ暗くない; int1 -> hypothesis;
$facts$ = fact1: もし「なにがしかのものは着物姿である一方で見え易くない」ということは成り立たないとするとそれは真っ暗くない ; $hypothesis$ = 「「もし仮に「着物姿だしおまけに見え易くない」ということは正しくないなら真っ暗くない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮に「あの組織形成は着物姿である一方で見え易くない」ということは成り立たないならそれは真っ暗くない; int1 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは着物姿である一方で見え易くない」ということは成り立たないとするとそれは真っ暗くない

仮説: 「「もし仮に「着物姿だしおまけに見え易くない」ということは正しくないなら真っ暗くない」ものはある」ということは成り立たない
1. 事実1から、推論1: "仮に「あの組織形成は着物姿である一方で見え易くない」ということは成り立たないならそれは真っ暗くない"が導かれる
2. 推論1から、仮説が否定される

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