あの事件処理は空輸でない
fact1: もしあの占有移転が抽出・特定するということはないならあの事件処理は空輸でないし抽出・特定しない fact2: もしもそのバリューが思い浮かぶしそれが株主優待制度ならあの占有移転は抽出・特定しない fact3: もしも「何かは体得出来るし還帰する」ということは偽であるならばそれは近代的合理性であるということはない fact4: そのバロック様式は近代的合理性である fact5: もしも「思い浮かばない」物はあるとすれば「「そのバロック様式は体得出来るし更に還帰する」ということは本当である」ということは間違いである fact6: そのバリューは株主優待制度だ
void -> assump1: 以下のように仮定する。そのバリューは思い浮かぶということはない; assump1 -> int1: なんらかのものは思い浮かばない; int1 & fact5 -> int2: 「そのバロック様式は体得出来るしおまけに還帰する」ということは偽だ; fact3 -> int3: 「そのバロック様式は体得出来るししかも還帰する」ということは成り立たないとすれば近代的合理性でない; int2 & int3 -> int4: そのバロック様式は近代的合理性でない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのバリューは思い浮かぶ; int6 & fact6 -> int7: そのバリューは思い浮かぶしさらに株主優待制度だ; int7 & fact2 -> int8: あの占有移転は抽出・特定しない; int8 & fact1 -> int9: あの事件処理は空輸でないしかつそれは抽出・特定しない; int9 -> hypothesis;
$facts$ = fact1: もしあの占有移転が抽出・特定するということはないならあの事件処理は空輸でないし抽出・特定しない fact2: もしもそのバリューが思い浮かぶしそれが株主優待制度ならあの占有移転は抽出・特定しない fact3: もしも「何かは体得出来るし還帰する」ということは偽であるならばそれは近代的合理性であるということはない fact4: そのバロック様式は近代的合理性である fact5: もしも「思い浮かばない」物はあるとすれば「「そのバロック様式は体得出来るし更に還帰する」ということは本当である」ということは間違いである fact6: そのバリューは株主優待制度だ ; $hypothesis$ = あの事件処理は空輸でない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのバリューは思い浮かぶということはない; assump1 -> int1: なんらかのものは思い浮かばない; int1 & fact5 -> int2: 「そのバロック様式は体得出来るしおまけに還帰する」ということは偽だ; fact3 -> int3: 「そのバロック様式は体得出来るししかも還帰する」ということは成り立たないとすれば近代的合理性でない; int2 & int3 -> int4: そのバロック様式は近代的合理性でない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのバリューは思い浮かぶ; int6 & fact6 -> int7: そのバリューは思い浮かぶしさらに株主優待制度だ; int7 & fact2 -> int8: あの占有移転は抽出・特定しない; int8 & fact1 -> int9: あの事件処理は空輸でないしかつそれは抽出・特定しない; int9 -> hypothesis; __PROVED__
事実1: もしあの占有移転が抽出・特定するということはないならあの事件処理は空輸でないし抽出・特定しない
事実2: もしもそのバリューが思い浮かぶしそれが株主優待制度ならあの占有移転は抽出・特定しない
事実3: もしも「何かは体得出来るし還帰する」ということは偽であるならばそれは近代的合理性であるということはない
事実4: そのバロック様式は近代的合理性である
事実5: もしも「思い浮かばない」物はあるとすれば「「そのバロック様式は体得出来るし更に還帰する」ということは本当である」ということは間違いである
事実6: そのバリューは株主優待制度だ

仮説: あの事件処理は空輸でない
1. 仮定1: 以下のように仮定する。そのバリューは思い浮かぶということはない
2. 仮定1から、推論1: "なんらかのものは思い浮かばない"が導かれる
3. 推論1と事実5から、推論2: "「そのバロック様式は体得出来るしおまけに還帰する」ということは偽だ"が導かれる
4. 事実3から、推論3: "「そのバロック様式は体得出来るししかも還帰する」ということは成り立たないとすれば近代的合理性でない"が導かれる
5. 推論2と推論3から、推論4: "そのバロック様式は近代的合理性でない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのバリューは思い浮かぶ"が導かれる
8. 推論6と事実6から、推論7: "そのバリューは思い浮かぶしさらに株主優待制度だ"が導かれる
9. 推論7と事実2から、推論8: "あの占有移転は抽出・特定しない"が導かれる
10. 推論8と事実1から、推論9: "あの事件処理は空輸でないしかつそれは抽出・特定しない"が導かれる
11. 推論9から、仮説が導かれる

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