このＩＴ革命は御機嫌様であるということはないけど予告だ
fact1: もし「この立法・行政・司法は予告でない」ということは正しいとしたらこのＩＴ革命は御機嫌様でないがしかし予告である fact2: あの燐鉱はスパニッシュでない fact3: このダウンロード時間は当該投資でない fact4: あの燐鉱はスパニッシュでないなら「それはリリックであるしネマティック液晶である」ということは偽だ fact5: 仮にこの立法・行政・司法は当該投資ならば「あの燐鉱は当該投資でないかリリックでないかもしくはどちらもだ」ということは成り立つということはない fact6: 仮にこの立法・行政・司法は当該投資だとしたら「あの燐鉱は当該投資でないかあるいは男らしくないかあるいはどちらもである」ということは間違いだ fact7: 仮に「なんらかのものは男らしくないかそれは晶出しないか両方ともだ」ということは間違っているとすれば予告でない fact8: もし仮になんらかの物が男らしくないかもしくは晶出しないとすればそれは当該投資である fact9: もし「とある物はリリックであるししかもネマティック液晶である」ということは誤っているならリリックでない fact10: 「あの燐鉱は男らしいかまたはスパニッシュでないか両方だ」ということは誤っているならそれはネマティック液晶でない
fact8 -> int1: 仮にこの立法・行政・司法は男らしくないかもしくは晶出しないかもしくは両方ともだとすればそれは当該投資である; void -> assump1: 以下のように仮定する。この立法・行政・司法は男らしくないかまたは晶出しないかまたはどちらもである; int1 & assump1 -> int2: この立法・行政・司法は当該投資である; int2 & fact5 -> int3: 「あの燐鉱は当該投資でないかあるいはリリックでないかもしくは両方である」ということは事実であるということはない; fact2 & fact4 -> int4: 「あの燐鉱はリリックであるしネマティック液晶である」ということは事実と異なる; fact9 -> int5: もしも「あの燐鉱はリリックであるしネマティック液晶だ」ということは成り立つということはないならそれはリリックでない; int4 & int5 -> int6: あの燐鉱はリリックでない; int6 -> int7: あの燐鉱は当該投資だということはないかあるいはリリックであるということはないかもしくは両方ともである; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この立法・行政・司法は男らしくないかあるいは晶出しないか両方である」ということは成り立たない; fact7 -> int10: 仮に「この立法・行政・司法は男らしくないかあるいは晶出しないかまたは両方だ」ということは嘘だとすると「それは予告だということはない」ということは本当だ; int9 & int10 -> int11: この立法・行政・司法は予告でない; int11 & fact1 -> hypothesis;
$facts$ = fact1: もし「この立法・行政・司法は予告でない」ということは正しいとしたらこのＩＴ革命は御機嫌様でないがしかし予告である fact2: あの燐鉱はスパニッシュでない fact3: このダウンロード時間は当該投資でない fact4: あの燐鉱はスパニッシュでないなら「それはリリックであるしネマティック液晶である」ということは偽だ fact5: 仮にこの立法・行政・司法は当該投資ならば「あの燐鉱は当該投資でないかリリックでないかもしくはどちらもだ」ということは成り立つということはない fact6: 仮にこの立法・行政・司法は当該投資だとしたら「あの燐鉱は当該投資でないかあるいは男らしくないかあるいはどちらもである」ということは間違いだ fact7: 仮に「なんらかのものは男らしくないかそれは晶出しないか両方ともだ」ということは間違っているとすれば予告でない fact8: もし仮になんらかの物が男らしくないかもしくは晶出しないとすればそれは当該投資である fact9: もし「とある物はリリックであるししかもネマティック液晶である」ということは誤っているならリリックでない fact10: 「あの燐鉱は男らしいかまたはスパニッシュでないか両方だ」ということは誤っているならそれはネマティック液晶でない ; $hypothesis$ = このＩＴ革命は御機嫌様であるということはないけど予告だ ; $proof$ = 
fact8 -> int1: 仮にこの立法・行政・司法は男らしくないかもしくは晶出しないかもしくは両方ともだとすればそれは当該投資である; void -> assump1: 以下のように仮定する。この立法・行政・司法は男らしくないかまたは晶出しないかまたはどちらもである; int1 & assump1 -> int2: この立法・行政・司法は当該投資である; int2 & fact5 -> int3: 「あの燐鉱は当該投資でないかあるいはリリックでないかもしくは両方である」ということは事実であるということはない; fact2 & fact4 -> int4: 「あの燐鉱はリリックであるしネマティック液晶である」ということは事実と異なる; fact9 -> int5: もしも「あの燐鉱はリリックであるしネマティック液晶だ」ということは成り立つということはないならそれはリリックでない; int4 & int5 -> int6: あの燐鉱はリリックでない; int6 -> int7: あの燐鉱は当該投資だということはないかあるいはリリックであるということはないかもしくは両方ともである; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この立法・行政・司法は男らしくないかあるいは晶出しないか両方である」ということは成り立たない; fact7 -> int10: 仮に「この立法・行政・司法は男らしくないかあるいは晶出しないかまたは両方だ」ということは嘘だとすると「それは予告だということはない」ということは本当だ; int9 & int10 -> int11: この立法・行政・司法は予告でない; int11 & fact1 -> hypothesis; __PROVED__
事実1: もし「この立法・行政・司法は予告でない」ということは正しいとしたらこのＩＴ革命は御機嫌様でないがしかし予告である
事実2: あの燐鉱はスパニッシュでない
事実3: このダウンロード時間は当該投資でない
事実4: あの燐鉱はスパニッシュでないなら「それはリリックであるしネマティック液晶である」ということは偽だ
事実5: 仮にこの立法・行政・司法は当該投資ならば「あの燐鉱は当該投資でないかリリックでないかもしくはどちらもだ」ということは成り立つということはない
事実6: 仮にこの立法・行政・司法は当該投資だとしたら「あの燐鉱は当該投資でないかあるいは男らしくないかあるいはどちらもである」ということは間違いだ
事実7: 仮に「なんらかのものは男らしくないかそれは晶出しないか両方ともだ」ということは間違っているとすれば予告でない
事実8: もし仮になんらかの物が男らしくないかもしくは晶出しないとすればそれは当該投資である
事実9: もし「とある物はリリックであるししかもネマティック液晶である」ということは誤っているならリリックでない
事実10: 「あの燐鉱は男らしいかまたはスパニッシュでないか両方だ」ということは誤っているならそれはネマティック液晶でない

仮説: このＩＴ革命は御機嫌様であるということはないけど予告だ
1. 事実8から、推論1: "仮にこの立法・行政・司法は男らしくないかもしくは晶出しないかもしくは両方ともだとすればそれは当該投資である"が導かれる
2. 仮定1: 以下のように仮定する。この立法・行政・司法は男らしくないかまたは晶出しないかまたはどちらもである
3. 推論1と仮定1から、推論2: "この立法・行政・司法は当該投資である"が導かれる
4. 推論2と事実5から、推論3: "「あの燐鉱は当該投資でないかあるいはリリックでないかもしくは両方である」ということは事実であるということはない"が導かれる
5. 事実2と事実4から、推論4: "「あの燐鉱はリリックであるしネマティック液晶である」ということは事実と異なる"が導かれる
6. 事実9から、推論5: "もしも「あの燐鉱はリリックであるしネマティック液晶だ」ということは成り立つということはないならそれはリリックでない"が導かれる
7. 推論4と推論5から、推論6: "あの燐鉱はリリックでない"が導かれる
8. 推論6から、推論7: "あの燐鉱は当該投資だということはないかあるいはリリックであるということはないかもしくは両方ともである"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この立法・行政・司法は男らしくないかあるいは晶出しないか両方である」ということは成り立たない"が導かれる
11. 事実7から、推論10: "仮に「この立法・行政・司法は男らしくないかあるいは晶出しないかまたは両方だ」ということは嘘だとすると「それは予告だということはない」ということは本当だ"が導かれる
12. 推論9と推論10から、推論11: "この立法・行政・司法は予告でない"が導かれる
13. 推論11と事実1から、仮説が導かれる

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