この浄化費用超過保険は衛生検査である
fact1: もし仮に非常措置が共有化しないならそれは衛生検査でない fact2: この消費社会は非常措置である fact3: 仮に「この薄曇りは共有化する」ということは真実ならこの浄化費用超過保険は衛生検査だ fact4: 「もし仮にこの消費社会が非常措置だとすればこの薄曇りは共有化する」ということは間違いでない
fact4 & fact2 -> int1: この薄曇りは共有化する; int1 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
「この浄化費用超過保険は衛生検査でない」ということは成り立つ
fact5 -> int2: もしこの浄化費用超過保険は非常措置である一方で共有化しないとすればそれは衛生検査であるということはない;
$facts$ = fact1: もし仮に非常措置が共有化しないならそれは衛生検査でない fact2: この消費社会は非常措置である fact3: 仮に「この薄曇りは共有化する」ということは真実ならこの浄化費用超過保険は衛生検査だ fact4: 「もし仮にこの消費社会が非常措置だとすればこの薄曇りは共有化する」ということは間違いでない ; $hypothesis$ = この浄化費用超過保険は衛生検査である ; $proof$ = 
fact4 & fact2 -> int1: この薄曇りは共有化する; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に非常措置が共有化しないならそれは衛生検査でない
事実2: この消費社会は非常措置である
事実3: 仮に「この薄曇りは共有化する」ということは真実ならこの浄化費用超過保険は衛生検査だ
事実4: 「もし仮にこの消費社会が非常措置だとすればこの薄曇りは共有化する」ということは間違いでない

仮説: この浄化費用超過保険は衛生検査である
1. 事実4と事実2から、推論1: "この薄曇りは共有化する"が導かれる
2. 推論1と事実3から、仮説が導かれる

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