「その温健中庸は倍加するしその上肉骨粉である」ということは成り立たない
fact1: あの画工はワゴンだとしたら「それは肉骨粉だ」ということは嘘でない fact2: 仮に何かは寄付者でないとしたらその温健中庸はワゴンである fact3: 「何かは寄付者であるけれどワゴンでない」ということは本当だ fact4: 「「寄付者だ一方でワゴンでない」ということは本当でない」物はある fact5: もし仮にその市民参加型生涯学習システムは考え易いとしたら「その温健中庸は倍加する」ということは真実だ fact6: 「「「寄付者だけれどワゴンでない」ということは成り立つ」ということは嘘な」ものがあるとするとその温健中庸はワゴンだ fact7: 何もかもは考え易い fact8: もし仮になにがしかのものは考え易いなら「決め難いがしかし生命誕生でない」ということは嘘だ fact9: もしもある物はワゴンであるとしたらそれは肉骨粉だ
fact7 -> int1: その市民参加型生涯学習システムは考え易い; int1 & fact5 -> int2: その温健中庸は倍加する; fact9 -> int3: もしも「その温健中庸はワゴンである」ということは成り立つとしたら肉骨粉だ; fact4 & fact6 -> int4: その温健中庸はワゴンだ; int3 & int4 -> int5: その温健中庸は肉骨粉である; int2 & int5 -> hypothesis;
「「決め難いけれど生命誕生だということはない」ということは成り立たない」ものはある
fact10 -> int6: もしもその温健中庸は考え易いとすれば「それは決め難いしかつそれは生命誕生でない」ということは事実と異なる;
$facts$ = fact1: あの画工はワゴンだとしたら「それは肉骨粉だ」ということは嘘でない fact2: 仮に何かは寄付者でないとしたらその温健中庸はワゴンである fact3: 「何かは寄付者であるけれどワゴンでない」ということは本当だ fact4: 「「寄付者だ一方でワゴンでない」ということは本当でない」物はある fact5: もし仮にその市民参加型生涯学習システムは考え易いとしたら「その温健中庸は倍加する」ということは真実だ fact6: 「「「寄付者だけれどワゴンでない」ということは成り立つ」ということは嘘な」ものがあるとするとその温健中庸はワゴンだ fact7: 何もかもは考え易い fact8: もし仮になにがしかのものは考え易いなら「決め難いがしかし生命誕生でない」ということは嘘だ fact9: もしもある物はワゴンであるとしたらそれは肉骨粉だ ; $hypothesis$ = 「その温健中庸は倍加するしその上肉骨粉である」ということは成り立たない ; $proof$ = 
fact7 -> int1: その市民参加型生涯学習システムは考え易い; int1 & fact5 -> int2: その温健中庸は倍加する; fact9 -> int3: もしも「その温健中庸はワゴンである」ということは成り立つとしたら肉骨粉だ; fact4 & fact6 -> int4: その温健中庸はワゴンだ; int3 & int4 -> int5: その温健中庸は肉骨粉である; int2 & int5 -> hypothesis; __DISPROVED__
事実1: あの画工はワゴンだとしたら「それは肉骨粉だ」ということは嘘でない
事実2: 仮に何かは寄付者でないとしたらその温健中庸はワゴンである
事実3: 「何かは寄付者であるけれどワゴンでない」ということは本当だ
事実4: 「「寄付者だ一方でワゴンでない」ということは本当でない」物はある
事実5: もし仮にその市民参加型生涯学習システムは考え易いとしたら「その温健中庸は倍加する」ということは真実だ
事実6: 「「「寄付者だけれどワゴンでない」ということは成り立つ」ということは嘘な」ものがあるとするとその温健中庸はワゴンだ
事実7: 何もかもは考え易い
事実8: もし仮になにがしかのものは考え易いなら「決め難いがしかし生命誕生でない」ということは嘘だ
事実9: もしもある物はワゴンであるとしたらそれは肉骨粉だ

仮説: 「その温健中庸は倍加するしその上肉骨粉である」ということは成り立たない
1. 事実7から、推論1: "その市民参加型生涯学習システムは考え易い"が導かれる
2. 推論1と事実5から、推論2: "その温健中庸は倍加する"が導かれる
3. 事実9から、推論3: "もしも「その温健中庸はワゴンである」ということは成り立つとしたら肉骨粉だ"が導かれる
4. 事実4と事実6から、推論4: "その温健中庸はワゴンだ"が導かれる
5. 推論3と推論4から、推論5: "その温健中庸は肉骨粉である"が導かれる
6. 推論2と推論5から、仮説が否定される

よって、仮説が否定されました。