この二重課税は快くない
fact1: この七条仏所は関節部であるかまたは芳しいか両方だ fact2: 仮にこの七条仏所が芳しいとすればこの二重課税は快い fact3: もし仮にこの七条仏所が関節部だとするとこの二重課税は快い
$facts$ = fact1: この七条仏所は関節部であるかまたは芳しいか両方だ fact2: 仮にこの七条仏所が芳しいとすればこの二重課税は快い fact3: もし仮にこの七条仏所が関節部だとするとこの二重課税は快い ; $hypothesis$ = この二重課税は快くない ; $proof$ = 
事実1: この七条仏所は関節部であるかまたは芳しいか両方だ
事実2: 仮にこの七条仏所が芳しいとすればこの二重課税は快い
事実3: もし仮にこの七条仏所が関節部だとするとこの二重課税は快い

仮説: この二重課税は快くない