そのコーディングは御持ちに成る
fact1: もし仮にあの針葉樹は人間論であるとするとそれは作業し易いけれど変容でない fact2: もし仮に何らかのものは青いとしたら「それはＶ字だけれど気色ばまない」ということは間違っている fact3: 人間論は御持ちに成る fact4: そのグリセリンは変容だ fact5: この術前投与が図書館管理だとすればそのグリセリンは共鳴し易い fact6: もし「そのグリセリンはＶ字でなくて加えて気色ばまない」ということは間違っていればそのコーディングは物頭だ fact7: あの針葉樹は人間論だ fact8: あの針葉樹が人間論ならそれは作業し易い fact9: 仮にそのコーディングが渡り切るとすればそれは御持ちに成るということはない fact10: 仮に何らかの物が共鳴し易いとするとそれは青い fact11: あの針葉樹は青いかもしくはそれは作業し易い fact12: もしなにがしかのものは青いならば「Ｖ字でないしおまけにそれは気色ばまない」ということは偽である fact13: もし仮にあの針葉樹が作業し易いけれど変容でないとすればこの術前投与は図書館管理である fact14: 「そのグリセリンはＶ字だ一方で気色ばまない」ということは成り立たない fact15: 「仮にそのグリセリンは青いとすると「そのグリセリンはＶ字でないけれど気色ばむ」ということは誤っている」ということは事実である fact16: もし仮になにがしかのものが物頭であるかあるいはそれが渡り切るとしたらそれは御持ちに成るということはない
fact1 & fact7 -> int1: あの針葉樹は作業し易いがしかし変容でない; int1 & fact13 -> int2: この術前投与は図書館管理だ; int2 & fact5 -> int3: 「そのグリセリンは共鳴し易い」ということは誤りでない; fact10 -> int4: 仮にそのグリセリンが共鳴し易いとすれば青い; int3 & int4 -> int5: そのグリセリンは青い; fact12 -> int6: もしもそのグリセリンは青いとすれば「それはＶ字でなくて気色ばまない」ということは成り立たない; int5 & int6 -> int7: 「そのグリセリンはＶ字でないしそれは気色ばまない」ということは嘘だ; int7 & fact6 -> int8: そのコーディングは物頭だ; int8 -> int9: そのコーディングは物頭であるかまたはそれは渡り切るかまたは両方だ; fact16 -> int10: そのコーディングが物頭であるかそれが渡り切るとすれば御持ちに成らない; int9 & int10 -> hypothesis;
そのコーディングは御持ちに成る
fact17 -> int11: もし仮に「そのコーディングは人間論である」ということは成り立つなら「御持ちに成る」ということは正しい;
$facts$ = fact1: もし仮にあの針葉樹は人間論であるとするとそれは作業し易いけれど変容でない fact2: もし仮に何らかのものは青いとしたら「それはＶ字だけれど気色ばまない」ということは間違っている fact3: 人間論は御持ちに成る fact4: そのグリセリンは変容だ fact5: この術前投与が図書館管理だとすればそのグリセリンは共鳴し易い fact6: もし「そのグリセリンはＶ字でなくて加えて気色ばまない」ということは間違っていればそのコーディングは物頭だ fact7: あの針葉樹は人間論だ fact8: あの針葉樹が人間論ならそれは作業し易い fact9: 仮にそのコーディングが渡り切るとすればそれは御持ちに成るということはない fact10: 仮に何らかの物が共鳴し易いとするとそれは青い fact11: あの針葉樹は青いかもしくはそれは作業し易い fact12: もしなにがしかのものは青いならば「Ｖ字でないしおまけにそれは気色ばまない」ということは偽である fact13: もし仮にあの針葉樹が作業し易いけれど変容でないとすればこの術前投与は図書館管理である fact14: 「そのグリセリンはＶ字だ一方で気色ばまない」ということは成り立たない fact15: 「仮にそのグリセリンは青いとすると「そのグリセリンはＶ字でないけれど気色ばむ」ということは誤っている」ということは事実である fact16: もし仮になにがしかのものが物頭であるかあるいはそれが渡り切るとしたらそれは御持ちに成るということはない ; $hypothesis$ = そのコーディングは御持ちに成る ; $proof$ = 
fact1 & fact7 -> int1: あの針葉樹は作業し易いがしかし変容でない; int1 & fact13 -> int2: この術前投与は図書館管理だ; int2 & fact5 -> int3: 「そのグリセリンは共鳴し易い」ということは誤りでない; fact10 -> int4: 仮にそのグリセリンが共鳴し易いとすれば青い; int3 & int4 -> int5: そのグリセリンは青い; fact12 -> int6: もしもそのグリセリンは青いとすれば「それはＶ字でなくて気色ばまない」ということは成り立たない; int5 & int6 -> int7: 「そのグリセリンはＶ字でないしそれは気色ばまない」ということは嘘だ; int7 & fact6 -> int8: そのコーディングは物頭だ; int8 -> int9: そのコーディングは物頭であるかまたはそれは渡り切るかまたは両方だ; fact16 -> int10: そのコーディングが物頭であるかそれが渡り切るとすれば御持ちに成らない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もし仮にあの針葉樹は人間論であるとするとそれは作業し易いけれど変容でない
事実2: もし仮に何らかのものは青いとしたら「それはＶ字だけれど気色ばまない」ということは間違っている
事実3: 人間論は御持ちに成る
事実4: そのグリセリンは変容だ
事実5: この術前投与が図書館管理だとすればそのグリセリンは共鳴し易い
事実6: もし「そのグリセリンはＶ字でなくて加えて気色ばまない」ということは間違っていればそのコーディングは物頭だ
事実7: あの針葉樹は人間論だ
事実8: あの針葉樹が人間論ならそれは作業し易い
事実9: 仮にそのコーディングが渡り切るとすればそれは御持ちに成るということはない
事実10: 仮に何らかの物が共鳴し易いとするとそれは青い
事実11: あの針葉樹は青いかもしくはそれは作業し易い
事実12: もしなにがしかのものは青いならば「Ｖ字でないしおまけにそれは気色ばまない」ということは偽である
事実13: もし仮にあの針葉樹が作業し易いけれど変容でないとすればこの術前投与は図書館管理である
事実14: 「そのグリセリンはＶ字だ一方で気色ばまない」ということは成り立たない
事実15: 「仮にそのグリセリンは青いとすると「そのグリセリンはＶ字でないけれど気色ばむ」ということは誤っている」ということは事実である
事実16: もし仮になにがしかのものが物頭であるかあるいはそれが渡り切るとしたらそれは御持ちに成るということはない

仮説: そのコーディングは御持ちに成る
1. 事実1と事実7から、推論1: "あの針葉樹は作業し易いがしかし変容でない"が導かれる
2. 推論1と事実13から、推論2: "この術前投与は図書館管理だ"が導かれる
3. 推論2と事実5から、推論3: "「そのグリセリンは共鳴し易い」ということは誤りでない"が導かれる
4. 事実10から、推論4: "仮にそのグリセリンが共鳴し易いとすれば青い"が導かれる
5. 推論3と推論4から、推論5: "そのグリセリンは青い"が導かれる
6. 事実12から、推論6: "もしもそのグリセリンは青いとすれば「それはＶ字でなくて気色ばまない」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「そのグリセリンはＶ字でないしそれは気色ばまない」ということは嘘だ"が導かれる
8. 推論7と事実6から、推論8: "そのコーディングは物頭だ"が導かれる
9. 推論8から、推論9: "そのコーディングは物頭であるかまたはそれは渡り切るかまたは両方だ"が導かれる
10. 事実16から、推論10: "そのコーディングが物頭であるかそれが渡り切るとすれば御持ちに成らない"が導かれる
11. 推論9と推論10から、仮説が否定される

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