その利害関係者間は取り零しでないけれど左右され易い
fact1: とあるものは取り零しであるならば「航行しないか鉄板焼きであるかあるいは両方である」ということは間違いである fact2: もしもこの右上方は取り零しでないとすれば「その利害関係者間は取り零しでないが左右され易い」ということは本当である fact3: その利害関係者間は左右され易い fact4: その利害関係者間は伝え易いし更にそれは咲き競う fact5: もし「ある物は左右され易いということはないかまたは取り零しであるかまたは両方ともだ」ということは偽であるとすると「それは航行しない」ということは真実である fact6: 仮にこの右上方が取り零しだとしたら鉄板焼きだということはない fact7: 縁遠い物はある fact8: この右上方は縁遠い fact9: 馴染み易いものは悲しい fact10: 仮に「「航行しない」ということは正しい」ものがあるならその利害関係者間は左右され易いしそれに勘違いし易い fact11: この各論文が加わるとしたらそれはぽっちゃりする fact12: もし「なにかは鉄板焼きでないか勘違いし易いか両方ともである」ということは間違いであるとすると取り零しでない fact13: 「あるものは勘違いし易くないかもしくは示唆するかもしくはどちらもである」ということは嘘だとすると取り零しでない fact14: 何かは二百二十ページ参照だ fact15: もし仮にその開成所版は示唆するとすると「その利害関係者間は取り零しでないが左右され易い」ということは偽である fact16: 「染み込み易いということはない」ものはある fact17: 「なんらかのものは航行しないかあるいはそれは鉄板焼きであるかどちらもだ」ということは間違っていればそれは示唆しない fact18: あるものは粘膜側でない fact19: 仮に「縁遠くない」物はあるとしたら「この右上方は示唆するしそれに勘違いし易い」ということは成り立つ fact20: もしも「その利害関係者間は左右され易いかもしくは取り零しだ」ということは成り立たないならば示唆しない fact21: もしもその利害関係者間が取り零しでないとしたらこの右上方は取り零しであるということはない一方で左右され易い fact22: なんらかの物は取り零しならば「それは鉄板焼きでない」ということは成り立つ fact23: もしあるものは取り零しなら「それは左右され易いということはないかまたは鉄板焼きであるかどちらもだ」ということは事実と異なる fact24: とあるものは縁遠くない
fact1 -> int1: もしも「この右上方は取り零しだ」ということは成り立つとすれば「航行しないかあるいは鉄板焼きだ」ということは成り立たない; void -> assump1: 以下のように仮定する。この右上方は取り零しである; int1 & assump1 -> int2: 「この右上方は航行しないかもしくはそれは鉄板焼きだ」ということは成り立たない; fact17 -> int3: 仮に「この右上方は航行しないかそれは鉄板焼きである」ということは本当であるということはないならばそれは示唆しない; int2 & int3 -> int4: 「この右上方は示唆しない」ということは成り立つ; fact24 & fact19 -> int5: 「この右上方は示唆するし勘違いし易い」ということは真実である; int5 -> int6: 「この右上方は示唆する」ということは正しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この右上方は取り零しでない; int8 & fact2 -> hypothesis;
「その利害関係者間は取り零しでないけど左右され易い」ということは偽だ
$facts$ = fact1: とあるものは取り零しであるならば「航行しないか鉄板焼きであるかあるいは両方である」ということは間違いである fact2: もしもこの右上方は取り零しでないとすれば「その利害関係者間は取り零しでないが左右され易い」ということは本当である fact3: その利害関係者間は左右され易い fact4: その利害関係者間は伝え易いし更にそれは咲き競う fact5: もし「ある物は左右され易いということはないかまたは取り零しであるかまたは両方ともだ」ということは偽であるとすると「それは航行しない」ということは真実である fact6: 仮にこの右上方が取り零しだとしたら鉄板焼きだということはない fact7: 縁遠い物はある fact8: この右上方は縁遠い fact9: 馴染み易いものは悲しい fact10: 仮に「「航行しない」ということは正しい」ものがあるならその利害関係者間は左右され易いしそれに勘違いし易い fact11: この各論文が加わるとしたらそれはぽっちゃりする fact12: もし「なにかは鉄板焼きでないか勘違いし易いか両方ともである」ということは間違いであるとすると取り零しでない fact13: 「あるものは勘違いし易くないかもしくは示唆するかもしくはどちらもである」ということは嘘だとすると取り零しでない fact14: 何かは二百二十ページ参照だ fact15: もし仮にその開成所版は示唆するとすると「その利害関係者間は取り零しでないが左右され易い」ということは偽である fact16: 「染み込み易いということはない」ものはある fact17: 「なんらかのものは航行しないかあるいはそれは鉄板焼きであるかどちらもだ」ということは間違っていればそれは示唆しない fact18: あるものは粘膜側でない fact19: 仮に「縁遠くない」物はあるとしたら「この右上方は示唆するしそれに勘違いし易い」ということは成り立つ fact20: もしも「その利害関係者間は左右され易いかもしくは取り零しだ」ということは成り立たないならば示唆しない fact21: もしもその利害関係者間が取り零しでないとしたらこの右上方は取り零しであるということはない一方で左右され易い fact22: なんらかの物は取り零しならば「それは鉄板焼きでない」ということは成り立つ fact23: もしあるものは取り零しなら「それは左右され易いということはないかまたは鉄板焼きであるかどちらもだ」ということは事実と異なる fact24: とあるものは縁遠くない ; $hypothesis$ = その利害関係者間は取り零しでないけれど左右され易い ; $proof$ = 
fact1 -> int1: もしも「この右上方は取り零しだ」ということは成り立つとすれば「航行しないかあるいは鉄板焼きだ」ということは成り立たない; void -> assump1: 以下のように仮定する。この右上方は取り零しである; int1 & assump1 -> int2: 「この右上方は航行しないかもしくはそれは鉄板焼きだ」ということは成り立たない; fact17 -> int3: 仮に「この右上方は航行しないかそれは鉄板焼きである」ということは本当であるということはないならばそれは示唆しない; int2 & int3 -> int4: 「この右上方は示唆しない」ということは成り立つ; fact24 & fact19 -> int5: 「この右上方は示唆するし勘違いし易い」ということは真実である; int5 -> int6: 「この右上方は示唆する」ということは正しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この右上方は取り零しでない; int8 & fact2 -> hypothesis; __PROVED__
事実1: とあるものは取り零しであるならば「航行しないか鉄板焼きであるかあるいは両方である」ということは間違いである
事実2: もしもこの右上方は取り零しでないとすれば「その利害関係者間は取り零しでないが左右され易い」ということは本当である
事実3: その利害関係者間は左右され易い
事実4: その利害関係者間は伝え易いし更にそれは咲き競う
事実5: もし「ある物は左右され易いということはないかまたは取り零しであるかまたは両方ともだ」ということは偽であるとすると「それは航行しない」ということは真実である
事実6: 仮にこの右上方が取り零しだとしたら鉄板焼きだということはない
事実7: 縁遠い物はある
事実8: この右上方は縁遠い
事実9: 馴染み易いものは悲しい
事実10: 仮に「「航行しない」ということは正しい」ものがあるならその利害関係者間は左右され易いしそれに勘違いし易い
事実11: この各論文が加わるとしたらそれはぽっちゃりする
事実12: もし「なにかは鉄板焼きでないか勘違いし易いか両方ともである」ということは間違いであるとすると取り零しでない
事実13: 「あるものは勘違いし易くないかもしくは示唆するかもしくはどちらもである」ということは嘘だとすると取り零しでない
事実14: 何かは二百二十ページ参照だ
事実15: もし仮にその開成所版は示唆するとすると「その利害関係者間は取り零しでないが左右され易い」ということは偽である
事実16: 「染み込み易いということはない」ものはある
事実17: 「なんらかのものは航行しないかあるいはそれは鉄板焼きであるかどちらもだ」ということは間違っていればそれは示唆しない
事実18: あるものは粘膜側でない
事実19: 仮に「縁遠くない」物はあるとしたら「この右上方は示唆するしそれに勘違いし易い」ということは成り立つ
事実20: もしも「その利害関係者間は左右され易いかもしくは取り零しだ」ということは成り立たないならば示唆しない
事実21: もしもその利害関係者間が取り零しでないとしたらこの右上方は取り零しであるということはない一方で左右され易い
事実22: なんらかの物は取り零しならば「それは鉄板焼きでない」ということは成り立つ
事実23: もしあるものは取り零しなら「それは左右され易いということはないかまたは鉄板焼きであるかどちらもだ」ということは事実と異なる
事実24: とあるものは縁遠くない

仮説: その利害関係者間は取り零しでないけれど左右され易い
1. 事実1から、推論1: "もしも「この右上方は取り零しだ」ということは成り立つとすれば「航行しないかあるいは鉄板焼きだ」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。この右上方は取り零しである
3. 推論1と仮定1から、推論2: "「この右上方は航行しないかもしくはそれは鉄板焼きだ」ということは成り立たない"が導かれる
4. 事実17から、推論3: "仮に「この右上方は航行しないかそれは鉄板焼きである」ということは本当であるということはないならばそれは示唆しない"が導かれる
5. 推論2と推論3から、推論4: "「この右上方は示唆しない」ということは成り立つ"が導かれる
6. 事実24と事実19から、推論5: "「この右上方は示唆するし勘違いし易い」ということは真実である"が導かれる
7. 推論5から、推論6: "「この右上方は示唆する」ということは正しい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この右上方は取り零しでない"が導かれる
10. 推論8と事実2から、仮説が導かれる

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