あの措置法は土民でない
fact1: あの文学館は土民だ fact2: あの文学館は無理無くない fact3: そのレントゲンは印だ fact4: あの文学館は乾燥出来ない fact5: 「あの文学館は無理無くない」ということは間違いだということはないとすると「あの措置法は土民であるがそれは印でない」ということは正しくない fact6: あの措置法は印でない fact7: 「「あの文学館は無理無いけど印でない」ということは事実である」ということは成り立たない
void -> assump1: 以下のように仮定する。あの措置法は土民だ; assump1 & fact6 -> int1: あの措置法は土民であるけど印でない; fact5 & fact2 -> int2: 「「「あの措置法は土民であるけど印であるということはない」ということは成り立つ」ということは嘘である」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あの文学館は土民だ fact2: あの文学館は無理無くない fact3: そのレントゲンは印だ fact4: あの文学館は乾燥出来ない fact5: 「あの文学館は無理無くない」ということは間違いだということはないとすると「あの措置法は土民であるがそれは印でない」ということは正しくない fact6: あの措置法は印でない fact7: 「「あの文学館は無理無いけど印でない」ということは事実である」ということは成り立たない ; $hypothesis$ = あの措置法は土民でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの措置法は土民だ; assump1 & fact6 -> int1: あの措置法は土民であるけど印でない; fact5 & fact2 -> int2: 「「「あの措置法は土民であるけど印であるということはない」ということは成り立つ」ということは嘘である」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの文学館は土民だ
事実2: あの文学館は無理無くない
事実3: そのレントゲンは印だ
事実4: あの文学館は乾燥出来ない
事実5: 「あの文学館は無理無くない」ということは間違いだということはないとすると「あの措置法は土民であるがそれは印でない」ということは正しくない
事実6: あの措置法は印でない
事実7: 「「あの文学館は無理無いけど印でない」ということは事実である」ということは成り立たない

仮説: あの措置法は土民でない
1. 仮定1: 以下のように仮定する。あの措置法は土民だ
2. 仮定1と事実6から、推論1: "あの措置法は土民であるけど印でない"が導かれる
3. 事実5と事実2から、推論2: "「「「あの措置法は土民であるけど印であるということはない」ということは成り立つ」ということは嘘である」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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