あの家庭生活は損失金処理計算書だ
fact1: この合衆国議会は伸び始めるけれど損失金処理計算書でない fact2: あの家庭生活は卑しい一方で欲深くない fact3: この合衆国議会は伸び始めるけど所有権絶対でない fact4: もしこの合衆国議会が伸び始めるけれど所有権絶対だということはないとするとあの家庭生活は損失金処理計算書である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: この合衆国議会は伸び始めるけれど損失金処理計算書でない fact2: あの家庭生活は卑しい一方で欲深くない fact3: この合衆国議会は伸び始めるけど所有権絶対でない fact4: もしこの合衆国議会が伸び始めるけれど所有権絶対だということはないとするとあの家庭生活は損失金処理計算書である ; $hypothesis$ = あの家庭生活は損失金処理計算書だ ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: この合衆国議会は伸び始めるけれど損失金処理計算書でない
事実2: あの家庭生活は卑しい一方で欲深くない
事実3: この合衆国議会は伸び始めるけど所有権絶対でない
事実4: もしこの合衆国議会が伸び始めるけれど所有権絶対だということはないとするとあの家庭生活は損失金処理計算書である

仮説: あの家庭生活は損失金処理計算書だ
1. 事実4と事実3から、仮説が導かれる

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