「「あの白道は慰謝料請求権でないけどそれは図々しい」ということは成り立たない」ということは確かだ
fact1: 仮に「この仏教系は宿さない」ということは成り立つとしたら「あの白道は慰謝料請求権であるということはないが図々しい」ということは嘘だ fact2: この製造年は宿さない fact3: この仏教系は宿さない
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「この仏教系は宿さない」ということは成り立つとしたら「あの白道は慰謝料請求権であるということはないが図々しい」ということは嘘だ fact2: この製造年は宿さない fact3: この仏教系は宿さない ; $hypothesis$ = 「「あの白道は慰謝料請求権でないけどそれは図々しい」ということは成り立たない」ということは確かだ ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「この仏教系は宿さない」ということは成り立つとしたら「あの白道は慰謝料請求権であるということはないが図々しい」ということは嘘だ
事実2: この製造年は宿さない
事実3: この仏教系は宿さない

仮説: 「「あの白道は慰謝料請求権でないけどそれは図々しい」ということは成り立たない」ということは確かだ
1. 事実1と事実3から、仮説が導かれる

よって、仮説が証明されました。