その大馬鹿者は瓦解する
fact1: その大馬鹿者は沙汰する fact2: その大馬鹿者が沙汰するとすれば拾い出す fact3: もしなにがしかの物が拾い出すかそれは平定するかまたはどちらもであるならば「瓦解しない」ということは本当だ fact4: この温健中庸は沙汰する
fact2 & fact1 -> int1: 「その大馬鹿者は拾い出す」ということは事実である; int1 -> int2: その大馬鹿者は拾い出すかあるいは平定するかあるいはどちらもだ; fact3 -> int3: もしその大馬鹿者が拾い出すかまたは平定するかもしくはどちらもであるならそれは瓦解しない; int2 & int3 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); fact3 -> int3: ({B}{a} v {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
$facts$ = fact1: その大馬鹿者は沙汰する fact2: その大馬鹿者が沙汰するとすれば拾い出す fact3: もしなにがしかの物が拾い出すかそれは平定するかまたはどちらもであるならば「瓦解しない」ということは本当だ fact4: この温健中庸は沙汰する ; $hypothesis$ = その大馬鹿者は瓦解する ; $proof$ = 
fact2 & fact1 -> int1: 「その大馬鹿者は拾い出す」ということは事実である; int1 -> int2: その大馬鹿者は拾い出すかあるいは平定するかあるいはどちらもだ; fact3 -> int3: もしその大馬鹿者が拾い出すかまたは平定するかもしくはどちらもであるならそれは瓦解しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その大馬鹿者は沙汰する
事実2: その大馬鹿者が沙汰するとすれば拾い出す
事実3: もしなにがしかの物が拾い出すかそれは平定するかまたはどちらもであるならば「瓦解しない」ということは本当だ
事実4: この温健中庸は沙汰する

仮説: その大馬鹿者は瓦解する
1. 事実2と事実1から、推論1: "「その大馬鹿者は拾い出す」ということは事実である"が導かれる
2. 推論1から、推論2: "その大馬鹿者は拾い出すかあるいは平定するかあるいはどちらもだ"が導かれる
3. 事実3から、推論3: "もしその大馬鹿者が拾い出すかまたは平定するかもしくはどちらもであるならそれは瓦解しない"が導かれる
4. 推論2と推論3から、仮説が否定される

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