あの収得税は隠し続けない
fact1: 仮に「あの化学物質名は逆戻りである」ということは成り立つとするとあの収得税は隠し続けるということはない fact2: もし仮になにがしかの物が色褪せるとしたらそれは着せがましい fact3: もしも「この醵金は藻塩製塩だ」ということは確かならばあの化学物質名は逆戻りだ fact4: あの化学物質名は色褪せる fact5: 逆戻りは藻塩製塩でないしそれに隠し続けない fact6: 仮にこの醵金が着せがましいとしたら死守する fact7: 仮に「あの化学物質名は地区住民である」ということは確かであるならこの醵金は着せがましいけれど色褪せない fact8: 仮にあの化学物質名は着せがましいとしたら「この醵金は着せがましいということはない」ということは成り立たない fact9: この醵金は藻塩製塩であるかあるいは調べ易いということはない fact10: この醵金は逆戻りでない fact11: あの化学物質名は地区住民だ fact12: 仮に何らかのものがマッチングするということはないならばそれは逆戻りであるしさらにそれは隠し続ける fact13: もし仮にこの醵金が藻塩製塩であるかあるいはそれが調べ易くないかあるいはどちらもであるとしたらあの化学物質名は逆戻りだ
fact13 & fact9 -> int1: あの化学物質名は逆戻りだ; int1 & fact1 -> hypothesis;
fact13 & fact9 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
そのＵＴＦは藻塩製塩だということはない
fact17 -> int2: もしもそのＵＴＦは逆戻りであるならば藻塩製塩でないしさらに隠し続けない; fact15 -> int3: あの化学物質名が色褪せるとすると着せがましい; int3 & fact16 -> int4: あの化学物質名は着せがましい; fact14 & int4 -> int5: この醵金は着せがましい; fact18 & int5 -> int6: この醵金は死守する; int6 -> int7: 「「死守する」ということは成り立つ」ものはある;
$facts$ = fact1: 仮に「あの化学物質名は逆戻りである」ということは成り立つとするとあの収得税は隠し続けるということはない fact2: もし仮になにがしかの物が色褪せるとしたらそれは着せがましい fact3: もしも「この醵金は藻塩製塩だ」ということは確かならばあの化学物質名は逆戻りだ fact4: あの化学物質名は色褪せる fact5: 逆戻りは藻塩製塩でないしそれに隠し続けない fact6: 仮にこの醵金が着せがましいとしたら死守する fact7: 仮に「あの化学物質名は地区住民である」ということは確かであるならこの醵金は着せがましいけれど色褪せない fact8: 仮にあの化学物質名は着せがましいとしたら「この醵金は着せがましいということはない」ということは成り立たない fact9: この醵金は藻塩製塩であるかあるいは調べ易いということはない fact10: この醵金は逆戻りでない fact11: あの化学物質名は地区住民だ fact12: 仮に何らかのものがマッチングするということはないならばそれは逆戻りであるしさらにそれは隠し続ける fact13: もし仮にこの醵金が藻塩製塩であるかあるいはそれが調べ易くないかあるいはどちらもであるとしたらあの化学物質名は逆戻りだ ; $hypothesis$ = あの収得税は隠し続けない ; $proof$ = 
fact13 & fact9 -> int1: あの化学物質名は逆戻りだ; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの化学物質名は逆戻りである」ということは成り立つとするとあの収得税は隠し続けるということはない
事実2: もし仮になにがしかの物が色褪せるとしたらそれは着せがましい
事実3: もしも「この醵金は藻塩製塩だ」ということは確かならばあの化学物質名は逆戻りだ
事実4: あの化学物質名は色褪せる
事実5: 逆戻りは藻塩製塩でないしそれに隠し続けない
事実6: 仮にこの醵金が着せがましいとしたら死守する
事実7: 仮に「あの化学物質名は地区住民である」ということは確かであるならこの醵金は着せがましいけれど色褪せない
事実8: 仮にあの化学物質名は着せがましいとしたら「この醵金は着せがましいということはない」ということは成り立たない
事実9: この醵金は藻塩製塩であるかあるいは調べ易いということはない
事実10: この醵金は逆戻りでない
事実11: あの化学物質名は地区住民だ
事実12: 仮に何らかのものがマッチングするということはないならばそれは逆戻りであるしさらにそれは隠し続ける
事実13: もし仮にこの醵金が藻塩製塩であるかあるいはそれが調べ易くないかあるいはどちらもであるとしたらあの化学物質名は逆戻りだ

仮説: あの収得税は隠し続けない
1. 事実13と事実9から、推論1: "あの化学物質名は逆戻りだ"が導かれる
2. 推論1と事実1から、仮説が導かれる

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