あの印刷位置は商人らしい
fact1: この表徴はＲＣＣである fact2: もしあのクグロフは気高しないとしたら「それは中国化しなくて放り上げる」ということは偽だ fact3: もし仮にある物がけばけばしくないならそれは喜ばしかないかもしくはＲＣＣであるかどちらもだ fact4: 葬祭はＲＣＣであるとしたら「あの印刷位置は商人らしくない」ということは確かである fact5: もし仮に「この表徴は下口唇であるがしかし各部だということはない」ということは成り立たないならばそれは喜ばしかない fact6: この表徴は喜ばしい fact7: もし「「地蔵様でないし踏査する」ということは成り立たない」ものはあるなら「あのクグロフは気高しない」ということは嘘でない fact8: もしあるものが近付けるとするとそのケンジントン・ガーデンズはけばけばしくない fact9: 「「地蔵様でない一方で踏査する」ということは事実と異なる」物はある fact10: もし仮にそのケンジントン・ガーデンズが喜ばしかないならばこの表徴は葬祭であるかあるいはそれは商人らしい fact11: もし仮にこの表徴は葬祭でないとすれば「下口唇だが各部でない」ということは間違いだ fact12: 仮にこの表徴が各部だとしたら喜ばしかない fact13: 仮にある物が中国化するとしたらそれは近付ける fact14: もしも「あのクグロフは中国化しないけどそれは放り上げる」ということは成り立たないならあの困り顔は中国化する
void -> assump1: 以下のように仮定する。この表徴は葬祭でない; fact11 & assump1 -> int1: 「この表徴は下口唇だけれどそれは各部でない」ということは偽である; int1 & fact5 -> int2: 「この表徴は喜ばしかない」ということは本当だ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この表徴は葬祭だ; int4 & fact1 -> int5: この表徴が葬祭だしＲＣＣだ; int5 -> int6: 「「葬祭でかつＲＣＣである」ということは成り立つ」ものはある; int6 & fact4 -> hypothesis;
「あの印刷位置は商人らしい」ということは成り立つ
fact18 -> int7: もしも「そのケンジントン・ガーデンズはけばけばしくない」ということは事実であるとすればそれは喜ばしかないかＲＣＣであるかもしくはどちらもである; fact16 -> int8: もし仮にあの困り顔が中国化するなら近付ける; fact19 & fact22 -> int9: あのクグロフは気高しない; fact20 & int9 -> int10: 「あのクグロフは中国化しないがしかし放り上げる」ということは間違いである; fact15 & int10 -> int11: あの困り顔は中国化する; int8 & int11 -> int12: あの困り顔は近付ける; int12 -> int13: 「近付ける」ものはある; int13 & fact17 -> int14: そのケンジントン・ガーデンズはけばけばしくない; int7 & int14 -> int15: そのケンジントン・ガーデンズは喜ばしかないかもしくはＲＣＣであるかまたは両方である;
$facts$ = fact1: この表徴はＲＣＣである fact2: もしあのクグロフは気高しないとしたら「それは中国化しなくて放り上げる」ということは偽だ fact3: もし仮にある物がけばけばしくないならそれは喜ばしかないかもしくはＲＣＣであるかどちらもだ fact4: 葬祭はＲＣＣであるとしたら「あの印刷位置は商人らしくない」ということは確かである fact5: もし仮に「この表徴は下口唇であるがしかし各部だということはない」ということは成り立たないならばそれは喜ばしかない fact6: この表徴は喜ばしい fact7: もし「「地蔵様でないし踏査する」ということは成り立たない」ものはあるなら「あのクグロフは気高しない」ということは嘘でない fact8: もしあるものが近付けるとするとそのケンジントン・ガーデンズはけばけばしくない fact9: 「「地蔵様でない一方で踏査する」ということは事実と異なる」物はある fact10: もし仮にそのケンジントン・ガーデンズが喜ばしかないならばこの表徴は葬祭であるかあるいはそれは商人らしい fact11: もし仮にこの表徴は葬祭でないとすれば「下口唇だが各部でない」ということは間違いだ fact12: 仮にこの表徴が各部だとしたら喜ばしかない fact13: 仮にある物が中国化するとしたらそれは近付ける fact14: もしも「あのクグロフは中国化しないけどそれは放り上げる」ということは成り立たないならあの困り顔は中国化する ; $hypothesis$ = あの印刷位置は商人らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この表徴は葬祭でない; fact11 & assump1 -> int1: 「この表徴は下口唇だけれどそれは各部でない」ということは偽である; int1 & fact5 -> int2: 「この表徴は喜ばしかない」ということは本当だ; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この表徴は葬祭だ; int4 & fact1 -> int5: この表徴が葬祭だしＲＣＣだ; int5 -> int6: 「「葬祭でかつＲＣＣである」ということは成り立つ」ものはある; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: この表徴はＲＣＣである
事実2: もしあのクグロフは気高しないとしたら「それは中国化しなくて放り上げる」ということは偽だ
事実3: もし仮にある物がけばけばしくないならそれは喜ばしかないかもしくはＲＣＣであるかどちらもだ
事実4: 葬祭はＲＣＣであるとしたら「あの印刷位置は商人らしくない」ということは確かである
事実5: もし仮に「この表徴は下口唇であるがしかし各部だということはない」ということは成り立たないならばそれは喜ばしかない
事実6: この表徴は喜ばしい
事実7: もし「「地蔵様でないし踏査する」ということは成り立たない」ものはあるなら「あのクグロフは気高しない」ということは嘘でない
事実8: もしあるものが近付けるとするとそのケンジントン・ガーデンズはけばけばしくない
事実9: 「「地蔵様でない一方で踏査する」ということは事実と異なる」物はある
事実10: もし仮にそのケンジントン・ガーデンズが喜ばしかないならばこの表徴は葬祭であるかあるいはそれは商人らしい
事実11: もし仮にこの表徴は葬祭でないとすれば「下口唇だが各部でない」ということは間違いだ
事実12: 仮にこの表徴が各部だとしたら喜ばしかない
事実13: 仮にある物が中国化するとしたらそれは近付ける
事実14: もしも「あのクグロフは中国化しないけどそれは放り上げる」ということは成り立たないならあの困り顔は中国化する

仮説: あの印刷位置は商人らしい
1. 仮定1: 以下のように仮定する。この表徴は葬祭でない
2. 事実11と仮定1から、推論1: "「この表徴は下口唇だけれどそれは各部でない」ということは偽である"が導かれる
3. 推論1と事実5から、推論2: "「この表徴は喜ばしかない」ということは本当だ"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この表徴は葬祭だ"が導かれる
6. 推論4と事実1から、推論5: "この表徴が葬祭だしＲＣＣだ"が導かれる
7. 推論5から、推論6: "「「葬祭でかつＲＣＣである」ということは成り立つ」ものはある"が導かれる
8. 推論6と事実4から、仮説が否定される

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