もしこの御師匠が失念しないけど統一するならその生元素は対局しない
fact1: この御師匠は対局する fact2: 「この御師匠は対局しないがしかし統一する」ということは間違っている fact3: もしその生元素は対局するとすると「この御師匠は失念するし更に統一する」ということは偽だ fact4: この御師匠は失念しない fact5: この御師匠が失念するしさらに統一するとしたらその生元素は対局しない fact6: もしもその生元素は対局するとしたら「この御師匠は失念しない一方で統一する」ということは成り立たない fact7: もしもその生元素は失念するなら「この御師匠は対局しないけど統一する」ということは誤りだ fact8: この御師匠が失念するということはないけど統一するとするとその生元素は対局する fact9: もしその生元素が対局するとすればこの御師匠は失念しないがしかし統一する fact10: 「この御師匠は失念するしさらにそれは統一する」ということは正しくない fact11: 「この御師匠は失念しないけどそれは対局する」ということは確かである
void -> assump1: 以下のように仮定する。その生元素は対局する; fact6 & assump1 -> int1: 「「この御師匠は失念しない一方で統一する」ということは事実である」ということは間違いである; void -> assump2: 以下のように仮定する。この御師匠は失念しないけれど統一する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その生元素は対局しない; [assump2] & int3 -> hypothesis;
$facts$ = fact1: この御師匠は対局する fact2: 「この御師匠は対局しないがしかし統一する」ということは間違っている fact3: もしその生元素は対局するとすると「この御師匠は失念するし更に統一する」ということは偽だ fact4: この御師匠は失念しない fact5: この御師匠が失念するしさらに統一するとしたらその生元素は対局しない fact6: もしもその生元素は対局するとしたら「この御師匠は失念しない一方で統一する」ということは成り立たない fact7: もしもその生元素は失念するなら「この御師匠は対局しないけど統一する」ということは誤りだ fact8: この御師匠が失念するということはないけど統一するとするとその生元素は対局する fact9: もしその生元素が対局するとすればこの御師匠は失念しないがしかし統一する fact10: 「この御師匠は失念するしさらにそれは統一する」ということは正しくない fact11: 「この御師匠は失念しないけどそれは対局する」ということは確かである ; $hypothesis$ = もしこの御師匠が失念しないけど統一するならその生元素は対局しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その生元素は対局する; fact6 & assump1 -> int1: 「「この御師匠は失念しない一方で統一する」ということは事実である」ということは間違いである; void -> assump2: 以下のように仮定する。この御師匠は失念しないけれど統一する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その生元素は対局しない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: この御師匠は対局する
事実2: 「この御師匠は対局しないがしかし統一する」ということは間違っている
事実3: もしその生元素は対局するとすると「この御師匠は失念するし更に統一する」ということは偽だ
事実4: この御師匠は失念しない
事実5: この御師匠が失念するしさらに統一するとしたらその生元素は対局しない
事実6: もしもその生元素は対局するとしたら「この御師匠は失念しない一方で統一する」ということは成り立たない
事実7: もしもその生元素は失念するなら「この御師匠は対局しないけど統一する」ということは誤りだ
事実8: この御師匠が失念するということはないけど統一するとするとその生元素は対局する
事実9: もしその生元素が対局するとすればこの御師匠は失念しないがしかし統一する
事実10: 「この御師匠は失念するしさらにそれは統一する」ということは正しくない
事実11: 「この御師匠は失念しないけどそれは対局する」ということは確かである

仮説: もしこの御師匠が失念しないけど統一するならその生元素は対局しない
1. 仮定1: 以下のように仮定する。その生元素は対局する
2. 事実6と仮定1から、推論1: "「「この御師匠は失念しない一方で統一する」ということは事実である」ということは間違いである"が導かれる
3. 仮定2: 以下のように仮定する。この御師匠は失念しないけれど統一する
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その生元素は対局しない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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