あの道徳主義は頂である
fact1: この休耕田は頂であるし加えて全額負担する fact2: もし仮にこの休耕田は手緩くないとしたら「その山川は急テンポだがそれは薄汚くない」ということは間違っている fact3: もしも「とある物は和食膳でなくて更に急テンポでない」ということは誤っているとすればそれは手緩い fact4: 「この休耕田は手緩いということはないが薄汚い」ということは本当でない fact5: その慢性は昇進する fact6: もしもなにかは昇進するとすれば全額負担するということはない fact7: もしこの休耕田は手緩くないなら「その山川は急テンポでないし薄汚くない」ということは正しくない fact8: もしあるものは和食膳でないとすれば「各ボタンでないし白々しかない」ということは成り立たない fact9: もし仮に「なにかは醸成しないしそれにそれは砕け易くない」ということは偽だとすれば恍ける fact10: この板ガラスは和食膳でない fact11: とある物は急テンポならば「薄汚い」ということは成り立つ fact12: もしもその山川が全額負担するならばあの道徳主義は頂でない fact13: もしこの休耕田が頂であるしそれに全額負担すればこの板ガラスは全額負担するということはない fact14: もしとあるものは薄汚いなら「あの化学薬品は薄汚いということはないが和食膳だ」ということは誤っている fact15: この板ガラスが和食膳でないならばこの休耕田は手緩いということはない fact16: もしも「なんらかの物は急テンポでなくてかつ薄汚いということはない」ということは偽であるとしたら全額負担する fact17: 仮にこの板ガラスが和食膳ならあの道徳主義は頂だ fact18: あるものが全額負担するということはないとすると急テンポであるか手緩いかまたはどちらもだ fact19: もしも「何らかのものは薄汚くないけれど和食膳だ」ということは成り立たないならば和食膳でない fact20: 「その山川は手緩くないがそれは全額負担する」ということは事実と異なる
fact15 & fact10 -> int1: この休耕田は手緩くない; int1 & fact7 -> int2: 「その山川は急テンポでないしさらにそれは薄汚くない」ということは間違っている; fact16 -> int3: もしも「その山川は急テンポでなくてそれにそれは薄汚いということはない」ということは誤っているとしたらそれは全額負担する; int2 & int3 -> int4: その山川は全額負担する; int4 & fact12 -> hypothesis;
「あの化学薬品は各ボタンだということはないし白々しかない」ということは誤っている
fact23 -> int5: もしもあの化学薬品は和食膳でないならば「それは各ボタンでないししかも白々しかない」ということは誤りだ; fact24 -> int6: 「「あの化学薬品は薄汚くないけれど和食膳だ」ということは偽であるとするとあの化学薬品は和食膳でない」ということは成り立つ; fact25 -> int7: もし仮にこの板ガラスが全額負担しないとすればそれは急テンポであるかあるいはそれは手緩い; fact21 & fact26 -> int8: この板ガラスは全額負担しない; int7 & int8 -> int9: この板ガラスは急テンポであるかそれは手緩い; fact22 -> int10: もしこの板ガラスは急テンポであるとしたら「それは薄汚い」ということは正しい;
$facts$ = fact1: この休耕田は頂であるし加えて全額負担する fact2: もし仮にこの休耕田は手緩くないとしたら「その山川は急テンポだがそれは薄汚くない」ということは間違っている fact3: もしも「とある物は和食膳でなくて更に急テンポでない」ということは誤っているとすればそれは手緩い fact4: 「この休耕田は手緩いということはないが薄汚い」ということは本当でない fact5: その慢性は昇進する fact6: もしもなにかは昇進するとすれば全額負担するということはない fact7: もしこの休耕田は手緩くないなら「その山川は急テンポでないし薄汚くない」ということは正しくない fact8: もしあるものは和食膳でないとすれば「各ボタンでないし白々しかない」ということは成り立たない fact9: もし仮に「なにかは醸成しないしそれにそれは砕け易くない」ということは偽だとすれば恍ける fact10: この板ガラスは和食膳でない fact11: とある物は急テンポならば「薄汚い」ということは成り立つ fact12: もしもその山川が全額負担するならばあの道徳主義は頂でない fact13: もしこの休耕田が頂であるしそれに全額負担すればこの板ガラスは全額負担するということはない fact14: もしとあるものは薄汚いなら「あの化学薬品は薄汚いということはないが和食膳だ」ということは誤っている fact15: この板ガラスが和食膳でないならばこの休耕田は手緩いということはない fact16: もしも「なんらかの物は急テンポでなくてかつ薄汚いということはない」ということは偽であるとしたら全額負担する fact17: 仮にこの板ガラスが和食膳ならあの道徳主義は頂だ fact18: あるものが全額負担するということはないとすると急テンポであるか手緩いかまたはどちらもだ fact19: もしも「何らかのものは薄汚くないけれど和食膳だ」ということは成り立たないならば和食膳でない fact20: 「その山川は手緩くないがそれは全額負担する」ということは事実と異なる ; $hypothesis$ = あの道徳主義は頂である ; $proof$ = 
fact15 & fact10 -> int1: この休耕田は手緩くない; int1 & fact7 -> int2: 「その山川は急テンポでないしさらにそれは薄汚くない」ということは間違っている; fact16 -> int3: もしも「その山川は急テンポでなくてそれにそれは薄汚いということはない」ということは誤っているとしたらそれは全額負担する; int2 & int3 -> int4: その山川は全額負担する; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: この休耕田は頂であるし加えて全額負担する
事実2: もし仮にこの休耕田は手緩くないとしたら「その山川は急テンポだがそれは薄汚くない」ということは間違っている
事実3: もしも「とある物は和食膳でなくて更に急テンポでない」ということは誤っているとすればそれは手緩い
事実4: 「この休耕田は手緩いということはないが薄汚い」ということは本当でない
事実5: その慢性は昇進する
事実6: もしもなにかは昇進するとすれば全額負担するということはない
事実7: もしこの休耕田は手緩くないなら「その山川は急テンポでないし薄汚くない」ということは正しくない
事実8: もしあるものは和食膳でないとすれば「各ボタンでないし白々しかない」ということは成り立たない
事実9: もし仮に「なにかは醸成しないしそれにそれは砕け易くない」ということは偽だとすれば恍ける
事実10: この板ガラスは和食膳でない
事実11: とある物は急テンポならば「薄汚い」ということは成り立つ
事実12: もしもその山川が全額負担するならばあの道徳主義は頂でない
事実13: もしこの休耕田が頂であるしそれに全額負担すればこの板ガラスは全額負担するということはない
事実14: もしとあるものは薄汚いなら「あの化学薬品は薄汚いということはないが和食膳だ」ということは誤っている
事実15: この板ガラスが和食膳でないならばこの休耕田は手緩いということはない
事実16: もしも「なんらかの物は急テンポでなくてかつ薄汚いということはない」ということは偽であるとしたら全額負担する
事実17: 仮にこの板ガラスが和食膳ならあの道徳主義は頂だ
事実18: あるものが全額負担するということはないとすると急テンポであるか手緩いかまたはどちらもだ
事実19: もしも「何らかのものは薄汚くないけれど和食膳だ」ということは成り立たないならば和食膳でない
事実20: 「その山川は手緩くないがそれは全額負担する」ということは事実と異なる

仮説: あの道徳主義は頂である
1. 事実15と事実10から、推論1: "この休耕田は手緩くない"が導かれる
2. 推論1と事実7から、推論2: "「その山川は急テンポでないしさらにそれは薄汚くない」ということは間違っている"が導かれる
3. 事実16から、推論3: "もしも「その山川は急テンポでなくてそれにそれは薄汚いということはない」ということは誤っているとしたらそれは全額負担する"が導かれる
4. 推論2と推論3から、推論4: "その山川は全額負担する"が導かれる
5. 推論4と事実12から、仮説が否定される

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