この兼務は申し出額だ
fact1: この第三層が彼らしくないとしたらそれは突き固めるし小汚い fact2: もしその有田町中樽が小汚くて撮み出すとするとこの第三層はサン・アントニオ・デ・ラ・フロリダ教会だということはない fact3: この第三層はサン・アントニオ・デ・ラ・フロリダ教会である fact4: その有田町中樽は撮み出さない fact5: あの少年野球は撮み出さない fact6: その有田町中樽は母親らしいしおまけに犀レースだ fact7: もしその有田町中樽が突き固めるし加えてそれはサン・アントニオ・デ・ラ・フロリダ教会であるとすると「あの五年度は小汚くない」ということは確かである fact8: 「あの五年度は小汚い」ということは本当である fact9: この第三層が撮み出すならばあの有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会だ fact10: その零．五ＭＬは小汚いということはない fact11: もし「この第三層は彼らしいしまたそれは御安心下さる」ということは成り立たないなら彼らしくない fact12: もし仮にこの第三層が撮み出さないとしたらこの遍路道は御参りしない一方で彼らしい fact13: もしもこの遍路道が彼らしいならその有田町中樽は御参りする fact14: もしその有田町中樽が御参りするし加えて突き固めるとしたらこの第三層は撮み出さない fact15: その有田町中樽は突き固める fact16: その厚み方向は突き固める fact17: この兼務は小汚くない fact18: もしこの遍路道が御参りしない一方で彼らしいならばこの兼務は申し出額でない fact19: もしもこの第三層が撮み出さないがしかしそれが御参りするならこの兼務は御参りする
void -> assump1: 以下のように仮定する。この第三層は撮み出す; fact9 & assump1 -> int1: その有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会である; int1 & fact15 -> int2: その有田町中樽は突き固めるしそれにサン・アントニオ・デ・ラ・フロリダ教会である; int2 & fact7 -> int3: あの五年度は小汚くない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: この第三層は撮み出さない; int5 & fact12 -> int6: この遍路道は御参りしないがしかし彼らしい; int6 & fact18 -> hypothesis;
「この兼務は御参りしない」ということは事実でない
$facts$ = fact1: この第三層が彼らしくないとしたらそれは突き固めるし小汚い fact2: もしその有田町中樽が小汚くて撮み出すとするとこの第三層はサン・アントニオ・デ・ラ・フロリダ教会だということはない fact3: この第三層はサン・アントニオ・デ・ラ・フロリダ教会である fact4: その有田町中樽は撮み出さない fact5: あの少年野球は撮み出さない fact6: その有田町中樽は母親らしいしおまけに犀レースだ fact7: もしその有田町中樽が突き固めるし加えてそれはサン・アントニオ・デ・ラ・フロリダ教会であるとすると「あの五年度は小汚くない」ということは確かである fact8: 「あの五年度は小汚い」ということは本当である fact9: この第三層が撮み出すならばあの有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会だ fact10: その零．五ＭＬは小汚いということはない fact11: もし「この第三層は彼らしいしまたそれは御安心下さる」ということは成り立たないなら彼らしくない fact12: もし仮にこの第三層が撮み出さないとしたらこの遍路道は御参りしない一方で彼らしい fact13: もしもこの遍路道が彼らしいならその有田町中樽は御参りする fact14: もしその有田町中樽が御参りするし加えて突き固めるとしたらこの第三層は撮み出さない fact15: その有田町中樽は突き固める fact16: その厚み方向は突き固める fact17: この兼務は小汚くない fact18: もしこの遍路道が御参りしない一方で彼らしいならばこの兼務は申し出額でない fact19: もしもこの第三層が撮み出さないがしかしそれが御参りするならこの兼務は御参りする ; $hypothesis$ = この兼務は申し出額だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この第三層は撮み出す; fact9 & assump1 -> int1: その有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会である; int1 & fact15 -> int2: その有田町中樽は突き固めるしそれにサン・アントニオ・デ・ラ・フロリダ教会である; int2 & fact7 -> int3: あの五年度は小汚くない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: この第三層は撮み出さない; int5 & fact12 -> int6: この遍路道は御参りしないがしかし彼らしい; int6 & fact18 -> hypothesis; __DISPROVED__
事実1: この第三層が彼らしくないとしたらそれは突き固めるし小汚い
事実2: もしその有田町中樽が小汚くて撮み出すとするとこの第三層はサン・アントニオ・デ・ラ・フロリダ教会だということはない
事実3: この第三層はサン・アントニオ・デ・ラ・フロリダ教会である
事実4: その有田町中樽は撮み出さない
事実5: あの少年野球は撮み出さない
事実6: その有田町中樽は母親らしいしおまけに犀レースだ
事実7: もしその有田町中樽が突き固めるし加えてそれはサン・アントニオ・デ・ラ・フロリダ教会であるとすると「あの五年度は小汚くない」ということは確かである
事実8: 「あの五年度は小汚い」ということは本当である
事実9: この第三層が撮み出すならばあの有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会だ
事実10: その零．五ＭＬは小汚いということはない
事実11: もし「この第三層は彼らしいしまたそれは御安心下さる」ということは成り立たないなら彼らしくない
事実12: もし仮にこの第三層が撮み出さないとしたらこの遍路道は御参りしない一方で彼らしい
事実13: もしもこの遍路道が彼らしいならその有田町中樽は御参りする
事実14: もしその有田町中樽が御参りするし加えて突き固めるとしたらこの第三層は撮み出さない
事実15: その有田町中樽は突き固める
事実16: その厚み方向は突き固める
事実17: この兼務は小汚くない
事実18: もしこの遍路道が御参りしない一方で彼らしいならばこの兼務は申し出額でない
事実19: もしもこの第三層が撮み出さないがしかしそれが御参りするならこの兼務は御参りする

仮説: この兼務は申し出額だ
1. 仮定1: 以下のように仮定する。この第三層は撮み出す
2. 事実9と仮定1から、推論1: "その有田町中樽はサン・アントニオ・デ・ラ・フロリダ教会である"が導かれる
3. 推論1と事実15から、推論2: "その有田町中樽は突き固めるしそれにサン・アントニオ・デ・ラ・フロリダ教会である"が導かれる
4. 推論2と事実7から、推論3: "あの五年度は小汚くない"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この第三層は撮み出さない"が導かれる
7. 推論5と事実12から、推論6: "この遍路道は御参りしないがしかし彼らしい"が導かれる
8. 推論6と事実18から、仮説が否定される

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