あの利用目的は消え行く
fact1: もし仮に傷付け易い物があるとしたらあの利用目的は消え行くし加えて燃え広がる fact2: 「その環境関連法は血腥くなくてそれは続けるということはない」ということは間違いであるとすればそのメタルは血腥くない fact3: 仮に何かは荘園公領でないとすると「血腥くないし続けるということはない」ということは間違いだ fact4: 仮に「「あの利用目的は続けるしまた血腥い」ということは本当だ」ということは成り立たないなら燃え広がるということはない fact5: そのメタルが血腥くないとしたらあの空気混入は燃え広がらないしその上それは傷付け易くない fact6: 仮になにかは傷付け易いとしたらあの利用目的は燃え広がる fact7: 傷付け易い物はある
fact7 & fact1 -> int1: あの利用目的は消え行くしかつ燃え広がる; int1 -> hypothesis;
fact7 & fact1 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
あのＯＭＢは老朽する
$facts$ = fact1: もし仮に傷付け易い物があるとしたらあの利用目的は消え行くし加えて燃え広がる fact2: 「その環境関連法は血腥くなくてそれは続けるということはない」ということは間違いであるとすればそのメタルは血腥くない fact3: 仮に何かは荘園公領でないとすると「血腥くないし続けるということはない」ということは間違いだ fact4: 仮に「「あの利用目的は続けるしまた血腥い」ということは本当だ」ということは成り立たないなら燃え広がるということはない fact5: そのメタルが血腥くないとしたらあの空気混入は燃え広がらないしその上それは傷付け易くない fact6: 仮になにかは傷付け易いとしたらあの利用目的は燃え広がる fact7: 傷付け易い物はある ; $hypothesis$ = あの利用目的は消え行く ; $proof$ = 
fact7 & fact1 -> int1: あの利用目的は消え行くしかつ燃え広がる; int1 -> hypothesis; __PROVED__
事実1: もし仮に傷付け易い物があるとしたらあの利用目的は消え行くし加えて燃え広がる
事実2: 「その環境関連法は血腥くなくてそれは続けるということはない」ということは間違いであるとすればそのメタルは血腥くない
事実3: 仮に何かは荘園公領でないとすると「血腥くないし続けるということはない」ということは間違いだ
事実4: 仮に「「あの利用目的は続けるしまた血腥い」ということは本当だ」ということは成り立たないなら燃え広がるということはない
事実5: そのメタルが血腥くないとしたらあの空気混入は燃え広がらないしその上それは傷付け易くない
事実6: 仮になにかは傷付け易いとしたらあの利用目的は燃え広がる
事実7: 傷付け易い物はある

仮説: あの利用目的は消え行く
1. 事実7と事実1から、推論1: "あの利用目的は消え行くしかつ燃え広がる"が導かれる
2. 推論1から、仮説が導かれる

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