「この地域空間は懐こい」ということは本当である
fact1: 仮にその鼓膜が通学しないしそれは定年者でないならそれは懐こい fact2: もし仮にその鼓膜が忌ま忌ましかないならあの盥舟は惨たらしくない fact3: あの盥舟は定年者である fact4: もしもその鼓膜がＦＣ契約書ならそれは忌ま忌ましかないかもしくは定年者であるかもしくは両方ともだ fact5: なにかは遜色無いとすれば洗い出さなくてまた思しない fact6: もしあの盥舟が惨たらしくないとするとこの地域空間は洗い出さない fact7: この地域空間は惨たらしい fact8: あのアンティークビーズは通学する fact9: この折畳み時は懐こいということはない fact10: その鼓膜は懐こい fact11: 仮にその鼓膜がＦＣ契約書だとすると忌ま忌ましいかもしくは定年者であるかあるいは両方だ fact12: もし仮にこの地域空間が洗い出すということはないしその上思しということはないならばそれは遜色無い fact13: 仮にこの地域空間は懐こいししかも遜色無いとすれば「それは通学するということはない」ということは真実である fact14: もしその鼓膜が忌ま忌ましかないかあるいはそれが定年者であるならあの盥舟は惨たらしくない fact15: この地域空間は洗い出さない fact16: その鼓膜はＦＣ契約書だ fact17: その鼓膜は思し fact18: その鼓膜は忌ま忌ましいかまたはそれは定年者であるかまたは両方だ fact19: この地域空間は洗い出すけど思しないとすればそれは遜色無い fact20: この地域空間は通学する fact21: その鼓膜が惨たらしいとするとこの地域空間はＦＣ契約書であるということはない fact22: 仮にこの地域空間は懐こくないし遜色無くないならＦＣ契約書である fact23: 仮にその鼓膜がＦＣ契約書ならこの地域空間はＦＣ契約書でない fact24: もし仮に何らかの物が思しないとしたらそれはＦＣ契約書であるかあるいは惨たらしいかもしくは両方である fact25: もしもあの盥舟が惨たらしくないならばあの地域空間は洗い出さないし更に思しない fact26: もしもこの地域空間が惨たらしくないとしたら忌ま忌ましいしかつＦＣ契約書だ
fact4 & fact16 -> int1: その鼓膜は忌ま忌ましかないかあるいは定年者だ; int1 & fact14 -> int2: あの盥舟は惨たらしくない; int2 & fact25 -> int3: この地域空間は洗い出さなくて加えて思しない; int3 & fact12 -> int4: この地域空間は遜色無い; void -> assump1: 以下のように仮定する。この地域空間は懐こい; int4 & assump1 -> int5: 「この地域空間は懐こいしその上遜色無い」ということは事実である; int5 & fact13 -> int6: この地域空間は通学しない; int6 & fact20 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「この地域空間は懐こい」ということは成り立つ
fact28 -> int8: もし仮にあの盥舟は遜色無いとしたら「洗い出さないしまた思しない」ということは本当である; fact27 -> int9: 仮にあの盥舟が思しないとするとそれはＦＣ契約書であるかまたはそれは惨たらしい;
$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: もし仮に何らかの物が思しないとしたらそれはＦＣ契約書であるかあるいは惨たらしいかもしくは両方である fact25: もしもあの盥舟が惨たらしくないならばあの地域空間は洗い出さないし更に思しない fact26: もしもこの地域空間が惨たらしくないとしたら忌ま忌ましいしかつＦＣ契約書だ ; $hypothesis$ = 「この地域空間は懐こい」ということは本当である ; $proof$ = 
fact4 & fact16 -> int1: その鼓膜は忌ま忌ましかないかあるいは定年者だ; int1 & fact14 -> int2: あの盥舟は惨たらしくない; int2 & fact25 -> int3: この地域空間は洗い出さなくて加えて思しない; int3 & fact12 -> int4: この地域空間は遜色無い; void -> assump1: 以下のように仮定する。この地域空間は懐こい; int4 & assump1 -> int5: 「この地域空間は懐こいしその上遜色無い」ということは事実である; int5 & fact13 -> int6: この地域空間は通学しない; int6 & fact20 -> int7: これは矛盾である; [assump1] & int7 -> 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: もし仮に何らかの物が思しないとしたらそれはＦＣ契約書であるかあるいは惨たらしいかもしくは両方である
事実25: もしもあの盥舟が惨たらしくないならばあの地域空間は洗い出さないし更に思しない
事実26: もしもこの地域空間が惨たらしくないとしたら忌ま忌ましいしかつＦＣ契約書だ

仮説: 「この地域空間は懐こい」ということは本当である
1. 事実4と事実16から、推論1: "その鼓膜は忌ま忌ましかないかあるいは定年者だ"が導かれる
2. 推論1と事実14から、推論2: "あの盥舟は惨たらしくない"が導かれる
3. 推論2と事実25から、推論3: "この地域空間は洗い出さなくて加えて思しない"が導かれる
4. 推論3と事実12から、推論4: "この地域空間は遜色無い"が導かれる
5. 仮定1: 以下のように仮定する。この地域空間は懐こい
6. 推論4と仮定1から、推論5: "「この地域空間は懐こいしその上遜色無い」ということは事実である"が導かれる
7. 推論5と事実13から、推論6: "この地域空間は通学しない"が導かれる
8. 推論6と事実20から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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