そのエスモは減じないけど供す
fact1: 「そのエスモは減じるしかつ供す」ということは偽だ fact2: 仮にその故障中が収公しないとすればあのエスモは減じないけど供す fact3: 「あのＲＯＡＤは等しくて費目である」ということは嘘だ fact4: 仮にそのエスモは費目であるとしたら「あのＲＯＡＤは供すけど調査実施であるということはない」ということは成り立たない fact5: そのエスモは調査実施であるとすれば「それは減じるし供す」ということは成り立たない fact6: もし「そのエスモは供すがしかしそれは等しくない」ということは本当でないとしたらあのＲＯＡＤは費目だ fact7: 「その故障中は費目だがしかし収公しない」ということは成り立つということはない fact8: 「その故障中は収公する」ということは成り立つとすると「あのＲＯＡＤが等しいしその上それは費目である」ということは嘘だ fact9: 「そのエスモは減じないけど等しい」ということは事実でない fact10: もし何かは調査実施ならば「「減じるし供す」ということは成り立つ」ということは偽である fact11: 「そのエスモは免疫組織化学染色だが包囲攻撃しない」ということは間違っている fact12: その故障中は収公するなら「あのＲＯＡＤは等しいが費目だということはない」ということは成り立つということはない fact13: もし仮に何かは供すならば「費目でないがしかし等しい」ということは間違いだ fact14: もし仮になにかは語順でないとすれば「それは調査実施でないけれど常連らしい」ということは成り立たない fact15: その故障中は収公する fact16: 仮にその故障中は費目ならば「あのＲＯＡＤは等しいけれどそれは収公しない」ということは間違いである fact17: 「もし仮に「なにがしかのものは調査実施でないけれど常連らしい」ということは成り立たないならばそれは収公しない」ということは真実である fact18: 「馬鹿でかくない物は語順であるかあるいは巡回であるということはないかどちらもである」ということは成り立つ fact19: もし仮に「「そのエスモは等しい一方で費目だということはない」ということは本当だ」ということは確かでないとすればあのＲＯＡＤは調査実施だ fact20: あのＲＯＡＤは減じる fact21: 何かは調査実施ならば「減じないし更にそれは供す」ということは間違っている fact22: 「そのエスモは費目であるけれどそれは減じない」ということは誤りだ fact23: もし仮に「あのＲＯＡＤは等しい一方でそれは費目でない」ということは成り立つということはないならばそのエスモは調査実施だ fact24: 仮にあのＲＯＡＤが費目であるならそのエスモは調査実施だ
fact12 & fact15 -> int1: 「あのＲＯＡＤは等しいけど費目でない」ということは嘘だ; int1 & fact23 -> int2: そのエスモは調査実施だ; fact21 -> int3: そのエスモは調査実施だとしたら「それは減じないけれど供す」ということは間違いだ; int2 & int3 -> hypothesis;
fact12 & fact15 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact23 -> int2: {B}{c}; fact21 -> int3: {B}{c} -> ¬(¬{D}{c} & {C}{c}); int2 & int3 -> hypothesis;
そのエスモは減じない一方で供す
fact28 -> int4: もしも「その故障中は調査実施であるということはないがしかしそれは常連らしい」ということは本当でないとするとそれは収公しない; fact25 -> int5: もしもその故障中は語順でないなら「調査実施でなくて常連らしい」ということは成り立たない; fact27 -> int6: あのＲＯＡＤが馬鹿でかくないとすれば語順であるかまたは巡回でない;
$facts$ = fact1: 「そのエスモは減じるしかつ供す」ということは偽だ fact2: 仮にその故障中が収公しないとすればあのエスモは減じないけど供す fact3: 「あのＲＯＡＤは等しくて費目である」ということは嘘だ fact4: 仮にそのエスモは費目であるとしたら「あのＲＯＡＤは供すけど調査実施であるということはない」ということは成り立たない fact5: そのエスモは調査実施であるとすれば「それは減じるし供す」ということは成り立たない fact6: もし「そのエスモは供すがしかしそれは等しくない」ということは本当でないとしたらあのＲＯＡＤは費目だ fact7: 「その故障中は費目だがしかし収公しない」ということは成り立つということはない fact8: 「その故障中は収公する」ということは成り立つとすると「あのＲＯＡＤが等しいしその上それは費目である」ということは嘘だ fact9: 「そのエスモは減じないけど等しい」ということは事実でない fact10: もし何かは調査実施ならば「「減じるし供す」ということは成り立つ」ということは偽である fact11: 「そのエスモは免疫組織化学染色だが包囲攻撃しない」ということは間違っている fact12: その故障中は収公するなら「あのＲＯＡＤは等しいが費目だということはない」ということは成り立つということはない fact13: もし仮に何かは供すならば「費目でないがしかし等しい」ということは間違いだ fact14: もし仮になにかは語順でないとすれば「それは調査実施でないけれど常連らしい」ということは成り立たない fact15: その故障中は収公する fact16: 仮にその故障中は費目ならば「あのＲＯＡＤは等しいけれどそれは収公しない」ということは間違いである fact17: 「もし仮に「なにがしかのものは調査実施でないけれど常連らしい」ということは成り立たないならばそれは収公しない」ということは真実である fact18: 「馬鹿でかくない物は語順であるかあるいは巡回であるということはないかどちらもである」ということは成り立つ fact19: もし仮に「「そのエスモは等しい一方で費目だということはない」ということは本当だ」ということは確かでないとすればあのＲＯＡＤは調査実施だ fact20: あのＲＯＡＤは減じる fact21: 何かは調査実施ならば「減じないし更にそれは供す」ということは間違っている fact22: 「そのエスモは費目であるけれどそれは減じない」ということは誤りだ fact23: もし仮に「あのＲＯＡＤは等しい一方でそれは費目でない」ということは成り立つということはないならばそのエスモは調査実施だ fact24: 仮にあのＲＯＡＤが費目であるならそのエスモは調査実施だ ; $hypothesis$ = そのエスモは減じないけど供す ; $proof$ = 
fact12 & fact15 -> int1: 「あのＲＯＡＤは等しいけど費目でない」ということは嘘だ; int1 & fact23 -> int2: そのエスモは調査実施だ; fact21 -> int3: そのエスモは調査実施だとしたら「それは減じないけれど供す」ということは間違いだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「そのエスモは減じるしかつ供す」ということは偽だ
事実2: 仮にその故障中が収公しないとすればあのエスモは減じないけど供す
事実3: 「あのＲＯＡＤは等しくて費目である」ということは嘘だ
事実4: 仮にそのエスモは費目であるとしたら「あのＲＯＡＤは供すけど調査実施であるということはない」ということは成り立たない
事実5: そのエスモは調査実施であるとすれば「それは減じるし供す」ということは成り立たない
事実6: もし「そのエスモは供すがしかしそれは等しくない」ということは本当でないとしたらあのＲＯＡＤは費目だ
事実7: 「その故障中は費目だがしかし収公しない」ということは成り立つということはない
事実8: 「その故障中は収公する」ということは成り立つとすると「あのＲＯＡＤが等しいしその上それは費目である」ということは嘘だ
事実9: 「そのエスモは減じないけど等しい」ということは事実でない
事実10: もし何かは調査実施ならば「「減じるし供す」ということは成り立つ」ということは偽である
事実11: 「そのエスモは免疫組織化学染色だが包囲攻撃しない」ということは間違っている
事実12: その故障中は収公するなら「あのＲＯＡＤは等しいが費目だということはない」ということは成り立つということはない
事実13: もし仮に何かは供すならば「費目でないがしかし等しい」ということは間違いだ
事実14: もし仮になにかは語順でないとすれば「それは調査実施でないけれど常連らしい」ということは成り立たない
事実15: その故障中は収公する
事実16: 仮にその故障中は費目ならば「あのＲＯＡＤは等しいけれどそれは収公しない」ということは間違いである
事実17: 「もし仮に「なにがしかのものは調査実施でないけれど常連らしい」ということは成り立たないならばそれは収公しない」ということは真実である
事実18: 「馬鹿でかくない物は語順であるかあるいは巡回であるということはないかどちらもである」ということは成り立つ
事実19: もし仮に「「そのエスモは等しい一方で費目だということはない」ということは本当だ」ということは確かでないとすればあのＲＯＡＤは調査実施だ
事実20: あのＲＯＡＤは減じる
事実21: 何かは調査実施ならば「減じないし更にそれは供す」ということは間違っている
事実22: 「そのエスモは費目であるけれどそれは減じない」ということは誤りだ
事実23: もし仮に「あのＲＯＡＤは等しい一方でそれは費目でない」ということは成り立つということはないならばそのエスモは調査実施だ
事実24: 仮にあのＲＯＡＤが費目であるならそのエスモは調査実施だ

仮説: そのエスモは減じないけど供す
1. 事実12と事実15から、推論1: "「あのＲＯＡＤは等しいけど費目でない」ということは嘘だ"が導かれる
2. 推論1と事実23から、推論2: "そのエスモは調査実施だ"が導かれる
3. 事実21から、推論3: "そのエスモは調査実施だとしたら「それは減じないけれど供す」ということは間違いだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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