その圧力容器はＡＳＴでない
fact1: そのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るけれど上行しない」ということは成り立たない fact2: 仮に「あの示現流系剣術は木らしいということはない」ということは誤っていないとすればこの従業員満足は木らしい fact3: あの示現流系剣術は流動する fact4: もしも「この従業員満足がゲーム開始だけど浮かさない」ということは偽であるとすればそれは発展途上でない fact5: あの示現流系剣術が断念的知だとするとこの従業員満足は木らしい fact6: 「この従業員満足はゲーム開始であるがそれは浮かすということはない」ということは間違いだ fact7: もしもその圧力容器が上行するとすれば避難経路でない fact8: もし仮になにがしかの物は上行するとしたら「避難経路でない」ということは偽でない fact9: 「その圧力容器はカット出来るしそれにそれは上行する」ということは成り立たない fact10: そのリスト作りは卓上カレンダーでない fact11: そのリスト作りはカット出来ない fact12: もし仮に「あるものはカット出来る一方で上行しない」ということは誤っていれば避難経路でない fact13: 木らしいものはイースターである fact14: もしもとあるものが殺人であるしその上イースターだとすれば「そのリスト作りは撲滅する」ということは成り立つ fact15: もしそのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るしそれは上行する」ということは成り立つということはない fact16: この従業員満足が発展途上でないとすれば拙くてまた殺人である fact17: もし仮になんらかのものが避難経路でないとすればそれはＡＳＴでない fact18: あるものが撲滅すれば避難経路でない fact19: あの仏陀はＡＳＴでない fact20: 仮にあの示現流系剣術が流動すれば断念的知であるかもしくは木らしくない
fact1 & fact10 -> int1: 「その圧力容器はカット出来るが上行しない」ということは誤っている; fact12 -> int2: 仮に「その圧力容器はカット出来るけどそれは上行しない」ということは確かでないならばそれは避難経路でない; int1 & int2 -> int3: その圧力容器は避難経路でない; fact17 -> int4: その圧力容器は避難経路でないならばそれはＡＳＴでない; int3 & int4 -> hypothesis;
その圧力容器はＡＳＴである
fact30 -> int5: もし仮にそのリスト作りが撲滅するとすればそれは避難経路でない; fact24 & fact28 -> int6: この従業員満足は発展途上でない; fact23 & int6 -> int7: この従業員満足は拙いしそれは殺人だ; int7 -> int8: この従業員満足は殺人である; fact22 -> int9: もしこの従業員満足が木らしいとすればイースターだ; fact26 & fact25 -> int10: あの示現流系剣術は断念的知であるかあるいは木らしくない; int10 & fact27 & fact21 -> int11: この従業員満足は木らしい; int9 & int11 -> int12: この従業員満足はイースターだ; int8 & int12 -> int13: この従業員満足は殺人でイースターである; int13 -> int14: 「殺人で更にイースターな」物はある; int14 & fact29 -> int15: そのリスト作りは撲滅する; int5 & int15 -> int16: そのリスト作りは避難経路でない; int16 -> int17: 「避難経路であるということはない」ものはある;
$facts$ = fact1: そのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るけれど上行しない」ということは成り立たない fact2: 仮に「あの示現流系剣術は木らしいということはない」ということは誤っていないとすればこの従業員満足は木らしい fact3: あの示現流系剣術は流動する fact4: もしも「この従業員満足がゲーム開始だけど浮かさない」ということは偽であるとすればそれは発展途上でない fact5: あの示現流系剣術が断念的知だとするとこの従業員満足は木らしい fact6: 「この従業員満足はゲーム開始であるがそれは浮かすということはない」ということは間違いだ fact7: もしもその圧力容器が上行するとすれば避難経路でない fact8: もし仮になにがしかの物は上行するとしたら「避難経路でない」ということは偽でない fact9: 「その圧力容器はカット出来るしそれにそれは上行する」ということは成り立たない fact10: そのリスト作りは卓上カレンダーでない fact11: そのリスト作りはカット出来ない fact12: もし仮に「あるものはカット出来る一方で上行しない」ということは誤っていれば避難経路でない fact13: 木らしいものはイースターである fact14: もしもとあるものが殺人であるしその上イースターだとすれば「そのリスト作りは撲滅する」ということは成り立つ fact15: もしそのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るしそれは上行する」ということは成り立つということはない fact16: この従業員満足が発展途上でないとすれば拙くてまた殺人である fact17: もし仮になんらかのものが避難経路でないとすればそれはＡＳＴでない fact18: あるものが撲滅すれば避難経路でない fact19: あの仏陀はＡＳＴでない fact20: 仮にあの示現流系剣術が流動すれば断念的知であるかもしくは木らしくない ; $hypothesis$ = その圧力容器はＡＳＴでない ; $proof$ = 
fact1 & fact10 -> int1: 「その圧力容器はカット出来るが上行しない」ということは誤っている; fact12 -> int2: 仮に「その圧力容器はカット出来るけどそれは上行しない」ということは確かでないならばそれは避難経路でない; int1 & int2 -> int3: その圧力容器は避難経路でない; fact17 -> int4: その圧力容器は避難経路でないならばそれはＡＳＴでない; int3 & int4 -> hypothesis; __PROVED__
事実1: そのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るけれど上行しない」ということは成り立たない
事実2: 仮に「あの示現流系剣術は木らしいということはない」ということは誤っていないとすればこの従業員満足は木らしい
事実3: あの示現流系剣術は流動する
事実4: もしも「この従業員満足がゲーム開始だけど浮かさない」ということは偽であるとすればそれは発展途上でない
事実5: あの示現流系剣術が断念的知だとするとこの従業員満足は木らしい
事実6: 「この従業員満足はゲーム開始であるがそれは浮かすということはない」ということは間違いだ
事実7: もしもその圧力容器が上行するとすれば避難経路でない
事実8: もし仮になにがしかの物は上行するとしたら「避難経路でない」ということは偽でない
事実9: 「その圧力容器はカット出来るしそれにそれは上行する」ということは成り立たない
事実10: そのリスト作りは卓上カレンダーでない
事実11: そのリスト作りはカット出来ない
事実12: もし仮に「あるものはカット出来る一方で上行しない」ということは誤っていれば避難経路でない
事実13: 木らしいものはイースターである
事実14: もしもとあるものが殺人であるしその上イースターだとすれば「そのリスト作りは撲滅する」ということは成り立つ
事実15: もしそのリスト作りは卓上カレンダーでないとすると「その圧力容器はカット出来るしそれは上行する」ということは成り立つということはない
事実16: この従業員満足が発展途上でないとすれば拙くてまた殺人である
事実17: もし仮になんらかのものが避難経路でないとすればそれはＡＳＴでない
事実18: あるものが撲滅すれば避難経路でない
事実19: あの仏陀はＡＳＴでない
事実20: 仮にあの示現流系剣術が流動すれば断念的知であるかもしくは木らしくない

仮説: その圧力容器はＡＳＴでない
1. 事実1と事実10から、推論1: "「その圧力容器はカット出来るが上行しない」ということは誤っている"が導かれる
2. 事実12から、推論2: "仮に「その圧力容器はカット出来るけどそれは上行しない」ということは確かでないならばそれは避難経路でない"が導かれる
3. 推論1と推論2から、推論3: "その圧力容器は避難経路でない"が導かれる
4. 事実17から、推論4: "その圧力容器は避難経路でないならばそれはＡＳＴでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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