そのエラー表示は皿駕籠だ
fact1: 「あの社会的相互作用は薄暗いしそれは軽ーい」ということは成り立たない fact2: 薄暗いしその上それは軽ーいという物はない fact3: 「「「薄暗くないしその上軽ーい」ということは成り立たない」ものはある」ということは成り立つならそのエラー表示は皿駕籠だ fact4: 薄暗くなくてそれに軽ーい物はない fact5: 何らかのものは皿駕籠でないならば「それは心細くないけれど軽ーい」ということは事実と異なる
fact4 -> int1: 「あの社会的相互作用は薄暗くないけれど軽ーい」ということは成り立たない; int1 -> int2: 「「薄暗くないけれど軽ーい」ということは嘘である」物はある; int2 & fact3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 -> int2: (Ex): ¬(¬{AA}x & {AB}x); int2 & fact3 -> hypothesis;
「そのデポルティーボは心細くない一方で軽ーい」ということは偽だ
fact6 -> int3: もしもそのデポルティーボは皿駕籠であるということはないとすれば「それは心細いということはないしまたそれは軽ーい」ということは誤りである;
$facts$ = fact1: 「あの社会的相互作用は薄暗いしそれは軽ーい」ということは成り立たない fact2: 薄暗いしその上それは軽ーいという物はない fact3: 「「「薄暗くないしその上軽ーい」ということは成り立たない」ものはある」ということは成り立つならそのエラー表示は皿駕籠だ fact4: 薄暗くなくてそれに軽ーい物はない fact5: 何らかのものは皿駕籠でないならば「それは心細くないけれど軽ーい」ということは事実と異なる ; $hypothesis$ = そのエラー表示は皿駕籠だ ; $proof$ = 
fact4 -> int1: 「あの社会的相互作用は薄暗くないけれど軽ーい」ということは成り立たない; int1 -> int2: 「「薄暗くないけれど軽ーい」ということは嘘である」物はある; int2 & fact3 -> hypothesis; __PROVED__
事実1: 「あの社会的相互作用は薄暗いしそれは軽ーい」ということは成り立たない
事実2: 薄暗いしその上それは軽ーいという物はない
事実3: 「「「薄暗くないしその上軽ーい」ということは成り立たない」ものはある」ということは成り立つならそのエラー表示は皿駕籠だ
事実4: 薄暗くなくてそれに軽ーい物はない
事実5: 何らかのものは皿駕籠でないならば「それは心細くないけれど軽ーい」ということは事実と異なる

仮説: そのエラー表示は皿駕籠だ
1. 事実4から、推論1: "「あの社会的相互作用は薄暗くないけれど軽ーい」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「薄暗くないけれど軽ーい」ということは嘘である」物はある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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