このペリフェリクは理解し辛い
fact1: 不味い日韓間は理解し辛いということはない fact2: このペリフェリクは不味い fact3: 「その揚屋町は理解し辛くない一方で中核市制度である」ということは間違っていればこのペリフェリクは理解し辛い fact4: このペリフェリクは日韓間である
fact1 -> int1: もし仮にこのペリフェリクが日韓間だし不味いならそれは理解し辛くない; fact4 & fact2 -> int2: このペリフェリクは日韓間であるしまた不味い; int1 & int2 -> hypothesis;
fact1 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact4 & fact2 -> int2: ({AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
このペリフェリクは理解し辛い
$facts$ = fact1: 不味い日韓間は理解し辛いということはない fact2: このペリフェリクは不味い fact3: 「その揚屋町は理解し辛くない一方で中核市制度である」ということは間違っていればこのペリフェリクは理解し辛い fact4: このペリフェリクは日韓間である ; $hypothesis$ = このペリフェリクは理解し辛い ; $proof$ = 
fact1 -> int1: もし仮にこのペリフェリクが日韓間だし不味いならそれは理解し辛くない; fact4 & fact2 -> int2: このペリフェリクは日韓間であるしまた不味い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 不味い日韓間は理解し辛いということはない
事実2: このペリフェリクは不味い
事実3: 「その揚屋町は理解し辛くない一方で中核市制度である」ということは間違っていればこのペリフェリクは理解し辛い
事実4: このペリフェリクは日韓間である

仮説: このペリフェリクは理解し辛い
1. 事実1から、推論1: "もし仮にこのペリフェリクが日韓間だし不味いならそれは理解し辛くない"が導かれる
2. 事実4と事実2から、推論2: "このペリフェリクは日韓間であるしまた不味い"が導かれる
3. 推論1と推論2から、仮説が否定される

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