このボードは命名しない
fact1: この住民同士は書き殴らない fact2: この帯枕は書き殴らない fact3: もしも「佃でない」物があればこのボードは見張らない fact4: 「佃でない」ものはある fact5: このボードは製造工程中だ fact6: もし仮に「このボードは見張らないし佃でない」ということは間違いであるとすれば「この天井画は書き殴らない」ということは成り立つ fact7: もしもこのボードが命名するがしかし見張らないならばそれは御読み頂かない fact8: 仮にこの住民同士が書き殴らないとすればこのボードは御読み頂くし製造工程中である
fact4 & fact3 -> int1: このボードは見張らない; void -> assump1: 以下のように仮定する。このボードは命名する; int1 & assump1 -> int2: このボードは命名するけれど見張らない; int2 & fact7 -> int3: このボードは御読み頂かない; fact8 & fact1 -> int4: このボードは御読み頂くし更にそれは製造工程中だ; int4 -> int5: このボードは御読み頂く; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この天井画は書き殴らない
$facts$ = fact1: この住民同士は書き殴らない fact2: この帯枕は書き殴らない fact3: もしも「佃でない」物があればこのボードは見張らない fact4: 「佃でない」ものはある fact5: このボードは製造工程中だ fact6: もし仮に「このボードは見張らないし佃でない」ということは間違いであるとすれば「この天井画は書き殴らない」ということは成り立つ fact7: もしもこのボードが命名するがしかし見張らないならばそれは御読み頂かない fact8: 仮にこの住民同士が書き殴らないとすればこのボードは御読み頂くし製造工程中である ; $hypothesis$ = このボードは命名しない ; $proof$ = 
fact4 & fact3 -> int1: このボードは見張らない; void -> assump1: 以下のように仮定する。このボードは命名する; int1 & assump1 -> int2: このボードは命名するけれど見張らない; int2 & fact7 -> int3: このボードは御読み頂かない; fact8 & fact1 -> int4: このボードは御読み頂くし更にそれは製造工程中だ; int4 -> int5: このボードは御読み頂く; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この住民同士は書き殴らない
事実2: この帯枕は書き殴らない
事実3: もしも「佃でない」物があればこのボードは見張らない
事実4: 「佃でない」ものはある
事実5: このボードは製造工程中だ
事実6: もし仮に「このボードは見張らないし佃でない」ということは間違いであるとすれば「この天井画は書き殴らない」ということは成り立つ
事実7: もしもこのボードが命名するがしかし見張らないならばそれは御読み頂かない
事実8: 仮にこの住民同士が書き殴らないとすればこのボードは御読み頂くし製造工程中である

仮説: このボードは命名しない
1. 事実4と事実3から、推論1: "このボードは見張らない"が導かれる
2. 仮定1: 以下のように仮定する。このボードは命名する
3. 推論1と仮定1から、推論2: "このボードは命名するけれど見張らない"が導かれる
4. 推論2と事実7から、推論3: "このボードは御読み頂かない"が導かれる
5. 事実8と事実1から、推論4: "このボードは御読み頂くし更にそれは製造工程中だ"が導かれる
6. 推論4から、推論5: "このボードは御読み頂く"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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