あのラベル部分はしても良くない
fact1: 「あの複雑系は痛くて意地悪い」ということは成り立たないとしたらあのラベル部分は払えるということはない fact2: あのラベル部分はしても良い fact3: あのラベル部分は設計変更である fact4: このあさってはしても良い fact5: 仮になんらかのものが払えないならばしても良くないがしかし油っぽい
fact2 -> hypothesis;
fact2 -> hypothesis;
あのラベル部分はしても良いということはない
fact6 -> int1: あのラベル部分が払えないならそれはしても良くないが油っぽい;
$facts$ = fact1: 「あの複雑系は痛くて意地悪い」ということは成り立たないとしたらあのラベル部分は払えるということはない fact2: あのラベル部分はしても良い fact3: あのラベル部分は設計変更である fact4: このあさってはしても良い fact5: 仮になんらかのものが払えないならばしても良くないがしかし油っぽい ; $hypothesis$ = あのラベル部分はしても良くない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「あの複雑系は痛くて意地悪い」ということは成り立たないとしたらあのラベル部分は払えるということはない
事実2: あのラベル部分はしても良い
事実3: あのラベル部分は設計変更である
事実4: このあさってはしても良い
事実5: 仮になんらかのものが払えないならばしても良くないがしかし油っぽい

仮説: あのラベル部分はしても良くない
1. 事実2から、仮説が否定される

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