この権力対象は環境自体だ
fact1: どれもこれもは採尿でない fact2: 「なにかはオランジュリー美術館だがそれは採尿でない」ということは成り立たないとしたら環境自体でない fact3: もしもこの総合博物館が採尿だということはないとしたらそれはオランジュリー美術館であるか慎まない fact4: もし何らかの物は粘っこくないとしたら「この総合博物館はオランジュリー美術館だがしかしそれは採尿でない」ということは成り立たない fact5: もしこの総合博物館が環境自体でないならばこの権力対象は慎むし環境自体である fact6: 「粘っこくない」物はある
fact6 & fact4 -> int1: 「この総合博物館はオランジュリー美術館であるがしかし採尿でない」ということは偽だ; fact2 -> int2: 「もし「この総合博物館はオランジュリー美術館であるけれどそれは採尿でない」ということは確かでないならばこの総合博物館は環境自体でない」ということは確かだ; int1 & int2 -> int3: この総合博物館は環境自体でない; int3 & fact5 -> int4: この権力対象は慎むししかも環境自体である; int4 -> hypothesis;
この権力対象は環境自体でない
fact7 -> int5: この総合博物館は採尿でない; fact8 & int5 -> int6: この総合博物館はオランジュリー美術館であるかあるいは慎まないかあるいは両方ともだ; int6 -> int7: なにがしかのものはオランジュリー美術館であるかもしくは慎まないかどちらもだ;
$facts$ = fact1: どれもこれもは採尿でない fact2: 「なにかはオランジュリー美術館だがそれは採尿でない」ということは成り立たないとしたら環境自体でない fact3: もしもこの総合博物館が採尿だということはないとしたらそれはオランジュリー美術館であるか慎まない fact4: もし何らかの物は粘っこくないとしたら「この総合博物館はオランジュリー美術館だがしかしそれは採尿でない」ということは成り立たない fact5: もしこの総合博物館が環境自体でないならばこの権力対象は慎むし環境自体である fact6: 「粘っこくない」物はある ; $hypothesis$ = この権力対象は環境自体だ ; $proof$ = 
fact6 & fact4 -> int1: 「この総合博物館はオランジュリー美術館であるがしかし採尿でない」ということは偽だ; fact2 -> int2: 「もし「この総合博物館はオランジュリー美術館であるけれどそれは採尿でない」ということは確かでないならばこの総合博物館は環境自体でない」ということは確かだ; int1 & int2 -> int3: この総合博物館は環境自体でない; int3 & fact5 -> int4: この権力対象は慎むししかも環境自体である; int4 -> hypothesis; __PROVED__
事実1: どれもこれもは採尿でない
事実2: 「なにかはオランジュリー美術館だがそれは採尿でない」ということは成り立たないとしたら環境自体でない
事実3: もしもこの総合博物館が採尿だということはないとしたらそれはオランジュリー美術館であるか慎まない
事実4: もし何らかの物は粘っこくないとしたら「この総合博物館はオランジュリー美術館だがしかしそれは採尿でない」ということは成り立たない
事実5: もしこの総合博物館が環境自体でないならばこの権力対象は慎むし環境自体である
事実6: 「粘っこくない」物はある

仮説: この権力対象は環境自体だ
1. 事実6と事実4から、推論1: "「この総合博物館はオランジュリー美術館であるがしかし採尿でない」ということは偽だ"が導かれる
2. 事実2から、推論2: "「もし「この総合博物館はオランジュリー美術館であるけれどそれは採尿でない」ということは確かでないならばこの総合博物館は環境自体でない」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "この総合博物館は環境自体でない"が導かれる
4. 推論3と事実5から、推論4: "この権力対象は慎むししかも環境自体である"が導かれる
5. 推論4から、仮説が導かれる

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