この借金は大徳寺である
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: あの郷土資料は分かり難い一方でそれは宿坊でない
void -> assump1: 以下のように仮定する。あの差し渡しは楽しめるけれど奥深くない; fact16 & assump1 -> int1: あの差し渡しは宿坊だ; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの差し渡しは楽しめるけど奥深くない」ということは誤りである; int3 & fact15 -> int4: あの差し渡しは美術工芸品である; int4 & fact11 -> int5: そのイギリス料理は受洗する; int5 & fact5 -> int6: そのイギリス料理は完成すし受洗する; int6 & fact19 -> hypothesis;
この欧米並みは奥深い
fact27 -> int7: もしもこの欧米並みが大徳寺でない一方で完成すとすると受洗する;
$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$ = 
void -> assump1: 以下のように仮定する。あの差し渡しは楽しめるけれど奥深くない; fact16 & assump1 -> int1: あの差し渡しは宿坊だ; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの差し渡しは楽しめるけど奥深くない」ということは誤りである; int3 & fact15 -> int4: あの差し渡しは美術工芸品である; int4 & fact11 -> int5: そのイギリス料理は受洗する; int5 & fact5 -> int6: そのイギリス料理は完成すし受洗する; int6 & fact19 -> 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. 仮定1: 以下のように仮定する。あの差し渡しは楽しめるけれど奥深くない
2. 事実16と仮定1から、推論1: "あの差し渡しは宿坊だ"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの差し渡しは楽しめるけど奥深くない」ということは誤りである"が導かれる
5. 推論3と事実15から、推論4: "あの差し渡しは美術工芸品である"が導かれる
6. 推論4と事実11から、推論5: "そのイギリス料理は受洗する"が導かれる
7. 推論5と事実5から、推論6: "そのイギリス料理は完成すし受洗する"が導かれる
8. 推論6と事実19から、仮説が否定される

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