この仮名書きは博愛だ
fact1: この仮名書きは古代以来だ fact2: 「この仮名書きは生々しいししかも弄ぶ」ということは事実だ fact3: 仮にこの仮名書きが弄ぶし古代以来であるならそれは博愛であるということはない
fact2 -> int1: この仮名書きは弄ぶ; int1 & fact1 -> int2: この仮名書きは弄ぶしおまけにそれは古代以来だ; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: この仮名書きは古代以来だ fact2: 「この仮名書きは生々しいししかも弄ぶ」ということは事実だ fact3: 仮にこの仮名書きが弄ぶし古代以来であるならそれは博愛であるということはない ; $hypothesis$ = この仮名書きは博愛だ ; $proof$ = 
fact2 -> int1: この仮名書きは弄ぶ; int1 & fact1 -> int2: この仮名書きは弄ぶしおまけにそれは古代以来だ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: この仮名書きは古代以来だ
事実2: 「この仮名書きは生々しいししかも弄ぶ」ということは事実だ
事実3: 仮にこの仮名書きが弄ぶし古代以来であるならそれは博愛であるということはない

仮説: この仮名書きは博愛だ
1. 事実2から、推論1: "この仮名書きは弄ぶ"が導かれる
2. 推論1と事実1から、推論2: "この仮名書きは弄ぶしおまけにそれは古代以来だ"が導かれる
3. 推論2と事実3から、仮説が否定される

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