「この過去時制は立ち直る」ということは成り立つ
fact1: もし「この過去時制は児童自身でない」ということは成り立つとしたらそれは行政各部でないかあるいはそれは変質するということはないかあるいは両方ともである fact2: その杉は日毎だ fact3: もしその消費税が損なわなくてそれが作り置きしないとするとこの世界経済フォーラムは作り置きする fact4: この過去時制は行政各部であるか変質するということはないか両方である fact5: 仮に「なんらかの物は立ち直らないけれど遣る瀬無い」ということは間違っているならそれは立ち直る fact6: もしなにかは吹き上がれば「それはメーカー・ブランド戦略だ」ということは成り立つ fact7: 仮に「「長期固定でないが濁る」ということは偽である」物があるとしたらあの賃貸借は札幌遠友夜学校でない fact8: もし仮にこの過去時制は行政各部でないならばそれは立ち直らない fact9: もし「その杉は下地材でない」ということは事実であるならその消費税は損なわなくて作り置きしない fact10: もしもあるものはメーカー・ブランド戦略だとすれば「長期固定でないけど濁る」ということは誤っている fact11: もし仮に何かは目隠しでないけど日毎であるとしたら「それは下地材でない」ということは成り立つ fact12: この過去時制は児童自身でない fact13: その杉は目隠しでない fact14: もし仮にとある物が行政各部でないかもしくは変質するということはないかあるいは両方ともだとするとそれは立ち直らない fact15: もし仮に何らかのものが作り置きするとするとそれは吹き上がる fact16: もしもなんらかのものは児童自身だとしたら「それは立ち直らないが遣る瀬無い」ということは偽だ fact17: 「あの賃貸借は児童自身である」ということは正しいとしたらこの過去時制は児童自身である fact18: 仮になにかは札幌遠友夜学校でないならば児童自身であるかもしくは痛み易い fact19: もし仮に何かは行政各部でないとしたらそれは立ち直らない fact20: この過去時制が遣る瀬無いとしたらあの死亡保障は児童自身でないし立ち直らない
fact1 & fact12 -> int1: この過去時制は行政各部でないかまたは変質しないかあるいは両方ともである; fact14 -> int2: この過去時制が行政各部でないかそれが変質するということはないとすればそれは立ち直らない; int1 & int2 -> hypothesis;
この過去時制は立ち直る
fact30 -> int3: もし「この過去時制は立ち直らない一方で遣る瀬無い」ということは誤っているとすればそれは立ち直る; fact29 -> int4: 仮にこの過去時制は児童自身ならば「立ち直るということはなくてかつ遣る瀬無い」ということは偽だ; fact22 -> int5: もしあの賃貸借は札幌遠友夜学校でないならば児童自身であるか痛み易い; fact25 -> int6: もしこの世界経済フォーラムはメーカー・ブランド戦略なら「長期固定であるということはないけれど濁る」ということは成り立たない; fact21 -> int7: この世界経済フォーラムが吹き上がるならメーカー・ブランド戦略である; fact28 -> int8: この世界経済フォーラムが作り置きすれば吹き上がる; fact24 -> int9: もしその杉は目隠しでないけど日毎ならば「下地材でない」ということは正しい; fact26 & fact32 -> int10: その杉は目隠しでないが日毎だ; int9 & int10 -> int11: その杉は下地材でない; fact27 & int11 -> int12: その消費税は損なわないしまた作り置きしない; fact23 & int12 -> int13: この世界経済フォーラムは作り置きする; int8 & int13 -> int14: この世界経済フォーラムは吹き上がる; int7 & int14 -> int15: この世界経済フォーラムはメーカー・ブランド戦略である; int6 & int15 -> int16: 「この世界経済フォーラムは長期固定でないが濁る」ということは誤りだ; int16 -> int17: 「「長期固定でないし更に濁る」ということは間違いである」物はある; int17 & fact31 -> int18: あの賃貸借は札幌遠友夜学校でない; int5 & int18 -> int19: あの賃貸借は児童自身であるかもしくは痛み易いかあるいは両方である;
$facts$ = fact1: もし「この過去時制は児童自身でない」ということは成り立つとしたらそれは行政各部でないかあるいはそれは変質するということはないかあるいは両方ともである fact2: その杉は日毎だ fact3: もしその消費税が損なわなくてそれが作り置きしないとするとこの世界経済フォーラムは作り置きする fact4: この過去時制は行政各部であるか変質するということはないか両方である fact5: 仮に「なんらかの物は立ち直らないけれど遣る瀬無い」ということは間違っているならそれは立ち直る fact6: もしなにかは吹き上がれば「それはメーカー・ブランド戦略だ」ということは成り立つ fact7: 仮に「「長期固定でないが濁る」ということは偽である」物があるとしたらあの賃貸借は札幌遠友夜学校でない fact8: もし仮にこの過去時制は行政各部でないならばそれは立ち直らない fact9: もし「その杉は下地材でない」ということは事実であるならその消費税は損なわなくて作り置きしない fact10: もしもあるものはメーカー・ブランド戦略だとすれば「長期固定でないけど濁る」ということは誤っている fact11: もし仮に何かは目隠しでないけど日毎であるとしたら「それは下地材でない」ということは成り立つ fact12: この過去時制は児童自身でない fact13: その杉は目隠しでない fact14: もし仮にとある物が行政各部でないかもしくは変質するということはないかあるいは両方ともだとするとそれは立ち直らない fact15: もし仮に何らかのものが作り置きするとするとそれは吹き上がる fact16: もしもなんらかのものは児童自身だとしたら「それは立ち直らないが遣る瀬無い」ということは偽だ fact17: 「あの賃貸借は児童自身である」ということは正しいとしたらこの過去時制は児童自身である fact18: 仮になにかは札幌遠友夜学校でないならば児童自身であるかもしくは痛み易い fact19: もし仮に何かは行政各部でないとしたらそれは立ち直らない fact20: この過去時制が遣る瀬無いとしたらあの死亡保障は児童自身でないし立ち直らない ; $hypothesis$ = 「この過去時制は立ち直る」ということは成り立つ ; $proof$ = 
fact1 & fact12 -> int1: この過去時制は行政各部でないかまたは変質しないかあるいは両方ともである; fact14 -> int2: この過去時制が行政各部でないかそれが変質するということはないとすればそれは立ち直らない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「この過去時制は児童自身でない」ということは成り立つとしたらそれは行政各部でないかあるいはそれは変質するということはないかあるいは両方ともである
事実2: その杉は日毎だ
事実3: もしその消費税が損なわなくてそれが作り置きしないとするとこの世界経済フォーラムは作り置きする
事実4: この過去時制は行政各部であるか変質するということはないか両方である
事実5: 仮に「なんらかの物は立ち直らないけれど遣る瀬無い」ということは間違っているならそれは立ち直る
事実6: もしなにかは吹き上がれば「それはメーカー・ブランド戦略だ」ということは成り立つ
事実7: 仮に「「長期固定でないが濁る」ということは偽である」物があるとしたらあの賃貸借は札幌遠友夜学校でない
事実8: もし仮にこの過去時制は行政各部でないならばそれは立ち直らない
事実9: もし「その杉は下地材でない」ということは事実であるならその消費税は損なわなくて作り置きしない
事実10: もしもあるものはメーカー・ブランド戦略だとすれば「長期固定でないけど濁る」ということは誤っている
事実11: もし仮に何かは目隠しでないけど日毎であるとしたら「それは下地材でない」ということは成り立つ
事実12: この過去時制は児童自身でない
事実13: その杉は目隠しでない
事実14: もし仮にとある物が行政各部でないかもしくは変質するということはないかあるいは両方ともだとするとそれは立ち直らない
事実15: もし仮に何らかのものが作り置きするとするとそれは吹き上がる
事実16: もしもなんらかのものは児童自身だとしたら「それは立ち直らないが遣る瀬無い」ということは偽だ
事実17: 「あの賃貸借は児童自身である」ということは正しいとしたらこの過去時制は児童自身である
事実18: 仮になにかは札幌遠友夜学校でないならば児童自身であるかもしくは痛み易い
事実19: もし仮に何かは行政各部でないとしたらそれは立ち直らない
事実20: この過去時制が遣る瀬無いとしたらあの死亡保障は児童自身でないし立ち直らない

仮説: 「この過去時制は立ち直る」ということは成り立つ
1. 事実1と事実12から、推論1: "この過去時制は行政各部でないかまたは変質しないかあるいは両方ともである"が導かれる
2. 事実14から、推論2: "この過去時制が行政各部でないかそれが変質するということはないとすればそれは立ち直らない"が導かれる
3. 推論1と推論2から、仮説が否定される

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