その六十年安保闘争は捨て難い
fact1: 「潜在化しない」ものはある fact2: 何かは飢えないならそれは捨て難い fact3: 「潜在化しない」物はあるなら「「その六十年安保闘争は人形でないけれど冷たい」ということは事実であるということはない」ということは正しい fact4: もし「なんらかのものは人形でないが冷たい」ということは間違っていればそれは飢えるということはない fact5: 「もしその支配関係は冷たくないとしたら「その遊芸は人形であるし更に潜在化する」ということは誤りだ」ということは成り立つ fact6: もしも「何らかの物は宣揚しないがしかしそれは粉っぽい」ということは嘘ならば知り合いらしくない fact7: 悩ましくないものは睡眠表である fact8: 「「その六十年安保闘争は武将達であるしさらに潜在化する」ということは本当である」ということは嘘だ
fact1 & fact3 -> int1: 「その六十年安保闘争は人形であるということはないが冷たい」ということは事実と異なる; fact4 -> int2: もし仮に「その六十年安保闘争は人形でないけど冷たい」ということは間違っているなら「それは飢えない」ということは事実と異なるということはない; int1 & int2 -> int3: その六十年安保闘争は飢えない; fact2 -> int4: もしも「その六十年安保闘争は飢えるということはない」ということは確かであるならばそれは捨て難い; int3 & int4 -> hypothesis;
fact1 & fact3 -> int1: ¬(¬{B}{a} & {C}{a}); fact4 -> int2: ¬(¬{B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; fact2 -> int4: ¬{D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
その六十年安保闘争は捨て難くない
$facts$ = fact1: 「潜在化しない」ものはある fact2: 何かは飢えないならそれは捨て難い fact3: 「潜在化しない」物はあるなら「「その六十年安保闘争は人形でないけれど冷たい」ということは事実であるということはない」ということは正しい fact4: もし「なんらかのものは人形でないが冷たい」ということは間違っていればそれは飢えるということはない fact5: 「もしその支配関係は冷たくないとしたら「その遊芸は人形であるし更に潜在化する」ということは誤りだ」ということは成り立つ fact6: もしも「何らかの物は宣揚しないがしかしそれは粉っぽい」ということは嘘ならば知り合いらしくない fact7: 悩ましくないものは睡眠表である fact8: 「「その六十年安保闘争は武将達であるしさらに潜在化する」ということは本当である」ということは嘘だ ; $hypothesis$ = その六十年安保闘争は捨て難い ; $proof$ = 
fact1 & fact3 -> int1: 「その六十年安保闘争は人形であるということはないが冷たい」ということは事実と異なる; fact4 -> int2: もし仮に「その六十年安保闘争は人形でないけど冷たい」ということは間違っているなら「それは飢えない」ということは事実と異なるということはない; int1 & int2 -> int3: その六十年安保闘争は飢えない; fact2 -> int4: もしも「その六十年安保闘争は飢えるということはない」ということは確かであるならばそれは捨て難い; int3 & int4 -> hypothesis; __PROVED__
事実1: 「潜在化しない」ものはある
事実2: 何かは飢えないならそれは捨て難い
事実3: 「潜在化しない」物はあるなら「「その六十年安保闘争は人形でないけれど冷たい」ということは事実であるということはない」ということは正しい
事実4: もし「なんらかのものは人形でないが冷たい」ということは間違っていればそれは飢えるということはない
事実5: 「もしその支配関係は冷たくないとしたら「その遊芸は人形であるし更に潜在化する」ということは誤りだ」ということは成り立つ
事実6: もしも「何らかの物は宣揚しないがしかしそれは粉っぽい」ということは嘘ならば知り合いらしくない
事実7: 悩ましくないものは睡眠表である
事実8: 「「その六十年安保闘争は武将達であるしさらに潜在化する」ということは本当である」ということは嘘だ

仮説: その六十年安保闘争は捨て難い
1. 事実1と事実3から、推論1: "「その六十年安保闘争は人形であるということはないが冷たい」ということは事実と異なる"が導かれる
2. 事実4から、推論2: "もし仮に「その六十年安保闘争は人形でないけど冷たい」ということは間違っているなら「それは飢えない」ということは事実と異なるということはない"が導かれる
3. 推論1と推論2から、推論3: "その六十年安保闘争は飢えない"が導かれる
4. 事実2から、推論4: "もしも「その六十年安保闘争は飢えるということはない」ということは確かであるならばそれは捨て難い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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