そのヘブル語は区分出来る
fact1: 仮にあるものは蠢かないとすれば「それはわりないがしかし反映され易くない」ということは間違いだ fact2: 仮にこの尼僧院が医学的知識であるかあるいは反映され易いならばそのヘブル語はわりなくない fact3: 仮にこの尼僧院が意識研究であるかそれがわりないとしたらそのヘブル語は反映され易くない fact4: もし何かは医学的知識でないけど区分出来るとすればそれは判断し難い fact5: この尼僧院は判断し難い fact6: もし仮に「この尼僧院は意識研究であるかあるいはそれは判断し難くないかもしくは両方だ」ということは間違いならそのヘブル語は区分出来る fact7: 「折れ易くない」ものはある fact8: この尼僧院は意識研究ならば「区分出来ない」ということは事実である fact9: そのヘブル語は蠢くかまたはそれは意識研究である fact10: すべての物は蠢く fact11: この尼僧院は意識研究でしかも判断し難い fact12: もしもこの尼僧院はわりないとすれば「そのヘブル語は反映され易くない」ということは本当である fact13: もし「何らかの物はわりない一方で反映され易くない」ということは誤りであるとしたら「わりなくない」ということは確かである fact14: 仮に反映され易くないものが蠢くとしたらそれは医学的知識だ fact15: この尼僧院は異なり得ない fact16: もしそのヘブル語が成り易いなら関連項目でない fact17: もし仮に「あるものは変え為さる」ということは事実だとするとそれはすんごくない fact18: もし仮になにがしかの物は医学的知識であるとしたら区分出来るということはない fact19: もし仮にそのヘブル語が意識研究であるかまたはそれが蠢くかまたは両方ともであるならばこの尼僧院は医学的知識でない
fact11 -> int1: この尼僧院は意識研究である; int1 -> int2: この尼僧院は意識研究であるかまたはそれはわりないかもしくはどちらもである; int2 & fact3 -> int3: そのヘブル語は反映され易いということはない; fact10 -> int4: そのヘブル語は蠢く; int3 & int4 -> int5: そのヘブル語は反映され易くないがそれは蠢く; fact14 -> int6: もし仮にそのヘブル語が反映され易くないがしかしそれが蠢くならそれは医学的知識である; int5 & int6 -> int7: そのヘブル語は医学的知識である; fact18 -> int8: 「仮に「そのヘブル語は医学的知識だ」ということは確かであるとすれば「そのヘブル語は区分出来ない」ということは成り立つ」ということは本当だ; int7 & int8 -> hypothesis;
そのヘブル語は区分出来る
fact22 -> int9: 「「この尼僧院はわりないけどそれは反映され易くない」ということは成り立たない」ということは成り立つなら「それはわりないということはない」ということは確かだ; fact20 -> int10: もし仮にこの尼僧院は蠢かないならば「わりないし反映され易くない」ということは嘘である;
$facts$ = fact1: 仮にあるものは蠢かないとすれば「それはわりないがしかし反映され易くない」ということは間違いだ fact2: 仮にこの尼僧院が医学的知識であるかあるいは反映され易いならばそのヘブル語はわりなくない fact3: 仮にこの尼僧院が意識研究であるかそれがわりないとしたらそのヘブル語は反映され易くない fact4: もし何かは医学的知識でないけど区分出来るとすればそれは判断し難い fact5: この尼僧院は判断し難い fact6: もし仮に「この尼僧院は意識研究であるかあるいはそれは判断し難くないかもしくは両方だ」ということは間違いならそのヘブル語は区分出来る fact7: 「折れ易くない」ものはある fact8: この尼僧院は意識研究ならば「区分出来ない」ということは事実である fact9: そのヘブル語は蠢くかまたはそれは意識研究である fact10: すべての物は蠢く fact11: この尼僧院は意識研究でしかも判断し難い fact12: もしもこの尼僧院はわりないとすれば「そのヘブル語は反映され易くない」ということは本当である fact13: もし「何らかの物はわりない一方で反映され易くない」ということは誤りであるとしたら「わりなくない」ということは確かである fact14: 仮に反映され易くないものが蠢くとしたらそれは医学的知識だ fact15: この尼僧院は異なり得ない fact16: もしそのヘブル語が成り易いなら関連項目でない fact17: もし仮に「あるものは変え為さる」ということは事実だとするとそれはすんごくない fact18: もし仮になにがしかの物は医学的知識であるとしたら区分出来るということはない fact19: もし仮にそのヘブル語が意識研究であるかまたはそれが蠢くかまたは両方ともであるならばこの尼僧院は医学的知識でない ; $hypothesis$ = そのヘブル語は区分出来る ; $proof$ = 
fact11 -> int1: この尼僧院は意識研究である; int1 -> int2: この尼僧院は意識研究であるかまたはそれはわりないかもしくはどちらもである; int2 & fact3 -> int3: そのヘブル語は反映され易いということはない; fact10 -> int4: そのヘブル語は蠢く; int3 & int4 -> int5: そのヘブル語は反映され易くないがそれは蠢く; fact14 -> int6: もし仮にそのヘブル語が反映され易くないがしかしそれが蠢くならそれは医学的知識である; int5 & int6 -> int7: そのヘブル語は医学的知識である; fact18 -> int8: 「仮に「そのヘブル語は医学的知識だ」ということは確かであるとすれば「そのヘブル語は区分出来ない」ということは成り立つ」ということは本当だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは蠢かないとすれば「それはわりないがしかし反映され易くない」ということは間違いだ
事実2: 仮にこの尼僧院が医学的知識であるかあるいは反映され易いならばそのヘブル語はわりなくない
事実3: 仮にこの尼僧院が意識研究であるかそれがわりないとしたらそのヘブル語は反映され易くない
事実4: もし何かは医学的知識でないけど区分出来るとすればそれは判断し難い
事実5: この尼僧院は判断し難い
事実6: もし仮に「この尼僧院は意識研究であるかあるいはそれは判断し難くないかもしくは両方だ」ということは間違いならそのヘブル語は区分出来る
事実7: 「折れ易くない」ものはある
事実8: この尼僧院は意識研究ならば「区分出来ない」ということは事実である
事実9: そのヘブル語は蠢くかまたはそれは意識研究である
事実10: すべての物は蠢く
事実11: この尼僧院は意識研究でしかも判断し難い
事実12: もしもこの尼僧院はわりないとすれば「そのヘブル語は反映され易くない」ということは本当である
事実13: もし「何らかの物はわりない一方で反映され易くない」ということは誤りであるとしたら「わりなくない」ということは確かである
事実14: 仮に反映され易くないものが蠢くとしたらそれは医学的知識だ
事実15: この尼僧院は異なり得ない
事実16: もしそのヘブル語が成り易いなら関連項目でない
事実17: もし仮に「あるものは変え為さる」ということは事実だとするとそれはすんごくない
事実18: もし仮になにがしかの物は医学的知識であるとしたら区分出来るということはない
事実19: もし仮にそのヘブル語が意識研究であるかまたはそれが蠢くかまたは両方ともであるならばこの尼僧院は医学的知識でない

仮説: そのヘブル語は区分出来る
1. 事実11から、推論1: "この尼僧院は意識研究である"が導かれる
2. 推論1から、推論2: "この尼僧院は意識研究であるかまたはそれはわりないかもしくはどちらもである"が導かれる
3. 推論2と事実3から、推論3: "そのヘブル語は反映され易いということはない"が導かれる
4. 事実10から、推論4: "そのヘブル語は蠢く"が導かれる
5. 推論3と推論4から、推論5: "そのヘブル語は反映され易くないがそれは蠢く"が導かれる
6. 事実14から、推論6: "もし仮にそのヘブル語が反映され易くないがしかしそれが蠢くならそれは医学的知識である"が導かれる
7. 推論5と推論6から、推論7: "そのヘブル語は医学的知識である"が導かれる
8. 事実18から、推論8: "「仮に「そのヘブル語は医学的知識だ」ということは確かであるとすれば「そのヘブル語は区分出来ない」ということは成り立つ」ということは本当だ"が導かれる
9. 推論7と推論8から、仮説が否定される

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