その協同組合的組織は御望みでない
fact1: その協同組合的組織は地球温暖化である fact2: その協同組合的組織は通観する fact3: あのビラ出版は御望みだ fact4: その協同組合的組織は不飽和だ fact5: 不飽和が地球温暖化ならばそれは御望みでない fact6: その協同組合的組織は図り難くてそれは管理化である
fact4 & fact1 -> int1: その協同組合的組織は不飽和だしおまけに地球温暖化である; fact5 -> int2: その協同組合的組織が不飽和だしさらに地球温暖化だとすれば御望みであるということはない; int1 & int2 -> hypothesis;
fact4 & fact1 -> int1: ({A}{a} & {B}{a}); fact5 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: その協同組合的組織は地球温暖化である fact2: その協同組合的組織は通観する fact3: あのビラ出版は御望みだ fact4: その協同組合的組織は不飽和だ fact5: 不飽和が地球温暖化ならばそれは御望みでない fact6: その協同組合的組織は図り難くてそれは管理化である ; $hypothesis$ = その協同組合的組織は御望みでない ; $proof$ = 
fact4 & fact1 -> int1: その協同組合的組織は不飽和だしおまけに地球温暖化である; fact5 -> int2: その協同組合的組織が不飽和だしさらに地球温暖化だとすれば御望みであるということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: その協同組合的組織は地球温暖化である
事実2: その協同組合的組織は通観する
事実3: あのビラ出版は御望みだ
事実4: その協同組合的組織は不飽和だ
事実5: 不飽和が地球温暖化ならばそれは御望みでない
事実6: その協同組合的組織は図り難くてそれは管理化である

仮説: その協同組合的組織は御望みでない
1. 事実4と事実1から、推論1: "その協同組合的組織は不飽和だしおまけに地球温暖化である"が導かれる
2. 事実5から、推論2: "その協同組合的組織が不飽和だしさらに地球温暖化だとすれば御望みであるということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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