この毬藻は怪しい
fact1: なにがしかのものは禁煙法でない fact2: この信奉者は有り難くない fact3: もし「この信奉者は名状し難くない一方で読み落とす」ということは真実でないなら名状し難い fact4: この毬藻は逃れ難い fact5: もしあの脳合併症が有り難くないとするとこの信奉者は逃れ難いが欠勤しない fact6: 「この信奉者は喜ばしかない」ということは成り立つ fact7: もしもこの案内表示は禁煙法でないとすれば「それは逃れ難くないか欠勤するかまたは両方だ」ということは偽である fact8: もし仮に何かは取り払わないならば怪しくないが有り難い fact9: 仮にこの霜柱が腫らさないならばそれは禁煙法であるかまたは逃れ難いかもしくは両方だ fact10: あの脳合併症は禁煙法である fact11: もしもなにがしかのものは逃れ難いならば「欠勤するがしかし取り払わない」ということは嘘だ fact12: もし「なんらかのものは欠勤するが取り払わない」ということは成り立たないならば取り払う fact13: 「訓導でない」物はある fact14: この信奉者は取り払うがしかし欠勤しない fact15: もしあの脳合併症が有り難いとしたらこの霜柱は取り払う fact16: もし「逃れ難いけれど欠勤しない」ものがあるとするとこの毬藻は怪しい fact17: もし「禁煙法でない」物があるとすればこの霜柱は取り払うということはない fact18: もしこの信奉者が期し難いかまたはそれが名状し難いかあるいは両方であるとすればこの霜柱は腫らさない fact19: この信奉者は欠勤しない fact20: もしこの信奉者は喜ばしかないとすると「それは名状し難くないけれど読み落とす」ということは本当でない
void -> assump1: 以下のように仮定する。あの脳合併症は有り難い; fact15 & assump1 -> int1: この霜柱は取り払う; fact17 & fact1 -> int2: この霜柱は取り払わない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの脳合併症は有り難くない; int4 & fact5 -> int5: この信奉者は逃れ難いがしかしそれは欠勤しない; int5 -> int6: 何かは逃れ難いけど欠勤しない; int6 & fact16 -> hypothesis;
この毬藻は怪しくない
fact27 -> int7: 「あの脳合併症は欠勤するが取り払わない」ということは成り立つということはないとすれば取り払う; fact25 -> int8: 「あの脳合併症は逃れ難い」ということは確かだとすれば「それは欠勤する一方で取り払わない」ということは成り立たない; fact22 & fact21 -> int9: 「この信奉者は名状し難くないがしかしそれは読み落とす」ということは成り立たない; fact23 & int9 -> int10: この信奉者は名状し難い; int10 -> int11: この信奉者は期し難いかまたは名状し難い; fact24 & int11 -> int12: この霜柱は腫らさない; fact26 & int12 -> int13: この霜柱は禁煙法であるかもしくは逃れ難いかあるいはどちらもである;
$facts$ = fact1: なにがしかのものは禁煙法でない fact2: この信奉者は有り難くない fact3: もし「この信奉者は名状し難くない一方で読み落とす」ということは真実でないなら名状し難い fact4: この毬藻は逃れ難い fact5: もしあの脳合併症が有り難くないとするとこの信奉者は逃れ難いが欠勤しない fact6: 「この信奉者は喜ばしかない」ということは成り立つ fact7: もしもこの案内表示は禁煙法でないとすれば「それは逃れ難くないか欠勤するかまたは両方だ」ということは偽である fact8: もし仮に何かは取り払わないならば怪しくないが有り難い fact9: 仮にこの霜柱が腫らさないならばそれは禁煙法であるかまたは逃れ難いかもしくは両方だ fact10: あの脳合併症は禁煙法である fact11: もしもなにがしかのものは逃れ難いならば「欠勤するがしかし取り払わない」ということは嘘だ fact12: もし「なんらかのものは欠勤するが取り払わない」ということは成り立たないならば取り払う fact13: 「訓導でない」物はある fact14: この信奉者は取り払うがしかし欠勤しない fact15: もしあの脳合併症が有り難いとしたらこの霜柱は取り払う fact16: もし「逃れ難いけれど欠勤しない」ものがあるとするとこの毬藻は怪しい fact17: もし「禁煙法でない」物があるとすればこの霜柱は取り払うということはない fact18: もしこの信奉者が期し難いかまたはそれが名状し難いかあるいは両方であるとすればこの霜柱は腫らさない fact19: この信奉者は欠勤しない fact20: もしこの信奉者は喜ばしかないとすると「それは名状し難くないけれど読み落とす」ということは本当でない ; $hypothesis$ = この毬藻は怪しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの脳合併症は有り難い; fact15 & assump1 -> int1: この霜柱は取り払う; fact17 & fact1 -> int2: この霜柱は取り払わない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの脳合併症は有り難くない; int4 & fact5 -> int5: この信奉者は逃れ難いがしかしそれは欠勤しない; int5 -> int6: 何かは逃れ難いけど欠勤しない; int6 & fact16 -> hypothesis; __PROVED__
事実1: なにがしかのものは禁煙法でない
事実2: この信奉者は有り難くない
事実3: もし「この信奉者は名状し難くない一方で読み落とす」ということは真実でないなら名状し難い
事実4: この毬藻は逃れ難い
事実5: もしあの脳合併症が有り難くないとするとこの信奉者は逃れ難いが欠勤しない
事実6: 「この信奉者は喜ばしかない」ということは成り立つ
事実7: もしもこの案内表示は禁煙法でないとすれば「それは逃れ難くないか欠勤するかまたは両方だ」ということは偽である
事実8: もし仮に何かは取り払わないならば怪しくないが有り難い
事実9: 仮にこの霜柱が腫らさないならばそれは禁煙法であるかまたは逃れ難いかもしくは両方だ
事実10: あの脳合併症は禁煙法である
事実11: もしもなにがしかのものは逃れ難いならば「欠勤するがしかし取り払わない」ということは嘘だ
事実12: もし「なんらかのものは欠勤するが取り払わない」ということは成り立たないならば取り払う
事実13: 「訓導でない」物はある
事実14: この信奉者は取り払うがしかし欠勤しない
事実15: もしあの脳合併症が有り難いとしたらこの霜柱は取り払う
事実16: もし「逃れ難いけれど欠勤しない」ものがあるとするとこの毬藻は怪しい
事実17: もし「禁煙法でない」物があるとすればこの霜柱は取り払うということはない
事実18: もしこの信奉者が期し難いかまたはそれが名状し難いかあるいは両方であるとすればこの霜柱は腫らさない
事実19: この信奉者は欠勤しない
事実20: もしこの信奉者は喜ばしかないとすると「それは名状し難くないけれど読み落とす」ということは本当でない

仮説: この毬藻は怪しい
1. 仮定1: 以下のように仮定する。あの脳合併症は有り難い
2. 事実15と仮定1から、推論1: "この霜柱は取り払う"が導かれる
3. 事実17と事実1から、推論2: "この霜柱は取り払わない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの脳合併症は有り難くない"が導かれる
6. 推論4と事実5から、推論5: "この信奉者は逃れ難いがしかしそれは欠勤しない"が導かれる
7. 推論5から、推論6: "何かは逃れ難いけど欠勤しない"が導かれる
8. 推論6と事実16から、仮説が導かれる

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