その電子体温計は他産地であるがしかしそれは造語しない
fact1: もしも「その修飾は資本移動である」ということは本当であるとすればその電子体温計は年でない fact2: 仮になんらかの物が補強しないとすると年であるし資本移動だ fact3: その修飾は資本移動である fact4: その修飾は他産地である fact5: もしある物は資本移動であるとしたら「他産地だ一方で造語しない」ということは嘘だ fact6: もしも「その電子体温計は他産地だ一方で造語しない」ということは嘘であるなら「それは年でない」ということは事実でない fact7: その修飾は年でない fact8: もし仮にその修飾が年であるが補強しないとするとその電子体温計は資本移動である fact9: もしもその電子体温計が造語すれば年である
void -> assump1: 以下のように仮定する。「その電子体温計は他産地だが造語しない」ということは間違っている; fact6 & assump1 -> int1: その電子体温計は年である; fact1 & fact3 -> int2: 「その電子体温計は年でない」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その生物界は資本移動だ
fact10 -> int4: もし仮にその生物界が補強しないならばそれは年であるしそれに資本移動だ;
$facts$ = fact1: もしも「その修飾は資本移動である」ということは本当であるとすればその電子体温計は年でない fact2: 仮になんらかの物が補強しないとすると年であるし資本移動だ fact3: その修飾は資本移動である fact4: その修飾は他産地である fact5: もしある物は資本移動であるとしたら「他産地だ一方で造語しない」ということは嘘だ fact6: もしも「その電子体温計は他産地だ一方で造語しない」ということは嘘であるなら「それは年でない」ということは事実でない fact7: その修飾は年でない fact8: もし仮にその修飾が年であるが補強しないとするとその電子体温計は資本移動である fact9: もしもその電子体温計が造語すれば年である ; $hypothesis$ = その電子体温計は他産地であるがしかしそれは造語しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その電子体温計は他産地だが造語しない」ということは間違っている; fact6 & assump1 -> int1: その電子体温計は年である; fact1 & fact3 -> int2: 「その電子体温計は年でない」ということは本当である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「その修飾は資本移動である」ということは本当であるとすればその電子体温計は年でない
事実2: 仮になんらかの物が補強しないとすると年であるし資本移動だ
事実3: その修飾は資本移動である
事実4: その修飾は他産地である
事実5: もしある物は資本移動であるとしたら「他産地だ一方で造語しない」ということは嘘だ
事実6: もしも「その電子体温計は他産地だ一方で造語しない」ということは嘘であるなら「それは年でない」ということは事実でない
事実7: その修飾は年でない
事実8: もし仮にその修飾が年であるが補強しないとするとその電子体温計は資本移動である
事実9: もしもその電子体温計が造語すれば年である

仮説: その電子体温計は他産地であるがしかしそれは造語しない
1. 仮定1: 以下のように仮定する。「その電子体温計は他産地だが造語しない」ということは間違っている
2. 事実6と仮定1から、推論1: "その電子体温計は年である"が導かれる
3. 事実1と事実3から、推論2: "「その電子体温計は年でない」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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