あの九十年代半ばは鋭くないけど中傷する
fact1: あの造成は理解し辛くないけど危うい fact2: 「もし「そのメンズＣＨ人間は生き難いかあるいはそれは照会しない」ということは間違いだとするとこのショートカット・キーは生き難い」ということは誤っていない fact3: 仮にこのショートカット・キーが生き難いならあの映画関係は理解し辛くないし更に危うくない fact4: 仮にこの五円玉が融資出来るが標準化しないとしたらそのマンＹは標準化しない fact5: 住み難くないものはある fact6: 「あの九十年代半ばは鋭いということはないが理解し辛い」ということは誤っていればそれは中傷する fact7: 仮に「「住み難くない」ということは成り立つ」物があるならこのウェートは融資出来ないしさらに改善・改革し続けない fact8: 仮にこのウェートが融資出来ないし改善・改革し続けないならばこの五円玉は融資出来る fact9: あの造成が理解し辛くないけど危ういならあの九十年代半ばは危うくない fact10: あの九十年代半ばは再検討する fact11: 仮にあの映画関係が理解し辛くないしその上危うくないとするとあの造成は写真右だ fact12: 「もし仮にそのマンＹは標準化するということはないとすれば「そのメンズＣＨ人間は生き難いか照会しないかまたはどちらもである」ということは誤りである」ということは事実だ fact13: 「あの造成は危うくないけど鋭い」ということは誤りだ fact14: もし仮に「あの九十年代半ばは鋭くないが中傷する」ということは成り立たないならば「それは危うい」ということは正しい fact15: もしあの造成が理解し辛くて危ういとすればあの九十年代半ばは危うくない
void -> assump1: 以下のように仮定する。「あの九十年代半ばは鋭くないけれど中傷する」ということは正しくない; fact14 & assump1 -> int1: あの九十年代半ばは危うい; fact1 & fact9 -> int2: あの九十年代半ばは危ういということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact14 & assump1 -> int1: {B}{a}; fact1 & fact9 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの九十年代半ばは鋭くない一方でそれは中傷する」ということは嘘である
fact18 & fact21 -> int4: 「このウェートは融資出来ないし更にそれは改善・改革し続けない」ということは事実だ; fact16 & int4 -> int5: この五円玉は融資出来る;
$facts$ = fact1: あの造成は理解し辛くないけど危うい fact2: 「もし「そのメンズＣＨ人間は生き難いかあるいはそれは照会しない」ということは間違いだとするとこのショートカット・キーは生き難い」ということは誤っていない fact3: 仮にこのショートカット・キーが生き難いならあの映画関係は理解し辛くないし更に危うくない fact4: 仮にこの五円玉が融資出来るが標準化しないとしたらそのマンＹは標準化しない fact5: 住み難くないものはある fact6: 「あの九十年代半ばは鋭いということはないが理解し辛い」ということは誤っていればそれは中傷する fact7: 仮に「「住み難くない」ということは成り立つ」物があるならこのウェートは融資出来ないしさらに改善・改革し続けない fact8: 仮にこのウェートが融資出来ないし改善・改革し続けないならばこの五円玉は融資出来る fact9: あの造成が理解し辛くないけど危ういならあの九十年代半ばは危うくない fact10: あの九十年代半ばは再検討する fact11: 仮にあの映画関係が理解し辛くないしその上危うくないとするとあの造成は写真右だ fact12: 「もし仮にそのマンＹは標準化するということはないとすれば「そのメンズＣＨ人間は生き難いか照会しないかまたはどちらもである」ということは誤りである」ということは事実だ fact13: 「あの造成は危うくないけど鋭い」ということは誤りだ fact14: もし仮に「あの九十年代半ばは鋭くないが中傷する」ということは成り立たないならば「それは危うい」ということは正しい fact15: もしあの造成が理解し辛くて危ういとすればあの九十年代半ばは危うくない ; $hypothesis$ = あの九十年代半ばは鋭くないけど中傷する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの九十年代半ばは鋭くないけれど中傷する」ということは正しくない; fact14 & assump1 -> int1: あの九十年代半ばは危うい; fact1 & fact9 -> int2: あの九十年代半ばは危ういということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの造成は理解し辛くないけど危うい
事実2: 「もし「そのメンズＣＨ人間は生き難いかあるいはそれは照会しない」ということは間違いだとするとこのショートカット・キーは生き難い」ということは誤っていない
事実3: 仮にこのショートカット・キーが生き難いならあの映画関係は理解し辛くないし更に危うくない
事実4: 仮にこの五円玉が融資出来るが標準化しないとしたらそのマンＹは標準化しない
事実5: 住み難くないものはある
事実6: 「あの九十年代半ばは鋭いということはないが理解し辛い」ということは誤っていればそれは中傷する
事実7: 仮に「「住み難くない」ということは成り立つ」物があるならこのウェートは融資出来ないしさらに改善・改革し続けない
事実8: 仮にこのウェートが融資出来ないし改善・改革し続けないならばこの五円玉は融資出来る
事実9: あの造成が理解し辛くないけど危ういならあの九十年代半ばは危うくない
事実10: あの九十年代半ばは再検討する
事実11: 仮にあの映画関係が理解し辛くないしその上危うくないとするとあの造成は写真右だ
事実12: 「もし仮にそのマンＹは標準化するということはないとすれば「そのメンズＣＨ人間は生き難いか照会しないかまたはどちらもである」ということは誤りである」ということは事実だ
事実13: 「あの造成は危うくないけど鋭い」ということは誤りだ
事実14: もし仮に「あの九十年代半ばは鋭くないが中傷する」ということは成り立たないならば「それは危うい」ということは正しい
事実15: もしあの造成が理解し辛くて危ういとすればあの九十年代半ばは危うくない

仮説: あの九十年代半ばは鋭くないけど中傷する
1. 仮定1: 以下のように仮定する。「あの九十年代半ばは鋭くないけれど中傷する」ということは正しくない
2. 事実14と仮定1から、推論1: "あの九十年代半ばは危うい"が導かれる
3. 事実1と事実9から、推論2: "あの九十年代半ばは危ういということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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