あの手術内容は老いる
fact1: あの手術内容が腹立たしいけれどそれは少年司法であるということはないならばそれは老いない fact2: 「あの手術内容は忌避する」ということは本当だ fact3: あの手術内容は腹立たしいししかも少年司法であるならそれは老いない fact4: その色模様は腹立たしいけれど喋り難くない fact5: あの手術内容は腹立たしい一方で少年司法でない fact6: 「あの手術内容はＩＦＯであるがそれは老いない」ということは誤っているならその貴顕は腹立たしくらない fact7: 仮にとあるものはＲＣＣであるということはないとしたら老いるしかつＩＦＯだ
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
あの手術内容は老いる
fact8 -> int1: もしあの手術内容はＲＣＣでないとするとそれは老いるしおまけにＩＦＯだ;
$facts$ = fact1: あの手術内容が腹立たしいけれどそれは少年司法であるということはないならばそれは老いない fact2: 「あの手術内容は忌避する」ということは本当だ fact3: あの手術内容は腹立たしいししかも少年司法であるならそれは老いない fact4: その色模様は腹立たしいけれど喋り難くない fact5: あの手術内容は腹立たしい一方で少年司法でない fact6: 「あの手術内容はＩＦＯであるがそれは老いない」ということは誤っているならその貴顕は腹立たしくらない fact7: 仮にとあるものはＲＣＣであるということはないとしたら老いるしかつＩＦＯだ ; $hypothesis$ = あの手術内容は老いる ; $proof$ = 
fact1 & fact5 -> hypothesis; __DISPROVED__
事実1: あの手術内容が腹立たしいけれどそれは少年司法であるということはないならばそれは老いない
事実2: 「あの手術内容は忌避する」ということは本当だ
事実3: あの手術内容は腹立たしいししかも少年司法であるならそれは老いない
事実4: その色模様は腹立たしいけれど喋り難くない
事実5: あの手術内容は腹立たしい一方で少年司法でない
事実6: 「あの手術内容はＩＦＯであるがそれは老いない」ということは誤っているならその貴顕は腹立たしくらない
事実7: 仮にとあるものはＲＣＣであるということはないとしたら老いるしかつＩＦＯだ

仮説: あの手術内容は老いる
1. 事実1と事実5から、仮説が否定される

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