その遮蔽物は元禄期だ
fact1: もし何かは元禄期でないとしたらそれは出場しない fact2: もし仮になにがしかのものが入山しないとすると下落しない fact3: あの二水は給する fact4: 「「ある物は入山するが左巻きでない」ということは成り立つ」ということは間違っているとすると入山しない fact5: あの二水が給するとすると重過ぎるかもしくは売り難くないかまたはどちらもだ fact6: もしもなんらかの物は出場しないとしたら「長しない一方で蠧簡集木屑である」ということは成り立たない fact7: どれもこれもは下落する fact8: 「もし「とある物は核戦争後でないけど脱水する」ということは間違っているなら「それは元禄期だ」ということは真実だ」ということは確かだ fact9: それは核戦争後でないけど脱水するという物はない fact10: もしもなにがしかのものは下落しないとすれば「それは出場しなくてその上それは巻き直さない」ということは正しくない fact11: この左内は重過ぎないなら「この増資後は入山する一方でそれは左巻きであるということはない」ということは偽である fact12: どれもこれもは巻き直す
fact8 -> int1: もし仮に「「その遮蔽物は核戦争後でないけれどそれは脱水する」ということは誤っているということはない」ということは成り立たないとしたら元禄期である; fact9 -> int2: 「「その遮蔽物は核戦争後でないけれど脱水する」ということは嘘だ」ということは成り立つ; int1 & int2 -> hypothesis;
長しないけど蠧簡集木屑であるというものはない
fact14 -> int3: もし仮にこの増資後は出場しないならば「長しないし蠧簡集木屑だ」ということは誤っている; fact13 -> int4: この増資後が元禄期だということはないならそれは出場するということはない; fact15 -> int5: この左内は巻き直す; fact16 -> int6: この左内は下落する; int5 & int6 -> int7: この左内は巻き直すし更に下落する; int7 -> int8: どれもこれもは巻き直すし加えてそれは下落する; int8 -> int9: この増資後は巻き直すし下落する;
$facts$ = fact1: もし何かは元禄期でないとしたらそれは出場しない fact2: もし仮になにがしかのものが入山しないとすると下落しない fact3: あの二水は給する fact4: 「「ある物は入山するが左巻きでない」ということは成り立つ」ということは間違っているとすると入山しない fact5: あの二水が給するとすると重過ぎるかもしくは売り難くないかまたはどちらもだ fact6: もしもなんらかの物は出場しないとしたら「長しない一方で蠧簡集木屑である」ということは成り立たない fact7: どれもこれもは下落する fact8: 「もし「とある物は核戦争後でないけど脱水する」ということは間違っているなら「それは元禄期だ」ということは真実だ」ということは確かだ fact9: それは核戦争後でないけど脱水するという物はない fact10: もしもなにがしかのものは下落しないとすれば「それは出場しなくてその上それは巻き直さない」ということは正しくない fact11: この左内は重過ぎないなら「この増資後は入山する一方でそれは左巻きであるということはない」ということは偽である fact12: どれもこれもは巻き直す ; $hypothesis$ = その遮蔽物は元禄期だ ; $proof$ = 
fact8 -> int1: もし仮に「「その遮蔽物は核戦争後でないけれどそれは脱水する」ということは誤っているということはない」ということは成り立たないとしたら元禄期である; fact9 -> int2: 「「その遮蔽物は核戦争後でないけれど脱水する」ということは嘘だ」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何かは元禄期でないとしたらそれは出場しない
事実2: もし仮になにがしかのものが入山しないとすると下落しない
事実3: あの二水は給する
事実4: 「「ある物は入山するが左巻きでない」ということは成り立つ」ということは間違っているとすると入山しない
事実5: あの二水が給するとすると重過ぎるかもしくは売り難くないかまたはどちらもだ
事実6: もしもなんらかの物は出場しないとしたら「長しない一方で蠧簡集木屑である」ということは成り立たない
事実7: どれもこれもは下落する
事実8: 「もし「とある物は核戦争後でないけど脱水する」ということは間違っているなら「それは元禄期だ」ということは真実だ」ということは確かだ
事実9: それは核戦争後でないけど脱水するという物はない
事実10: もしもなにがしかのものは下落しないとすれば「それは出場しなくてその上それは巻き直さない」ということは正しくない
事実11: この左内は重過ぎないなら「この増資後は入山する一方でそれは左巻きであるということはない」ということは偽である
事実12: どれもこれもは巻き直す

仮説: その遮蔽物は元禄期だ
1. 事実8から、推論1: "もし仮に「「その遮蔽物は核戦争後でないけれどそれは脱水する」ということは誤っているということはない」ということは成り立たないとしたら元禄期である"が導かれる
2. 事実9から、推論2: "「「その遮蔽物は核戦争後でないけれど脱水する」ということは嘘だ」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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