その両思いは市場原理である
fact1: もしその両思いが隅田公園でなくてその上上肢でないならばその糸球体は漢学でない fact2: その糸球体は漢学だ fact3: もしもなんらかのものは詠唱しないとすれば「それは市場原理であるけど漢学でない」ということは事実でない fact4: その両思いが隅田公園でないとすれば漢学であるということはないしおまけに上肢だということはない fact5: 仮にその両思いが隅田公園でないが上肢であるとすればあの糸球体は漢学でない fact6: その両思いは市場原理でないなら「それは上肢であるということはない」ということは真実である fact7: その両思いは上肢でない fact8: 「もしその両思いが市場原理だということはないならその両思いは隅田公園でないしそれは上肢でない」ということは事実だ
void -> assump1: 以下のように仮定する。その両思いは市場原理でない; fact8 & assump1 -> int1: その両思いは隅田公園でないしさらに上肢であるということはない; int1 & fact1 -> int2: その糸球体は漢学でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その両思いは市場原理でない
fact9 -> int4: もし仮にその糸球体は詠唱するということはないとしたら「それは市場原理であるし加えて漢学でない」ということは誤っている;
$facts$ = fact1: もしその両思いが隅田公園でなくてその上上肢でないならばその糸球体は漢学でない fact2: その糸球体は漢学だ fact3: もしもなんらかのものは詠唱しないとすれば「それは市場原理であるけど漢学でない」ということは事実でない fact4: その両思いが隅田公園でないとすれば漢学であるということはないしおまけに上肢だということはない fact5: 仮にその両思いが隅田公園でないが上肢であるとすればあの糸球体は漢学でない fact6: その両思いは市場原理でないなら「それは上肢であるということはない」ということは真実である fact7: その両思いは上肢でない fact8: 「もしその両思いが市場原理だということはないならその両思いは隅田公園でないしそれは上肢でない」ということは事実だ ; $hypothesis$ = その両思いは市場原理である ; $proof$ = 
void -> assump1: 以下のように仮定する。その両思いは市場原理でない; fact8 & assump1 -> int1: その両思いは隅田公園でないしさらに上肢であるということはない; int1 & fact1 -> int2: その糸球体は漢学でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその両思いが隅田公園でなくてその上上肢でないならばその糸球体は漢学でない
事実2: その糸球体は漢学だ
事実3: もしもなんらかのものは詠唱しないとすれば「それは市場原理であるけど漢学でない」ということは事実でない
事実4: その両思いが隅田公園でないとすれば漢学であるということはないしおまけに上肢だということはない
事実5: 仮にその両思いが隅田公園でないが上肢であるとすればあの糸球体は漢学でない
事実6: その両思いは市場原理でないなら「それは上肢であるということはない」ということは真実である
事実7: その両思いは上肢でない
事実8: 「もしその両思いが市場原理だということはないならその両思いは隅田公園でないしそれは上肢でない」ということは事実だ

仮説: その両思いは市場原理である
1. 仮定1: 以下のように仮定する。その両思いは市場原理でない
2. 事実8と仮定1から、推論1: "その両思いは隅田公園でないしさらに上肢であるということはない"が導かれる
3. 推論1と事実1から、推論2: "その糸球体は漢学でない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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