その昨年度は借り出す
fact1: もし何らかのものが弱まるならそれは貧しいか重視するということはないかもしくはどちらもだ fact2: あの破滅願望は重視しない fact3: 「その昨年度が重視しないとするとその昨年度は借り出すけど程近くない」ということは成り立つ fact4: その昨年度は重視しない fact5: もしもこの金融監督・管理が徹夜だということはないとしたら重視するしまた歌舞伎っぽいということはない
fact3 & fact4 -> int1: その昨年度は借り出すけど程近くない; int1 -> hypothesis;
その昨年度は借り出さない
fact6 -> int2: あの左肺が弱まるとするとそれは貧しいかあるいはそれは重視しない;
$facts$ = fact1: もし何らかのものが弱まるならそれは貧しいか重視するということはないかもしくはどちらもだ fact2: あの破滅願望は重視しない fact3: 「その昨年度が重視しないとするとその昨年度は借り出すけど程近くない」ということは成り立つ fact4: その昨年度は重視しない fact5: もしもこの金融監督・管理が徹夜だということはないとしたら重視するしまた歌舞伎っぽいということはない ; $hypothesis$ = その昨年度は借り出す ; $proof$ = 
fact3 & fact4 -> int1: その昨年度は借り出すけど程近くない; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものが弱まるならそれは貧しいか重視するということはないかもしくはどちらもだ
事実2: あの破滅願望は重視しない
事実3: 「その昨年度が重視しないとするとその昨年度は借り出すけど程近くない」ということは成り立つ
事実4: その昨年度は重視しない
事実5: もしもこの金融監督・管理が徹夜だということはないとしたら重視するしまた歌舞伎っぽいということはない

仮説: その昨年度は借り出す
1. 事実3と事実4から、推論1: "その昨年度は借り出すけど程近くない"が導かれる
2. 推論1から、仮説が導かれる

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