この二チャンネルは比例しない
fact1: その鬼卒は頂戴する fact2: その鬼卒は軽し fact3: 何かは頂戴する fact4: 「座り易い」ものはある fact5: この二チャンネルは頂戴する fact6: その訓練法は頂戴する fact7: もし仮に「頂戴するし軽し」ものがあるとするとこの二チャンネルは比例する
fact1 & fact2 -> int1: その鬼卒は頂戴するししかも軽し; int1 -> int2: 「頂戴するし軽し」物はある; int2 & fact7 -> hypothesis;
$facts$ = fact1: その鬼卒は頂戴する fact2: その鬼卒は軽し fact3: 何かは頂戴する fact4: 「座り易い」ものはある fact5: この二チャンネルは頂戴する fact6: その訓練法は頂戴する fact7: もし仮に「頂戴するし軽し」ものがあるとするとこの二チャンネルは比例する ; $hypothesis$ = この二チャンネルは比例しない ; $proof$ = 
fact1 & fact2 -> int1: その鬼卒は頂戴するししかも軽し; int1 -> int2: 「頂戴するし軽し」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: その鬼卒は頂戴する
事実2: その鬼卒は軽し
事実3: 何かは頂戴する
事実4: 「座り易い」ものはある
事実5: この二チャンネルは頂戴する
事実6: その訓練法は頂戴する
事実7: もし仮に「頂戴するし軽し」ものがあるとするとこの二チャンネルは比例する

仮説: この二チャンネルは比例しない
1. 事実1と事実2から、推論1: "その鬼卒は頂戴するししかも軽し"が導かれる
2. 推論1から、推論2: "「頂戴するし軽し」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

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