「あの面子は怠くらない」ということは成り立つ
fact1: その痴呆老人は壁代だしおまけに変わり易い fact2: もしあのレイドが送稿するとしたらあの面子は怠い fact3: 仮にその痴呆老人が壁代だとするとあのレイドは送稿する
fact1 -> int1: その痴呆老人は壁代だ; int1 & fact3 -> int2: あのレイドは送稿する; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: その痴呆老人は壁代だしおまけに変わり易い fact2: もしあのレイドが送稿するとしたらあの面子は怠い fact3: 仮にその痴呆老人が壁代だとするとあのレイドは送稿する ; $hypothesis$ = 「あの面子は怠くらない」ということは成り立つ ; $proof$ = 
fact1 -> int1: その痴呆老人は壁代だ; int1 & fact3 -> int2: あのレイドは送稿する; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その痴呆老人は壁代だしおまけに変わり易い
事実2: もしあのレイドが送稿するとしたらあの面子は怠い
事実3: 仮にその痴呆老人が壁代だとするとあのレイドは送稿する

仮説: 「あの面子は怠くらない」ということは成り立つ
1. 事実1から、推論1: "その痴呆老人は壁代だ"が導かれる
2. 推論1と事実3から、推論2: "あのレイドは送稿する"が導かれる
3. 推論2と事実2から、仮説が否定される

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