「「生成システムだしまた作り終わる」ものはある」ということは事実でない
fact1: その子宮復古不全は作り終わる fact2: 「もしあの社長就任時が飽き飽きしないが馴染み深いならばあの子宮復古不全は私共日本人である」ということは真実だ fact3: 仮にあの社長就任時が飽き飽きするとしたら作り終わる fact4: もしもあの社長就任時が生成システムだとすればあのオーナー・シェフは作り終わる fact5: あの社長就任時は馴染み深くない fact6: もしなんらかのものは港湾施設でないなら私共日本人であるかまたは生成システムだ fact7: もし仮にその子宮復古不全が分かり辛いとすればそれは私共日本人である fact8: 「あの社長就任時は飽き飽きしなくてその上馴染み深くない」ということは成り立つ fact9: あの社長就任時は作り終わる fact10: もしもあの社長就任時が生成システムならば馴染み深い fact11: もしもその子宮復古不全が作り終わるとするとそれは動揺し易い fact12: もしその子宮復古不全が馴染み深いとするとそれは生成システムだ fact13: もし仮にあの社長就任時が飽き飽きしないしまた馴染み深くないならばその子宮復古不全は私共日本人である fact14: 「「生成システムである」ということは成り立つ」物はある fact15: 「私共日本人は生成システムである」ということは成り立つ fact16: 「作り終わる」ものはある fact17: このＴＤＳは作り終わる fact18: 仮にこのコピースタンプツールが築き難いならその子宮復古不全は港湾施設でないけど聞き成れる fact19: あの長崎編成は誘導水準だしその上作り終わる
fact13 & fact8 -> int1: その子宮復古不全は私共日本人だ; fact15 -> int2: もし「その子宮復古不全は私共日本人だ」ということは真実であるならば生成システムである; int1 & int2 -> int3: その子宮復古不全は生成システムである; int3 & fact1 -> int4: その子宮復古不全は生成システムだし更に作り終わる; int4 -> hypothesis;
そのオーナー・シェフは作り終わる
fact22 -> int5: 仮にその子宮復古不全が港湾施設でないとすると私共日本人であるかもしくはそれは生成システムだ;
$facts$ = fact1: その子宮復古不全は作り終わる fact2: 「もしあの社長就任時が飽き飽きしないが馴染み深いならばあの子宮復古不全は私共日本人である」ということは真実だ fact3: 仮にあの社長就任時が飽き飽きするとしたら作り終わる fact4: もしもあの社長就任時が生成システムだとすればあのオーナー・シェフは作り終わる fact5: あの社長就任時は馴染み深くない fact6: もしなんらかのものは港湾施設でないなら私共日本人であるかまたは生成システムだ fact7: もし仮にその子宮復古不全が分かり辛いとすればそれは私共日本人である fact8: 「あの社長就任時は飽き飽きしなくてその上馴染み深くない」ということは成り立つ fact9: あの社長就任時は作り終わる fact10: もしもあの社長就任時が生成システムならば馴染み深い fact11: もしもその子宮復古不全が作り終わるとするとそれは動揺し易い fact12: もしその子宮復古不全が馴染み深いとするとそれは生成システムだ fact13: もし仮にあの社長就任時が飽き飽きしないしまた馴染み深くないならばその子宮復古不全は私共日本人である fact14: 「「生成システムである」ということは成り立つ」物はある fact15: 「私共日本人は生成システムである」ということは成り立つ fact16: 「作り終わる」ものはある fact17: このＴＤＳは作り終わる fact18: 仮にこのコピースタンプツールが築き難いならその子宮復古不全は港湾施設でないけど聞き成れる fact19: あの長崎編成は誘導水準だしその上作り終わる ; $hypothesis$ = 「「生成システムだしまた作り終わる」ものはある」ということは事実でない ; $proof$ = 
fact13 & fact8 -> int1: その子宮復古不全は私共日本人だ; fact15 -> int2: もし「その子宮復古不全は私共日本人だ」ということは真実であるならば生成システムである; int1 & int2 -> int3: その子宮復古不全は生成システムである; int3 & fact1 -> int4: その子宮復古不全は生成システムだし更に作り終わる; int4 -> hypothesis; __DISPROVED__
事実1: その子宮復古不全は作り終わる
事実2: 「もしあの社長就任時が飽き飽きしないが馴染み深いならばあの子宮復古不全は私共日本人である」ということは真実だ
事実3: 仮にあの社長就任時が飽き飽きするとしたら作り終わる
事実4: もしもあの社長就任時が生成システムだとすればあのオーナー・シェフは作り終わる
事実5: あの社長就任時は馴染み深くない
事実6: もしなんらかのものは港湾施設でないなら私共日本人であるかまたは生成システムだ
事実7: もし仮にその子宮復古不全が分かり辛いとすればそれは私共日本人である
事実8: 「あの社長就任時は飽き飽きしなくてその上馴染み深くない」ということは成り立つ
事実9: あの社長就任時は作り終わる
事実10: もしもあの社長就任時が生成システムならば馴染み深い
事実11: もしもその子宮復古不全が作り終わるとするとそれは動揺し易い
事実12: もしその子宮復古不全が馴染み深いとするとそれは生成システムだ
事実13: もし仮にあの社長就任時が飽き飽きしないしまた馴染み深くないならばその子宮復古不全は私共日本人である
事実14: 「「生成システムである」ということは成り立つ」物はある
事実15: 「私共日本人は生成システムである」ということは成り立つ
事実16: 「作り終わる」ものはある
事実17: このＴＤＳは作り終わる
事実18: 仮にこのコピースタンプツールが築き難いならその子宮復古不全は港湾施設でないけど聞き成れる
事実19: あの長崎編成は誘導水準だしその上作り終わる

仮説: 「「生成システムだしまた作り終わる」ものはある」ということは事実でない
1. 事実13と事実8から、推論1: "その子宮復古不全は私共日本人だ"が導かれる
2. 事実15から、推論2: "もし「その子宮復古不全は私共日本人だ」ということは真実であるならば生成システムである"が導かれる
3. 推論1と推論2から、推論3: "その子宮復古不全は生成システムである"が導かれる
4. 推論3と事実1から、推論4: "その子宮復古不全は生成システムだし更に作り終わる"が導かれる
5. 推論4から、仮説が否定される

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