この水瓶は仕分けする
fact1: 仮に「なにがしかのものは反問するかもしくは廉でない」ということは誤りであるとしたらそれは止む無くない fact2: 仮に「陶器製でない」物はあるとしたら「あの開放モデルはＡＨでないしさらに潔しない」ということは事実と異なる fact3: 「陶器製だということはない」ものはある fact4: 仮にこの労働者派遣事業は境祭りでないならば「あの開放モデルは潔ししそれにＡＨである」ということは成り立たない fact5: もしなんらかの物は聞こえ続けないとすれば「それは反問するかまたは廉だということはないかあるいは両方だ」ということは成り立たない fact6: この外野は疑わしいということはない fact7: この水瓶は納得し易くない fact8: 仮に「貫き通さない」ものはあるとすると「あの開放モデルは仕分けするが境祭りであるということはない」ということは正しくない fact9: もしも何かは貫き通しないかそれは境祭りでないかあるいは両方であるならば仕分けするということはない fact10: 仮にあの国際会議が二十五号布告であるならばあの貸し金等は聞こえ続けない fact11: 陶器製は仕分けする fact12: 「疑わしくないものはある」ということは成り立つならあの国際会議は二十五号布告である fact13: もしも「なにかはＡＨでないしその上それは潔しない」ということは誤っていれば境祭りでない fact14: なにがしかの物はレッスンする fact15: 仮にこの水瓶が仕分けするということはないかまたはそれは境祭りでないとするとそれはＡＨでない fact16: 仮にあの開放モデルが境祭りでないとするとこの水瓶は貫き通すということはないか境祭りでないかまたは両方だ fact17: もし仮に何らかの物は止む無くないなら「完了出来るし加えて貫き通す」ということは誤りだ fact18: このメラニン色素はもうしない fact19: もし仮になんらかの物が境祭りでないとすれば仕分けしない
fact3 & fact2 -> int1: 「あの開放モデルはＡＨでなくて加えて潔しない」ということは嘘だ; fact13 -> int2: もし「あの開放モデルはＡＨでなくてしかも潔しない」ということは誤りだとすればそれは境祭りでない; int1 & int2 -> int3: あの開放モデルは境祭りでない; int3 & fact16 -> int4: この水瓶は貫き通しないかあるいは境祭りであるということはないかあるいは両方ともである; fact9 -> int5: もしこの水瓶が貫き通しないか境祭りでないかもしくは両方だとすると「仕分けしない」ということは本当である; int4 & int5 -> hypothesis;
この水瓶は仕分けする
fact25 -> int6: もしこの水瓶が陶器製だとするとそれは仕分けする; fact24 -> int7: あの貸し金等は止む無くないとすれば「完了出来るし加えて貫き通す」ということは間違いだ; fact22 -> int8: もし仮に「「あの貸し金等は反問するかそれは廉であるということはないかもしくはどちらもだ」ということは事実だ」ということは間違いであるならば「それは止む無くない」ということは事実である; fact21 -> int9: 仮にあの貸し金等は聞こえ続けないとしたら「反問するか廉でないかあるいは両方ともだ」ということは偽だ; fact26 -> int10: なにかは疑わしくない; int10 & fact27 -> int11: あの国際会議は二十五号布告だ; fact23 & int11 -> int12: あの貸し金等は聞こえ続けるということはない; int9 & int12 -> int13: 「「あの貸し金等は反問するかまたはそれは廉でない」ということは事実だ」ということは嘘だ; int8 & int13 -> int14: あの貸し金等は止む無くない; int7 & int14 -> int15: 「あの貸し金等は完了出来るし加えてそれは貫き通す」ということは成り立たない; int15 -> int16: 「「完了出来るしかつ貫き通す」ということは嘘である」ものはある;
$facts$ = fact1: 仮に「なにがしかのものは反問するかもしくは廉でない」ということは誤りであるとしたらそれは止む無くない fact2: 仮に「陶器製でない」物はあるとしたら「あの開放モデルはＡＨでないしさらに潔しない」ということは事実と異なる fact3: 「陶器製だということはない」ものはある fact4: 仮にこの労働者派遣事業は境祭りでないならば「あの開放モデルは潔ししそれにＡＨである」ということは成り立たない fact5: もしなんらかの物は聞こえ続けないとすれば「それは反問するかまたは廉だということはないかあるいは両方だ」ということは成り立たない fact6: この外野は疑わしいということはない fact7: この水瓶は納得し易くない fact8: 仮に「貫き通さない」ものはあるとすると「あの開放モデルは仕分けするが境祭りであるということはない」ということは正しくない fact9: もしも何かは貫き通しないかそれは境祭りでないかあるいは両方であるならば仕分けするということはない fact10: 仮にあの国際会議が二十五号布告であるならばあの貸し金等は聞こえ続けない fact11: 陶器製は仕分けする fact12: 「疑わしくないものはある」ということは成り立つならあの国際会議は二十五号布告である fact13: もしも「なにかはＡＨでないしその上それは潔しない」ということは誤っていれば境祭りでない fact14: なにがしかの物はレッスンする fact15: 仮にこの水瓶が仕分けするということはないかまたはそれは境祭りでないとするとそれはＡＨでない fact16: 仮にあの開放モデルが境祭りでないとするとこの水瓶は貫き通すということはないか境祭りでないかまたは両方だ fact17: もし仮に何らかの物は止む無くないなら「完了出来るし加えて貫き通す」ということは誤りだ fact18: このメラニン色素はもうしない fact19: もし仮になんらかの物が境祭りでないとすれば仕分けしない ; $hypothesis$ = この水瓶は仕分けする ; $proof$ = 
fact3 & fact2 -> int1: 「あの開放モデルはＡＨでなくて加えて潔しない」ということは嘘だ; fact13 -> int2: もし「あの開放モデルはＡＨでなくてしかも潔しない」ということは誤りだとすればそれは境祭りでない; int1 & int2 -> int3: あの開放モデルは境祭りでない; int3 & fact16 -> int4: この水瓶は貫き通しないかあるいは境祭りであるということはないかあるいは両方ともである; fact9 -> int5: もしこの水瓶が貫き通しないか境祭りでないかもしくは両方だとすると「仕分けしない」ということは本当である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「なにがしかのものは反問するかもしくは廉でない」ということは誤りであるとしたらそれは止む無くない
事実2: 仮に「陶器製でない」物はあるとしたら「あの開放モデルはＡＨでないしさらに潔しない」ということは事実と異なる
事実3: 「陶器製だということはない」ものはある
事実4: 仮にこの労働者派遣事業は境祭りでないならば「あの開放モデルは潔ししそれにＡＨである」ということは成り立たない
事実5: もしなんらかの物は聞こえ続けないとすれば「それは反問するかまたは廉だということはないかあるいは両方だ」ということは成り立たない
事実6: この外野は疑わしいということはない
事実7: この水瓶は納得し易くない
事実8: 仮に「貫き通さない」ものはあるとすると「あの開放モデルは仕分けするが境祭りであるということはない」ということは正しくない
事実9: もしも何かは貫き通しないかそれは境祭りでないかあるいは両方であるならば仕分けするということはない
事実10: 仮にあの国際会議が二十五号布告であるならばあの貸し金等は聞こえ続けない
事実11: 陶器製は仕分けする
事実12: 「疑わしくないものはある」ということは成り立つならあの国際会議は二十五号布告である
事実13: もしも「なにかはＡＨでないしその上それは潔しない」ということは誤っていれば境祭りでない
事実14: なにがしかの物はレッスンする
事実15: 仮にこの水瓶が仕分けするということはないかまたはそれは境祭りでないとするとそれはＡＨでない
事実16: 仮にあの開放モデルが境祭りでないとするとこの水瓶は貫き通すということはないか境祭りでないかまたは両方だ
事実17: もし仮に何らかの物は止む無くないなら「完了出来るし加えて貫き通す」ということは誤りだ
事実18: このメラニン色素はもうしない
事実19: もし仮になんらかの物が境祭りでないとすれば仕分けしない

仮説: この水瓶は仕分けする
1. 事実3と事実2から、推論1: "「あの開放モデルはＡＨでなくて加えて潔しない」ということは嘘だ"が導かれる
2. 事実13から、推論2: "もし「あの開放モデルはＡＨでなくてしかも潔しない」ということは誤りだとすればそれは境祭りでない"が導かれる
3. 推論1と推論2から、推論3: "あの開放モデルは境祭りでない"が導かれる
4. 推論3と事実16から、推論4: "この水瓶は貫き通しないかあるいは境祭りであるということはないかあるいは両方ともである"が導かれる
5. 事実9から、推論5: "もしこの水瓶が貫き通しないか境祭りでないかもしくは両方だとすると「仕分けしない」ということは本当である"が導かれる
6. 推論4と推論5から、仮説が否定される

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