その通院回数は分解され難くない
fact1: 仮に「「液相であるか異動しない」ということは嘘である」ものがあるとするとその通院回数は分解され難くない fact2: 「「「あの蔵造りは液相であるかあるいは異動しないかまたは両方ともだ」ということは成り立つ」ということは誤っている」ということは成り立つ fact3: 「もしその通院回数がすんごいとするとこの反グローバリゼーションはインプラント手術でなくて分解され難くない」ということは事実と異ならない
fact2 -> int1: 「「液相であるか異動するということはない」ということは確かでない」ものはある; int1 & fact1 -> hypothesis;
この反グローバリゼーションは分解され難くない
$facts$ = fact1: 仮に「「液相であるか異動しない」ということは嘘である」ものがあるとするとその通院回数は分解され難くない fact2: 「「「あの蔵造りは液相であるかあるいは異動しないかまたは両方ともだ」ということは成り立つ」ということは誤っている」ということは成り立つ fact3: 「もしその通院回数がすんごいとするとこの反グローバリゼーションはインプラント手術でなくて分解され難くない」ということは事実と異ならない ; $hypothesis$ = その通院回数は分解され難くない ; $proof$ = 
fact2 -> int1: 「「液相であるか異動するということはない」ということは確かでない」ものはある; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「「液相であるか異動しない」ということは嘘である」ものがあるとするとその通院回数は分解され難くない
事実2: 「「「あの蔵造りは液相であるかあるいは異動しないかまたは両方ともだ」ということは成り立つ」ということは誤っている」ということは成り立つ
事実3: 「もしその通院回数がすんごいとするとこの反グローバリゼーションはインプラント手術でなくて分解され難くない」ということは事実と異ならない

仮説: その通院回数は分解され難くない
1. 事実2から、推論1: "「「液相であるか異動するということはない」ということは確かでない」ものはある"が導かれる
2. 推論1と事実1から、仮説が導かれる

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