その混み具合はせせこましい
fact1: この二書は結び付き易い fact2: 冗談ぽいものはせせこましい fact3: 仮にこの二書が冗談ぽいかまたは結び付き易いとすればあの混み具合はせせこましくない
fact1 -> int1: この二書は冗談ぽいかまたはそれは結び付き易い; int1 & fact3 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> hypothesis;
この伊勢参宮名所図会はせせこましい
fact4 -> int2: 仮にこの伊勢参宮名所図会が冗談ぽいならばせせこましい;
$facts$ = fact1: この二書は結び付き易い fact2: 冗談ぽいものはせせこましい fact3: 仮にこの二書が冗談ぽいかまたは結び付き易いとすればあの混み具合はせせこましくない ; $hypothesis$ = その混み具合はせせこましい ; $proof$ = 
fact1 -> int1: この二書は冗談ぽいかまたはそれは結び付き易い; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この二書は結び付き易い
事実2: 冗談ぽいものはせせこましい
事実3: 仮にこの二書が冗談ぽいかまたは結び付き易いとすればあの混み具合はせせこましくない

仮説: その混み具合はせせこましい
1. 事実1から、推論1: "この二書は冗談ぽいかまたはそれは結び付き易い"が導かれる
2. 推論1と事実3から、仮説が否定される

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