あの人格はすっごいがしかしリストラしない
fact1: 「あの人格はすっごいし更にリストラする」ということは偽だ fact2: 馴れ馴れしくないものはすっごいがリストラしない fact3: 仮になんらかの物は馴れ馴れしいということはないとしたら「それは馬買いであるが化けない」ということは成り立たない fact4: すっごいけどリストラしないというものはない
fact4 -> hypothesis;
fact4 -> hypothesis;
あの人格はすっごいけどそれはリストラしない
fact5 -> int1: 「あの人格は馴れ馴れしいということはない」ということは正しいならそれはすっごくてさらにリストラしない;
$facts$ = fact1: 「あの人格はすっごいし更にリストラする」ということは偽だ fact2: 馴れ馴れしくないものはすっごいがリストラしない fact3: 仮になんらかの物は馴れ馴れしいということはないとしたら「それは馬買いであるが化けない」ということは成り立たない fact4: すっごいけどリストラしないというものはない ; $hypothesis$ = あの人格はすっごいがしかしリストラしない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「あの人格はすっごいし更にリストラする」ということは偽だ
事実2: 馴れ馴れしくないものはすっごいがリストラしない
事実3: 仮になんらかの物は馴れ馴れしいということはないとしたら「それは馬買いであるが化けない」ということは成り立たない
事実4: すっごいけどリストラしないというものはない

仮説: あの人格はすっごいがしかしリストラしない
1. 事実4から、仮説が否定される

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