「あの上の句は平たくてそれは書込み線だ」ということは誤りだ
fact1: 仮にあのＢオールドは無人化しないならば「あの上の句は無人化するしおまけにそれは書込み線だ」ということは偽だ fact2: あのＢオールドは平たいということはない fact3: 「「あの上の句は貧乏臭くて平たい」ということは成り立つ」ということは成り立つということはない fact4: 「あのＢオールドは無人化しなくてそれは貧乏臭くない」ということは正しい fact5: もしもこの御神酒は平たいということはないとしたら「あの上の句は平たくてかつ書込み線である」ということは成り立たない fact6: もし仮にあのＢオールドが無人化しなくて貧乏臭いということはないなら「この御神酒は平たくない」ということは成り立つ
fact6 & fact4 -> int1: この御神酒は平たくない; int1 & fact5 -> hypothesis;
$facts$ = fact1: 仮にあのＢオールドは無人化しないならば「あの上の句は無人化するしおまけにそれは書込み線だ」ということは偽だ fact2: あのＢオールドは平たいということはない fact3: 「「あの上の句は貧乏臭くて平たい」ということは成り立つ」ということは成り立つということはない fact4: 「あのＢオールドは無人化しなくてそれは貧乏臭くない」ということは正しい fact5: もしもこの御神酒は平たいということはないとしたら「あの上の句は平たくてかつ書込み線である」ということは成り立たない fact6: もし仮にあのＢオールドが無人化しなくて貧乏臭いということはないなら「この御神酒は平たくない」ということは成り立つ ; $hypothesis$ = 「あの上の句は平たくてそれは書込み線だ」ということは誤りだ ; $proof$ = 
fact6 & fact4 -> int1: この御神酒は平たくない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 仮にあのＢオールドは無人化しないならば「あの上の句は無人化するしおまけにそれは書込み線だ」ということは偽だ
事実2: あのＢオールドは平たいということはない
事実3: 「「あの上の句は貧乏臭くて平たい」ということは成り立つ」ということは成り立つということはない
事実4: 「あのＢオールドは無人化しなくてそれは貧乏臭くない」ということは正しい
事実5: もしもこの御神酒は平たいということはないとしたら「あの上の句は平たくてかつ書込み線である」ということは成り立たない
事実6: もし仮にあのＢオールドが無人化しなくて貧乏臭いということはないなら「この御神酒は平たくない」ということは成り立つ

仮説: 「あの上の句は平たくてそれは書込み線だ」ということは誤りだ
1. 事実6と事実4から、推論1: "この御神酒は平たくない"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。