もしも「この木活動は利用し辛くない」ということは本当であるとしたら「この言霊は悪ししさらにそれは耐う」ということは誤っている
fact1: この木活動は利用し辛いならば「この言霊は悪しし耐う」ということは本当でない fact2: 仮にこの木活動は穿鑿しないとすると「この言霊は悪ししかつ耐う」ということは誤りである fact3: このＭＩＤＩデータは利用し辛い fact4: この言霊は耐うがそれは利用し辛くない fact5: 「この木活動は穿鑿するし利用し辛い」ということは誤りである fact6: この木活動が穿鑿しないかまたは耐うないか両方ともならこの言霊は穿鑿するということはない fact7: 仮にこの木活動が利用し辛くないとするとこの言霊は悪ししおまけに耐う fact8: この木活動は悪しが耳孔でない fact9: 仮にとある物が耐うないとしたらそれは利用し辛くて穿鑿する fact10: 「この木活動は穿鑿するがしかし利用し辛くない」ということは間違っている fact11: 仮にこの木活動が小汚いならばそのマシーンは小汚い
void -> assump2: 以下のように仮定する。この木活動は穿鑿する; void -> assump1: 以下のように仮定する。この木活動は利用し辛くない; assump2 & assump1 -> int1: この木活動は穿鑿する一方で利用し辛いということはない; int1 & fact10 -> int2: これは矛盾である; [assump2] & int2 -> int3: この木活動は穿鑿するということはない; int3 & fact2 -> int4: 「この言霊は悪しし加えて耐う」ということは間違いである; [assump1] & int4 -> hypothesis;
そのマシーンは利用し辛い
fact13 -> int5: そのマシーンが耐うということはないとしたらそれは利用し辛くて更にそれは穿鑿する;
$facts$ = fact1: この木活動は利用し辛いならば「この言霊は悪しし耐う」ということは本当でない fact2: 仮にこの木活動は穿鑿しないとすると「この言霊は悪ししかつ耐う」ということは誤りである fact3: このＭＩＤＩデータは利用し辛い fact4: この言霊は耐うがそれは利用し辛くない fact5: 「この木活動は穿鑿するし利用し辛い」ということは誤りである fact6: この木活動が穿鑿しないかまたは耐うないか両方ともならこの言霊は穿鑿するということはない fact7: 仮にこの木活動が利用し辛くないとするとこの言霊は悪ししおまけに耐う fact8: この木活動は悪しが耳孔でない fact9: 仮にとある物が耐うないとしたらそれは利用し辛くて穿鑿する fact10: 「この木活動は穿鑿するがしかし利用し辛くない」ということは間違っている fact11: 仮にこの木活動が小汚いならばそのマシーンは小汚い ; $hypothesis$ = もしも「この木活動は利用し辛くない」ということは本当であるとしたら「この言霊は悪ししさらにそれは耐う」ということは誤っている ; $proof$ = 
void -> assump2: 以下のように仮定する。この木活動は穿鑿する; void -> assump1: 以下のように仮定する。この木活動は利用し辛くない; assump2 & assump1 -> int1: この木活動は穿鑿する一方で利用し辛いということはない; int1 & fact10 -> int2: これは矛盾である; [assump2] & int2 -> int3: この木活動は穿鑿するということはない; int3 & fact2 -> int4: 「この言霊は悪しし加えて耐う」ということは間違いである; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この木活動は利用し辛いならば「この言霊は悪しし耐う」ということは本当でない
事実2: 仮にこの木活動は穿鑿しないとすると「この言霊は悪ししかつ耐う」ということは誤りである
事実3: このＭＩＤＩデータは利用し辛い
事実4: この言霊は耐うがそれは利用し辛くない
事実5: 「この木活動は穿鑿するし利用し辛い」ということは誤りである
事実6: この木活動が穿鑿しないかまたは耐うないか両方ともならこの言霊は穿鑿するということはない
事実7: 仮にこの木活動が利用し辛くないとするとこの言霊は悪ししおまけに耐う
事実8: この木活動は悪しが耳孔でない
事実9: 仮にとある物が耐うないとしたらそれは利用し辛くて穿鑿する
事実10: 「この木活動は穿鑿するがしかし利用し辛くない」ということは間違っている
事実11: 仮にこの木活動が小汚いならばそのマシーンは小汚い

仮説: もしも「この木活動は利用し辛くない」ということは本当であるとしたら「この言霊は悪ししさらにそれは耐う」ということは誤っている
1. 仮定2: 以下のように仮定する。この木活動は穿鑿する
2. 仮定1: 以下のように仮定する。この木活動は利用し辛くない
3. 仮定2と仮定1から、推論1: "この木活動は穿鑿する一方で利用し辛いということはない"が導かれる
4. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この木活動は穿鑿するということはない"が導かれる
6. 推論3と事実2から、推論4: "「この言霊は悪しし加えて耐う」ということは間違いである"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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