この放火小説は鉱業でない
fact1: 「その御支援はせせこましい」ということは成り立つ fact2: 「せせこましいし処理す」物はあるとすれば「この放火小説は鉱業でない」ということは成り立つ fact3: この大盤振る舞いは内部監査部門等でないとしたらそれは鉱業であるしまたせせこましい fact4: 「せせこましい」ものはある fact5: その御支援はせせこましいしそれは処理す fact6: もし仮にこの放火小説は砂糖漬けでないとすると「それは内部監査部門等であるし操作し易い」ということは間違っている fact7: その御支援は鉱業であるしかつせせこましい fact8: 何らかの物は目立つ fact9: もし仮になにがしかのものが処理すらないとするとそれは鉱業でかつせせこましい
fact5 -> int1: 何らかのものはせせこましくてかつ処理す; int1 & fact2 -> hypothesis;
この放火小説は鉱業だ
fact10 -> int2: 「仮にこの放火小説が処理すらないとするとこの放火小説は鉱業であるしその上せせこましい」ということは正しい;
$facts$ = fact1: 「その御支援はせせこましい」ということは成り立つ fact2: 「せせこましいし処理す」物はあるとすれば「この放火小説は鉱業でない」ということは成り立つ fact3: この大盤振る舞いは内部監査部門等でないとしたらそれは鉱業であるしまたせせこましい fact4: 「せせこましい」ものはある fact5: その御支援はせせこましいしそれは処理す fact6: もし仮にこの放火小説は砂糖漬けでないとすると「それは内部監査部門等であるし操作し易い」ということは間違っている fact7: その御支援は鉱業であるしかつせせこましい fact8: 何らかの物は目立つ fact9: もし仮になにがしかのものが処理すらないとするとそれは鉱業でかつせせこましい ; $hypothesis$ = この放火小説は鉱業でない ; $proof$ = 
fact5 -> int1: 何らかのものはせせこましくてかつ処理す; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「その御支援はせせこましい」ということは成り立つ
事実2: 「せせこましいし処理す」物はあるとすれば「この放火小説は鉱業でない」ということは成り立つ
事実3: この大盤振る舞いは内部監査部門等でないとしたらそれは鉱業であるしまたせせこましい
事実4: 「せせこましい」ものはある
事実5: その御支援はせせこましいしそれは処理す
事実6: もし仮にこの放火小説は砂糖漬けでないとすると「それは内部監査部門等であるし操作し易い」ということは間違っている
事実7: その御支援は鉱業であるしかつせせこましい
事実8: 何らかの物は目立つ
事実9: もし仮になにがしかのものが処理すらないとするとそれは鉱業でかつせせこましい

仮説: この放火小説は鉱業でない
1. 事実5から、推論1: "何らかのものはせせこましくてかつ処理す"が導かれる
2. 推論1と事実2から、仮説が導かれる

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