その義父母は集散地であるし快い
fact1: 仮になにかは美しいとしたらそれは快い fact2: 仮に「とある物は集散地でない一方で狭苦しい」ということは成り立つということはないとすれば「それは集散地だ」ということは成り立つ fact3: もし仮にそのワークシート分析がフランス人らしくないならそれはＤさんだしそれにシニア世代である fact4: この播種後は狭苦しい fact5: もしこのコーヒー牛乳は快くないならば「その義父母は集散地であるし快い」ということは成り立たない fact6: そのワークシート分析が美しいならこの播種後は当該外国人配偶者でないし奥様方だということはない fact7: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立つということはない fact8: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立たないとするとそれはフランス人らしいということはない fact9: もし仮に「そのワークシート分析は狭苦しくない」ということは事実だとしたら「それは快いしその上美しい」ということは真実でない fact10: もし「なんらかのものが快いしその上それは美しい」ということは嘘だとすれば美しいということはない fact11: 「この播種後は当該外国人配偶者でない」ということは成り立つ fact12: そのワークシート分析は美しい fact13: そのワークシート分析はシニア世代ならば「その義父母は集散地でないが狭苦しい」ということは誤っている fact14: この播種後が奥様方でないけれど狭苦しいならこのコーヒー牛乳は快くない
fact6 & fact12 -> int1: この播種後は当該外国人配偶者でないし更に奥様方でない; int1 -> int2: この播種後は奥様方でない; int2 & fact4 -> int3: この播種後は奥様方であるということはないけどそれは狭苦しい; int3 & fact14 -> int4: このコーヒー牛乳は快くない; int4 & fact5 -> hypothesis;
その義父母は集散地だしかつ快い
fact15 -> int5: 仮に「「その義父母は集散地であるということはないけど狭苦しい」ということは成り立つ」ということは間違っているとすると集散地だ; fact20 & fact18 -> int6: そのワークシート分析はフランス人らしくない; fact17 & int6 -> int7: そのワークシート分析はＤさんだしシニア世代である; int7 -> int8: そのワークシート分析はシニア世代だ; fact19 & int8 -> int9: 「その義父母は集散地であるということはないが狭苦しい」ということは嘘だ; int5 & int9 -> int10: その義父母は集散地である; fact16 -> int11: もし仮にその義父母は美しいとすれば「快い」ということは成り立つ;
$facts$ = fact1: 仮になにかは美しいとしたらそれは快い fact2: 仮に「とある物は集散地でない一方で狭苦しい」ということは成り立つということはないとすれば「それは集散地だ」ということは成り立つ fact3: もし仮にそのワークシート分析がフランス人らしくないならそれはＤさんだしそれにシニア世代である fact4: この播種後は狭苦しい fact5: もしこのコーヒー牛乳は快くないならば「その義父母は集散地であるし快い」ということは成り立たない fact6: そのワークシート分析が美しいならこの播種後は当該外国人配偶者でないし奥様方だということはない fact7: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立つということはない fact8: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立たないとするとそれはフランス人らしいということはない fact9: もし仮に「そのワークシート分析は狭苦しくない」ということは事実だとしたら「それは快いしその上美しい」ということは真実でない fact10: もし「なんらかのものが快いしその上それは美しい」ということは嘘だとすれば美しいということはない fact11: 「この播種後は当該外国人配偶者でない」ということは成り立つ fact12: そのワークシート分析は美しい fact13: そのワークシート分析はシニア世代ならば「その義父母は集散地でないが狭苦しい」ということは誤っている fact14: この播種後が奥様方でないけれど狭苦しいならこのコーヒー牛乳は快くない ; $hypothesis$ = その義父母は集散地であるし快い ; $proof$ = 
fact6 & fact12 -> int1: この播種後は当該外国人配偶者でないし更に奥様方でない; int1 -> int2: この播種後は奥様方でない; int2 & fact4 -> int3: この播種後は奥様方であるということはないけどそれは狭苦しい; int3 & fact14 -> int4: このコーヒー牛乳は快くない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮になにかは美しいとしたらそれは快い
事実2: 仮に「とある物は集散地でない一方で狭苦しい」ということは成り立つということはないとすれば「それは集散地だ」ということは成り立つ
事実3: もし仮にそのワークシート分析がフランス人らしくないならそれはＤさんだしそれにシニア世代である
事実4: この播種後は狭苦しい
事実5: もしこのコーヒー牛乳は快くないならば「その義父母は集散地であるし快い」ということは成り立たない
事実6: そのワークシート分析が美しいならこの播種後は当該外国人配偶者でないし奥様方だということはない
事実7: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立つということはない
事実8: 「そのワークシート分析はフランス人らしいし歳出規模である」ということは成り立たないとするとそれはフランス人らしいということはない
事実9: もし仮に「そのワークシート分析は狭苦しくない」ということは事実だとしたら「それは快いしその上美しい」ということは真実でない
事実10: もし「なんらかのものが快いしその上それは美しい」ということは嘘だとすれば美しいということはない
事実11: 「この播種後は当該外国人配偶者でない」ということは成り立つ
事実12: そのワークシート分析は美しい
事実13: そのワークシート分析はシニア世代ならば「その義父母は集散地でないが狭苦しい」ということは誤っている
事実14: この播種後が奥様方でないけれど狭苦しいならこのコーヒー牛乳は快くない

仮説: その義父母は集散地であるし快い
1. 事実6と事実12から、推論1: "この播種後は当該外国人配偶者でないし更に奥様方でない"が導かれる
2. 推論1から、推論2: "この播種後は奥様方でない"が導かれる
3. 推論2と事実4から、推論3: "この播種後は奥様方であるということはないけどそれは狭苦しい"が導かれる
4. 推論3と事実14から、推論4: "このコーヒー牛乳は快くない"が導かれる
5. 推論4と事実5から、仮説が否定される

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