「「もしも着手し始めるということはなくてまた著しかないとすると「痛い」ということは確かである」物はある」ということは成り立たない
fact1: 「着手し始めるということはなくて更に著しいとすれば「痛い」ということは確かな」ものはある fact2: もしもあの治安判事が父親らしいということはないけどそれが痛いとすればそれは思い出深い fact3: 仮にそのボディカラーは着手し始めないし更に著しいということはないとするとそれは痛い fact4: もしそのボディカラーが着手し始める一方でそれが著しかないとするとそれは痛い
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「着手し始めるということはなくて更に著しいとすれば「痛い」ということは確かな」ものはある fact2: もしもあの治安判事が父親らしいということはないけどそれが痛いとすればそれは思い出深い fact3: 仮にそのボディカラーは着手し始めないし更に著しいということはないとするとそれは痛い fact4: もしそのボディカラーが着手し始める一方でそれが著しかないとするとそれは痛い ; $hypothesis$ = 「「もしも着手し始めるということはなくてまた著しかないとすると「痛い」ということは確かである」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「着手し始めるということはなくて更に著しいとすれば「痛い」ということは確かな」ものはある
事実2: もしもあの治安判事が父親らしいということはないけどそれが痛いとすればそれは思い出深い
事実3: 仮にそのボディカラーは着手し始めないし更に著しいということはないとするとそれは痛い
事実4: もしそのボディカラーが着手し始める一方でそれが著しかないとするとそれは痛い

仮説: 「「もしも着手し始めるということはなくてまた著しかないとすると「痛い」ということは確かである」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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