「あの枸櫞は大人し」ということは確かだ
fact1: 「あの視覚的空間はスピンするしそれに落ち易い」ということは誤りである fact2: 「あの視覚的空間はスピンしないけど落ち易い」ということは誤っているとするとあの枸櫞は大人し fact3: 仮になにがしかの物は演奏家であるなら「それはスピンするということはないしそれは落ち易い」ということは誤っている fact4: あの視覚的空間は演奏家であるししかもそれは概観出来る
fact3 -> int1: もし仮に「あの視覚的空間は演奏家だ」ということは事実なら「スピンしないしかつそれは落ち易い」ということは偽だ; fact4 -> int2: あの視覚的空間は演奏家だ; int1 & int2 -> int3: 「あの視覚的空間はスピンしないがしかしそれは落ち易い」ということは成り立たない; int3 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact4 -> int2: {A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 「あの視覚的空間はスピンするしそれに落ち易い」ということは誤りである fact2: 「あの視覚的空間はスピンしないけど落ち易い」ということは誤っているとするとあの枸櫞は大人し fact3: 仮になにがしかの物は演奏家であるなら「それはスピンするということはないしそれは落ち易い」ということは誤っている fact4: あの視覚的空間は演奏家であるししかもそれは概観出来る ; $hypothesis$ = 「あの枸櫞は大人し」ということは確かだ ; $proof$ = 
fact3 -> int1: もし仮に「あの視覚的空間は演奏家だ」ということは事実なら「スピンしないしかつそれは落ち易い」ということは偽だ; fact4 -> int2: あの視覚的空間は演奏家だ; int1 & int2 -> int3: 「あの視覚的空間はスピンしないがしかしそれは落ち易い」ということは成り立たない; int3 & fact2 -> hypothesis; __PROVED__
事実1: 「あの視覚的空間はスピンするしそれに落ち易い」ということは誤りである
事実2: 「あの視覚的空間はスピンしないけど落ち易い」ということは誤っているとするとあの枸櫞は大人し
事実3: 仮になにがしかの物は演奏家であるなら「それはスピンするということはないしそれは落ち易い」ということは誤っている
事実4: あの視覚的空間は演奏家であるししかもそれは概観出来る

仮説: 「あの枸櫞は大人し」ということは確かだ
1. 事実3から、推論1: "もし仮に「あの視覚的空間は演奏家だ」ということは事実なら「スピンしないしかつそれは落ち易い」ということは偽だ"が導かれる
2. 事実4から、推論2: "あの視覚的空間は演奏家だ"が導かれる
3. 推論1と推論2から、推論3: "「あの視覚的空間はスピンしないがしかしそれは落ち易い」ということは成り立たない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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