この岐阜城は事毎でない
fact1: 「その流通商品は受け入れられ易くてそれにリフレッシュする」ということは事実と異なる fact2: もしもその流通商品が受け入れられ易いなら移し替える fact3: 「あの営業用財産は夏らしいけど自然らしくない」ということは成り立たない fact4: なにがしかのものがコントロールし易くないかまたは管轄しないかもしくは両方ともであるならば管轄しない fact5: 「その富山地方鉄道は救える」ということは真実だ fact6: もしも「あの営業用財産は手羽元でない」ということは事実ならこの岐阜城は手羽元でない fact7: 仮にこの岐阜城が管轄するということはないなら初回だ fact8: もし仮に「その流通商品は受け入れられ易くないけどリフレッシュする」ということは嘘だとすればそれは移し替える fact9: 仮に「なにかは移し替えるかまたはめんどいということはないかまたはどちらもである」ということは成り立たないならばそれは受け入れられ易いということはない fact10: この岐阜城は救える fact11: 「あの営業用財産は位置覚でなくてしかも救えるということはない」ということは成り立たない fact12: 「夏らしい」物はあれば「その流通商品は受け入れられ易くないがしかしリフレッシュする」ということは偽だ fact13: もし何かは手羽元でないとすればコントロールし易くないか管轄しないかまたはどちらもである fact14: もしもその流通商品が移し替えるとすればこの岐阜城は事毎だ fact15: 何らかのものは初回であるとすると「それは移し替えるかそれはめんどくない」ということは誤りである fact16: その流通商品は車庫証明でない fact17: もしも「「何らかのものは夏らしいしその上リフレッシュする」ということは確かである」ということは誤りであるならばそれは事毎でない fact18: 「もし仮に「あの営業用財産は位置覚でなくてまた救えない」ということは成り立たないとするとあの営業用財産は夏らしい」ということは真実だ fact19: もし仮になにがしかの物は受け入れられ易くないならば「夏らしいし加えてリフレッシュする」ということは間違っている
fact18 & fact11 -> int1: あの営業用財産は夏らしい; int1 -> int2: なにがしかのものは夏らしい; int2 & fact12 -> int3: 「「その流通商品は受け入れられ易くないけれどリフレッシュする」ということは成り立たない」ということは事実である; int3 & fact8 -> int4: その流通商品は移し替える; int4 & fact14 -> hypothesis;
この岐阜城は事毎でない
fact21 -> int5: 仮に「この岐阜城は夏らしいしその上リフレッシュする」ということは成り立たないとしたら事毎でない; fact28 -> int6: 仮にこの岐阜城は受け入れられ易くないとすれば「夏らしいしかつリフレッシュする」ということは成り立たない; fact27 -> int7: もし仮に「この岐阜城は移し替えるかめんどくないかあるいは両方だ」ということは嘘なら受け入れられ易くない; fact26 -> int8: もし仮にこの岐阜城は初回であるなら「移し替えるかまたはめんどくない」ということは間違っている; fact24 -> int9: この岐阜城はコントロールし易くないかあるいは管轄しないかまたは両方ともだとしたらそれは管轄しない; fact20 -> int10: もし仮に「この岐阜城は手羽元でない」ということは確かならばコントロールし易くないかあるいは管轄するということはないかもしくはどちらもだ; fact23 -> int11: 「車庫証明でない」物はある;
$facts$ = fact1: 「その流通商品は受け入れられ易くてそれにリフレッシュする」ということは事実と異なる fact2: もしもその流通商品が受け入れられ易いなら移し替える fact3: 「あの営業用財産は夏らしいけど自然らしくない」ということは成り立たない fact4: なにがしかのものがコントロールし易くないかまたは管轄しないかもしくは両方ともであるならば管轄しない fact5: 「その富山地方鉄道は救える」ということは真実だ fact6: もしも「あの営業用財産は手羽元でない」ということは事実ならこの岐阜城は手羽元でない fact7: 仮にこの岐阜城が管轄するということはないなら初回だ fact8: もし仮に「その流通商品は受け入れられ易くないけどリフレッシュする」ということは嘘だとすればそれは移し替える fact9: 仮に「なにかは移し替えるかまたはめんどいということはないかまたはどちらもである」ということは成り立たないならばそれは受け入れられ易いということはない fact10: この岐阜城は救える fact11: 「あの営業用財産は位置覚でなくてしかも救えるということはない」ということは成り立たない fact12: 「夏らしい」物はあれば「その流通商品は受け入れられ易くないがしかしリフレッシュする」ということは偽だ fact13: もし何かは手羽元でないとすればコントロールし易くないか管轄しないかまたはどちらもである fact14: もしもその流通商品が移し替えるとすればこの岐阜城は事毎だ fact15: 何らかのものは初回であるとすると「それは移し替えるかそれはめんどくない」ということは誤りである fact16: その流通商品は車庫証明でない fact17: もしも「「何らかのものは夏らしいしその上リフレッシュする」ということは確かである」ということは誤りであるならばそれは事毎でない fact18: 「もし仮に「あの営業用財産は位置覚でなくてまた救えない」ということは成り立たないとするとあの営業用財産は夏らしい」ということは真実だ fact19: もし仮になにがしかの物は受け入れられ易くないならば「夏らしいし加えてリフレッシュする」ということは間違っている ; $hypothesis$ = この岐阜城は事毎でない ; $proof$ = 
fact18 & fact11 -> int1: あの営業用財産は夏らしい; int1 -> int2: なにがしかのものは夏らしい; int2 & fact12 -> int3: 「「その流通商品は受け入れられ易くないけれどリフレッシュする」ということは成り立たない」ということは事実である; int3 & fact8 -> int4: その流通商品は移し替える; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: 「その流通商品は受け入れられ易くてそれにリフレッシュする」ということは事実と異なる
事実2: もしもその流通商品が受け入れられ易いなら移し替える
事実3: 「あの営業用財産は夏らしいけど自然らしくない」ということは成り立たない
事実4: なにがしかのものがコントロールし易くないかまたは管轄しないかもしくは両方ともであるならば管轄しない
事実5: 「その富山地方鉄道は救える」ということは真実だ
事実6: もしも「あの営業用財産は手羽元でない」ということは事実ならこの岐阜城は手羽元でない
事実7: 仮にこの岐阜城が管轄するということはないなら初回だ
事実8: もし仮に「その流通商品は受け入れられ易くないけどリフレッシュする」ということは嘘だとすればそれは移し替える
事実9: 仮に「なにかは移し替えるかまたはめんどいということはないかまたはどちらもである」ということは成り立たないならばそれは受け入れられ易いということはない
事実10: この岐阜城は救える
事実11: 「あの営業用財産は位置覚でなくてしかも救えるということはない」ということは成り立たない
事実12: 「夏らしい」物はあれば「その流通商品は受け入れられ易くないがしかしリフレッシュする」ということは偽だ
事実13: もし何かは手羽元でないとすればコントロールし易くないか管轄しないかまたはどちらもである
事実14: もしもその流通商品が移し替えるとすればこの岐阜城は事毎だ
事実15: 何らかのものは初回であるとすると「それは移し替えるかそれはめんどくない」ということは誤りである
事実16: その流通商品は車庫証明でない
事実17: もしも「「何らかのものは夏らしいしその上リフレッシュする」ということは確かである」ということは誤りであるならばそれは事毎でない
事実18: 「もし仮に「あの営業用財産は位置覚でなくてまた救えない」ということは成り立たないとするとあの営業用財産は夏らしい」ということは真実だ
事実19: もし仮になにがしかの物は受け入れられ易くないならば「夏らしいし加えてリフレッシュする」ということは間違っている

仮説: この岐阜城は事毎でない
1. 事実18と事実11から、推論1: "あの営業用財産は夏らしい"が導かれる
2. 推論1から、推論2: "なにがしかのものは夏らしい"が導かれる
3. 推論2と事実12から、推論3: "「「その流通商品は受け入れられ易くないけれどリフレッシュする」ということは成り立たない」ということは事実である"が導かれる
4. 推論3と事実8から、推論4: "その流通商品は移し替える"が導かれる
5. 推論4と事実14から、仮説が否定される

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