「あの配列情報は見苦しいか中小企業等協同組合法である」ということは成り立たない
fact1: 「「この軽率さは区分変更である一方でけたたましくない」ということは偽である」ということは本当である fact2: もしこの軽率さは判定するということはないとすると「あの配列情報は見苦しいかあるいはそれは中小企業等協同組合法であるかもしくはどちらもである」ということは偽だ fact3: もしもあのカレールーが義務付けないとすればこの軽率さは成ずけど遷延しない fact4: もし仮に「何らかの物は成ずが遷延しない」ということは成り立てば「それは溜め込み易い」ということは成り立つ fact5: 仮になんらかの物が交わせないとしたら構成メンバーでないけれど新し fact6: この軽率さが見苦しくないならあの配列情報は見苦しいかもしくは中小企業等協同組合法であるかまたはどちらもだ fact7: もし「この軽率さは区分変更だということはなくて更にそれはけたたましくない」ということは間違いだとしたらそれは憎しみだということはない fact8: もし仮になにかは憎しみでないならば「判定しないし一般債権でない」ということは成り立たない fact9: あの戦争後は交わせない fact10: 「この軽率さは区分変更でないしその上けたたましくない」ということは成り立たない fact11: 「何らかの物は判定しなくてその上それは一般債権でない」ということは成り立たないなら「見苦しいということはない」ということは確かだ fact12: 仮になにがしかのものは憎しみでないし一般債権でないとすれば判定しない fact13: なにがしかのものは桜こでないとすると義務付けない fact14: 溜め込み易いものは憎しみでないししかも一般債権でない
fact7 & fact10 -> int1: この軽率さは憎しみでない; fact8 -> int2: 仮にこの軽率さは憎しみであるということはないとすれば「判定しないしさらに一般債権でない」ということは成り立たない; int1 & int2 -> int3: 「この軽率さは判定しなくてかつ一般債権でない」ということは間違いだ; fact11 -> int4: もし仮に「この軽率さは判定しなくて一般債権でない」ということは間違っているなら「見苦しくない」ということは事実である; int3 & int4 -> int5: この軽率さは見苦しいということはない; int5 & fact6 -> hypothesis;
「あの配列情報は見苦しいかもしくは中小企業等協同組合法であるかもしくは両方だ」ということは間違っている
fact16 -> int6: この軽率さは憎しみでないしその上一般債権でないならば判定しない; fact21 -> int7: 仮にこの軽率さが溜め込み易いとすればそれは憎しみでなくてその上それは一般債権でない; fact19 -> int8: もしこの軽率さが成ずけど遷延しないとしたらそれは溜め込み易い; fact18 -> int9: 仮にあのカレールーは桜こでないならば義務付けない; fact22 -> int10: もしも「あの戦争後は交わせない」ということは成り立つとすればそれは構成メンバーでないが新し; int10 & fact17 -> int11: あの戦争後は構成メンバーでないけど新し; int11 -> int12: 「構成メンバーであるということはないが新し」物はある;
$facts$ = fact1: 「「この軽率さは区分変更である一方でけたたましくない」ということは偽である」ということは本当である fact2: もしこの軽率さは判定するということはないとすると「あの配列情報は見苦しいかあるいはそれは中小企業等協同組合法であるかもしくはどちらもである」ということは偽だ fact3: もしもあのカレールーが義務付けないとすればこの軽率さは成ずけど遷延しない fact4: もし仮に「何らかの物は成ずが遷延しない」ということは成り立てば「それは溜め込み易い」ということは成り立つ fact5: 仮になんらかの物が交わせないとしたら構成メンバーでないけれど新し fact6: この軽率さが見苦しくないならあの配列情報は見苦しいかもしくは中小企業等協同組合法であるかまたはどちらもだ fact7: もし「この軽率さは区分変更だということはなくて更にそれはけたたましくない」ということは間違いだとしたらそれは憎しみだということはない fact8: もし仮になにかは憎しみでないならば「判定しないし一般債権でない」ということは成り立たない fact9: あの戦争後は交わせない fact10: 「この軽率さは区分変更でないしその上けたたましくない」ということは成り立たない fact11: 「何らかの物は判定しなくてその上それは一般債権でない」ということは成り立たないなら「見苦しいということはない」ということは確かだ fact12: 仮になにがしかのものは憎しみでないし一般債権でないとすれば判定しない fact13: なにがしかのものは桜こでないとすると義務付けない fact14: 溜め込み易いものは憎しみでないししかも一般債権でない ; $hypothesis$ = 「あの配列情報は見苦しいか中小企業等協同組合法である」ということは成り立たない ; $proof$ = 
fact7 & fact10 -> int1: この軽率さは憎しみでない; fact8 -> int2: 仮にこの軽率さは憎しみであるということはないとすれば「判定しないしさらに一般債権でない」ということは成り立たない; int1 & int2 -> int3: 「この軽率さは判定しなくてかつ一般債権でない」ということは間違いだ; fact11 -> int4: もし仮に「この軽率さは判定しなくて一般債権でない」ということは間違っているなら「見苦しくない」ということは事実である; int3 & int4 -> int5: この軽率さは見苦しいということはない; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「この軽率さは区分変更である一方でけたたましくない」ということは偽である」ということは本当である
事実2: もしこの軽率さは判定するということはないとすると「あの配列情報は見苦しいかあるいはそれは中小企業等協同組合法であるかもしくはどちらもである」ということは偽だ
事実3: もしもあのカレールーが義務付けないとすればこの軽率さは成ずけど遷延しない
事実4: もし仮に「何らかの物は成ずが遷延しない」ということは成り立てば「それは溜め込み易い」ということは成り立つ
事実5: 仮になんらかの物が交わせないとしたら構成メンバーでないけれど新し
事実6: この軽率さが見苦しくないならあの配列情報は見苦しいかもしくは中小企業等協同組合法であるかまたはどちらもだ
事実7: もし「この軽率さは区分変更だということはなくて更にそれはけたたましくない」ということは間違いだとしたらそれは憎しみだということはない
事実8: もし仮になにかは憎しみでないならば「判定しないし一般債権でない」ということは成り立たない
事実9: あの戦争後は交わせない
事実10: 「この軽率さは区分変更でないしその上けたたましくない」ということは成り立たない
事実11: 「何らかの物は判定しなくてその上それは一般債権でない」ということは成り立たないなら「見苦しいということはない」ということは確かだ
事実12: 仮になにがしかのものは憎しみでないし一般債権でないとすれば判定しない
事実13: なにがしかのものは桜こでないとすると義務付けない
事実14: 溜め込み易いものは憎しみでないししかも一般債権でない

仮説: 「あの配列情報は見苦しいか中小企業等協同組合法である」ということは成り立たない
1. 事実7と事実10から、推論1: "この軽率さは憎しみでない"が導かれる
2. 事実8から、推論2: "仮にこの軽率さは憎しみであるということはないとすれば「判定しないしさらに一般債権でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この軽率さは判定しなくてかつ一般債権でない」ということは間違いだ"が導かれる
4. 事実11から、推論4: "もし仮に「この軽率さは判定しなくて一般債権でない」ということは間違っているなら「見苦しくない」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "この軽率さは見苦しいということはない"が導かれる
6. 推論5と事実6から、仮説が否定される

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