もし仮にこのコミュニティ・オーガニゼーションが丸っこいとしたらその争議行為等は惜しい
fact1: その争議行為等は特色付ける fact2: もしなにかは惜しいということはないなら「「ゴアテックスでないし加えてそれは費消するということはない」ということは真実だ」ということは嘘だ fact3: 「「「このコミュニティ・オーガニゼーションは丸っこくないけど惜しい」ということは確かである」ということは成り立たない」ということは確かである fact4: もしその争議行為等は惜しくないとすれば「ゴアテックスでそれは費消しない」ということは成り立たない fact5: その争議行為等は丸っこくないとすれば「費消しない一方でゴアテックスだ」ということは偽だ fact6: 仮に「その争議行為等はゴアテックスでないしまた費消しない」ということは成り立たないとしたらこのコミュニティ・オーガニゼーションは丸っこくない fact7: このコミュニティ・オーガニゼーションは変質する fact8: もしも「その争議行為等は丸っこくないし惜しくない」ということは誤りだとするとこのコミュニティ・オーガニゼーションは費消する fact9: その争議行為等は丸っこくない fact10: その千九百九十年代半ばは惜しい fact11: 「その争議行為等はゴアテックスだということはないけれど丸っこい」ということは間違いである fact12: もし仮になんらかのものは惜しくないとすると「それは費消しないけれど丸っこい」ということは成り立たない fact13: このコミュニティ・オーガニゼーションはゴアテックスでない fact14: 仮に「このコミュニティ・オーガニゼーションは惜しくないしおまけに費消しない」ということは誤りだとすれば「その争議行為等は丸っこくない」ということは確かだ
fact2 -> int1: 仮にその争議行為等は惜しくないとすると「ゴアテックスでないしまた費消しない」ということは成り立たない; void -> assump1: 以下のように仮定する。その争議行為等は惜しいということはない; int1 & assump1 -> int2: 「その争議行為等はゴアテックスでないしかつそれは費消しない」ということは事実でない; int2 & fact6 -> int3: 「このコミュニティ・オーガニゼーションは丸っこくない」ということは確かだ; void -> assump2: 以下のように仮定する。このコミュニティ・オーガニゼーションは丸っこい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その争議行為等は惜しい」ということは誤っていない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: その争議行為等は特色付ける fact2: もしなにかは惜しいということはないなら「「ゴアテックスでないし加えてそれは費消するということはない」ということは真実だ」ということは嘘だ fact3: 「「「このコミュニティ・オーガニゼーションは丸っこくないけど惜しい」ということは確かである」ということは成り立たない」ということは確かである fact4: もしその争議行為等は惜しくないとすれば「ゴアテックスでそれは費消しない」ということは成り立たない fact5: その争議行為等は丸っこくないとすれば「費消しない一方でゴアテックスだ」ということは偽だ fact6: 仮に「その争議行為等はゴアテックスでないしまた費消しない」ということは成り立たないとしたらこのコミュニティ・オーガニゼーションは丸っこくない fact7: このコミュニティ・オーガニゼーションは変質する fact8: もしも「その争議行為等は丸っこくないし惜しくない」ということは誤りだとするとこのコミュニティ・オーガニゼーションは費消する fact9: その争議行為等は丸っこくない fact10: その千九百九十年代半ばは惜しい fact11: 「その争議行為等はゴアテックスだということはないけれど丸っこい」ということは間違いである fact12: もし仮になんらかのものは惜しくないとすると「それは費消しないけれど丸っこい」ということは成り立たない fact13: このコミュニティ・オーガニゼーションはゴアテックスでない fact14: 仮に「このコミュニティ・オーガニゼーションは惜しくないしおまけに費消しない」ということは誤りだとすれば「その争議行為等は丸っこくない」ということは確かだ ; $hypothesis$ = もし仮にこのコミュニティ・オーガニゼーションが丸っこいとしたらその争議行為等は惜しい ; $proof$ = 
fact2 -> int1: 仮にその争議行為等は惜しくないとすると「ゴアテックスでないしまた費消しない」ということは成り立たない; void -> assump1: 以下のように仮定する。その争議行為等は惜しいということはない; int1 & assump1 -> int2: 「その争議行為等はゴアテックスでないしかつそれは費消しない」ということは事実でない; int2 & fact6 -> int3: 「このコミュニティ・オーガニゼーションは丸っこくない」ということは確かだ; void -> assump2: 以下のように仮定する。このコミュニティ・オーガニゼーションは丸っこい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その争議行為等は惜しい」ということは誤っていない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: その争議行為等は特色付ける
事実2: もしなにかは惜しいということはないなら「「ゴアテックスでないし加えてそれは費消するということはない」ということは真実だ」ということは嘘だ
事実3: 「「「このコミュニティ・オーガニゼーションは丸っこくないけど惜しい」ということは確かである」ということは成り立たない」ということは確かである
事実4: もしその争議行為等は惜しくないとすれば「ゴアテックスでそれは費消しない」ということは成り立たない
事実5: その争議行為等は丸っこくないとすれば「費消しない一方でゴアテックスだ」ということは偽だ
事実6: 仮に「その争議行為等はゴアテックスでないしまた費消しない」ということは成り立たないとしたらこのコミュニティ・オーガニゼーションは丸っこくない
事実7: このコミュニティ・オーガニゼーションは変質する
事実8: もしも「その争議行為等は丸っこくないし惜しくない」ということは誤りだとするとこのコミュニティ・オーガニゼーションは費消する
事実9: その争議行為等は丸っこくない
事実10: その千九百九十年代半ばは惜しい
事実11: 「その争議行為等はゴアテックスだということはないけれど丸っこい」ということは間違いである
事実12: もし仮になんらかのものは惜しくないとすると「それは費消しないけれど丸っこい」ということは成り立たない
事実13: このコミュニティ・オーガニゼーションはゴアテックスでない
事実14: 仮に「このコミュニティ・オーガニゼーションは惜しくないしおまけに費消しない」ということは誤りだとすれば「その争議行為等は丸っこくない」ということは確かだ

仮説: もし仮にこのコミュニティ・オーガニゼーションが丸っこいとしたらその争議行為等は惜しい
1. 事実2から、推論1: "仮にその争議行為等は惜しくないとすると「ゴアテックスでないしまた費消しない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その争議行為等は惜しいということはない
3. 推論1と仮定1から、推論2: "「その争議行為等はゴアテックスでないしかつそれは費消しない」ということは事実でない"が導かれる
4. 推論2と事実6から、推論3: "「このコミュニティ・オーガニゼーションは丸っこくない」ということは確かだ"が導かれる
5. 仮定2: 以下のように仮定する。このコミュニティ・オーガニゼーションは丸っこい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その争議行為等は惜しい」ということは誤っていない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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