この京域は揺るぎなくない
fact1: とある物は色っぽい fact2: この従前通りはどうしても欲しい fact3: もしも「この従前通りは出し合えないしその上東洋亭でない」ということは確かでないとすればあのドリブルは出し合えるということはない fact4: 「もし仮にある物が太くないとするとこの従前通りは東洋亭である」ということは確かだ fact5: もし仮にこの京域が太くてどうしても欲しいとすればそれは揺るぎなくない fact6: 何らかの物はどうしても欲しいということはないか太いかあるいはどちらもである fact7: その核保有国はどうしても欲しくないかそれは太くないかまたはどちらもである fact8: あるものはどうしても欲しいかまたは太いということはない fact9: 何かは巻頭言でないとすれば東洋亭であるかもしくは暴行するかまたは両方ともである fact10: 「その核保有国はどうしても欲しくないかまたは太いかもしくは両方ともだ」ということは真実だ fact11: もしもこの従前通りが東洋亭であるとすればあの京域は揺るぎない fact12: 仮に「色っぽい」ものがあるとすればこの京域は太い fact13: もし何らかの物はどうしても欲しくないとすれば「それは出し合えるということはないし東洋亭でない」ということは偽である fact14: もしも「どうしても欲しくないかもしくは太くないか両方ともな」物があればこの従前通りは東洋亭である
fact7 -> int1: 「どうしても欲しくないかまたは太いということはないかもしくはどちらもである」ものはある; int1 & fact14 -> int2: この従前通りは東洋亭だ; int2 & fact11 -> hypothesis;
「この京域は揺るぎなくない」ということは正しい
fact18 & fact15 -> int3: この京域は太い; fact17 -> int4: もしこの京域は巻頭言でないならばそれは東洋亭であるか暴行する;
$facts$ = fact1: とある物は色っぽい fact2: この従前通りはどうしても欲しい fact3: もしも「この従前通りは出し合えないしその上東洋亭でない」ということは確かでないとすればあのドリブルは出し合えるということはない fact4: 「もし仮にある物が太くないとするとこの従前通りは東洋亭である」ということは確かだ fact5: もし仮にこの京域が太くてどうしても欲しいとすればそれは揺るぎなくない fact6: 何らかの物はどうしても欲しいということはないか太いかあるいはどちらもである fact7: その核保有国はどうしても欲しくないかそれは太くないかまたはどちらもである fact8: あるものはどうしても欲しいかまたは太いということはない fact9: 何かは巻頭言でないとすれば東洋亭であるかもしくは暴行するかまたは両方ともである fact10: 「その核保有国はどうしても欲しくないかまたは太いかもしくは両方ともだ」ということは真実だ fact11: もしもこの従前通りが東洋亭であるとすればあの京域は揺るぎない fact12: 仮に「色っぽい」ものがあるとすればこの京域は太い fact13: もし何らかの物はどうしても欲しくないとすれば「それは出し合えるということはないし東洋亭でない」ということは偽である fact14: もしも「どうしても欲しくないかもしくは太くないか両方ともな」物があればこの従前通りは東洋亭である ; $hypothesis$ = この京域は揺るぎなくない ; $proof$ = 
fact7 -> int1: 「どうしても欲しくないかまたは太いということはないかもしくはどちらもである」ものはある; int1 & fact14 -> int2: この従前通りは東洋亭だ; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: とある物は色っぽい
事実2: この従前通りはどうしても欲しい
事実3: もしも「この従前通りは出し合えないしその上東洋亭でない」ということは確かでないとすればあのドリブルは出し合えるということはない
事実4: 「もし仮にある物が太くないとするとこの従前通りは東洋亭である」ということは確かだ
事実5: もし仮にこの京域が太くてどうしても欲しいとすればそれは揺るぎなくない
事実6: 何らかの物はどうしても欲しいということはないか太いかあるいはどちらもである
事実7: その核保有国はどうしても欲しくないかそれは太くないかまたはどちらもである
事実8: あるものはどうしても欲しいかまたは太いということはない
事実9: 何かは巻頭言でないとすれば東洋亭であるかもしくは暴行するかまたは両方ともである
事実10: 「その核保有国はどうしても欲しくないかまたは太いかもしくは両方ともだ」ということは真実だ
事実11: もしもこの従前通りが東洋亭であるとすればあの京域は揺るぎない
事実12: 仮に「色っぽい」ものがあるとすればこの京域は太い
事実13: もし何らかの物はどうしても欲しくないとすれば「それは出し合えるということはないし東洋亭でない」ということは偽である
事実14: もしも「どうしても欲しくないかもしくは太くないか両方ともな」物があればこの従前通りは東洋亭である

仮説: この京域は揺るぎなくない
1. 事実7から、推論1: "「どうしても欲しくないかまたは太いということはないかもしくはどちらもである」ものはある"が導かれる
2. 推論1と事実14から、推論2: "この従前通りは東洋亭だ"が導かれる
3. 推論2と事実11から、仮説が否定される

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