この上旬は不純であるが脊椎麻酔でない
fact1: もし仮に「ある物は中国株投資であるが取り違えない」ということは嘘であるならば次期天皇だ fact2: もし仮にあるものが脅かし始めないとしたらそれは麻酔効果でない fact3: もしこの選挙人は次期天皇でないとすれば「あのリミテッドは臭くないが取り違える」ということは成り立たない fact4: もしもなにがしかのものが麻酔効果だが立脚しないとしたら「それは中国株投資だ」ということは成り立つ fact5: もしあのリミテッドが取り違えないとすればこの戦争前は麻酔効果であるしそれにそれは中国株投資だ fact6: もし仮にこの戦争前が次期天皇だとしたらこの上旬は不純だけれどそれは脊椎麻酔でない fact7: 仮に「脅かし始めるということはないしさらに不純だということはない」ものがあるならばあの上旬は麻酔効果だということはない fact8: もし仮にその研究開発システムが中国株投資ならばこの戦争前は脅かし始めるが麻酔効果でない fact9: 「「「次期天皇だが年月でない」ということは偽である」ものはある」ということは事実である fact10: 「年月でなくて臭くない」物はある fact11: 仮に「何かは立脚しないが脅かし始める」ということは間違いであるとしたら脊椎麻酔である fact12: 仮にその貿易理論は中国株投資であるなら「この戦争前は中国株投資だ一方で取り違えない」ということは成り立つということはない fact13: もし「あのリミテッドは臭くない一方で取り違える」ということは真実でないとすれば取り違えない fact14: もし仮になんらかの物は中国株投資でないならばそれは次期天皇だ fact15: 仮にその研究開発システムが麻酔効果でないならその貿易理論は麻酔効果であるがそれは立脚しない fact16: もし仮に「年月でなくてそれに臭くない」物があるとするとその研究開発システムは脅かし始めない fact17: この上旬は臭い一方で国内産でない fact18: 仮に「「次期天皇だしさらに年月でない」ということは事実と異なる」ものがあるとするとこの選挙人は次期天皇でない fact19: この上旬は麻酔効果でない
fact2 -> int1: もし仮にその研究開発システムが脅かし始めないとしたらそれは麻酔効果だということはない; fact10 & fact16 -> int2: その研究開発システムは脅かし始めない; int1 & int2 -> int3: その研究開発システムは麻酔効果でない; int3 & fact15 -> int4: その貿易理論は麻酔効果であるがそれは立脚しない; fact4 -> int5: もしもその貿易理論は麻酔効果であるがしかし立脚しないならば中国株投資である; int4 & int5 -> int6: その貿易理論は中国株投資だ; int6 & fact12 -> int7: 「この戦争前は中国株投資であるけれど取り違えない」ということは成り立つということはない; fact1 -> int8: 「この戦争前は中国株投資であるがしかし取り違えない」ということは正しくないとすればそれは次期天皇である; int7 & int8 -> int9: この戦争前は次期天皇である; int9 & fact6 -> hypothesis;
「この上旬は不純だがそれは脊椎麻酔でない」ということは嘘である
fact25 -> int10: もし「その貿易理論は立脚しないがしかし脅かし始める」ということは誤りだとすると脊椎麻酔である; fact24 & fact21 -> int11: この選挙人は次期天皇でない; fact22 & int11 -> int12: 「「あのリミテッドは臭くないけれど取り違える」ということは偽だ」ということは成り立つ; fact23 & int12 -> int13: あのリミテッドは取り違えるということはない; fact20 & int13 -> int14: この戦争前は麻酔効果だし中国株投資である; int14 -> int15: この戦争前は麻酔効果である; int15 -> int16: あるものは麻酔効果である;
$facts$ = fact1: もし仮に「ある物は中国株投資であるが取り違えない」ということは嘘であるならば次期天皇だ fact2: もし仮にあるものが脅かし始めないとしたらそれは麻酔効果でない fact3: もしこの選挙人は次期天皇でないとすれば「あのリミテッドは臭くないが取り違える」ということは成り立たない fact4: もしもなにがしかのものが麻酔効果だが立脚しないとしたら「それは中国株投資だ」ということは成り立つ fact5: もしあのリミテッドが取り違えないとすればこの戦争前は麻酔効果であるしそれにそれは中国株投資だ fact6: もし仮にこの戦争前が次期天皇だとしたらこの上旬は不純だけれどそれは脊椎麻酔でない fact7: 仮に「脅かし始めるということはないしさらに不純だということはない」ものがあるならばあの上旬は麻酔効果だということはない fact8: もし仮にその研究開発システムが中国株投資ならばこの戦争前は脅かし始めるが麻酔効果でない fact9: 「「「次期天皇だが年月でない」ということは偽である」ものはある」ということは事実である fact10: 「年月でなくて臭くない」物はある fact11: 仮に「何かは立脚しないが脅かし始める」ということは間違いであるとしたら脊椎麻酔である fact12: 仮にその貿易理論は中国株投資であるなら「この戦争前は中国株投資だ一方で取り違えない」ということは成り立つということはない fact13: もし「あのリミテッドは臭くない一方で取り違える」ということは真実でないとすれば取り違えない fact14: もし仮になんらかの物は中国株投資でないならばそれは次期天皇だ fact15: 仮にその研究開発システムが麻酔効果でないならその貿易理論は麻酔効果であるがそれは立脚しない fact16: もし仮に「年月でなくてそれに臭くない」物があるとするとその研究開発システムは脅かし始めない fact17: この上旬は臭い一方で国内産でない fact18: 仮に「「次期天皇だしさらに年月でない」ということは事実と異なる」ものがあるとするとこの選挙人は次期天皇でない fact19: この上旬は麻酔効果でない ; $hypothesis$ = この上旬は不純であるが脊椎麻酔でない ; $proof$ = 
fact2 -> int1: もし仮にその研究開発システムが脅かし始めないとしたらそれは麻酔効果だということはない; fact10 & fact16 -> int2: その研究開発システムは脅かし始めない; int1 & int2 -> int3: その研究開発システムは麻酔効果でない; int3 & fact15 -> int4: その貿易理論は麻酔効果であるがそれは立脚しない; fact4 -> int5: もしもその貿易理論は麻酔効果であるがしかし立脚しないならば中国株投資である; int4 & int5 -> int6: その貿易理論は中国株投資だ; int6 & fact12 -> int7: 「この戦争前は中国株投資であるけれど取り違えない」ということは成り立つということはない; fact1 -> int8: 「この戦争前は中国株投資であるがしかし取り違えない」ということは正しくないとすればそれは次期天皇である; int7 & int8 -> int9: この戦争前は次期天皇である; int9 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「ある物は中国株投資であるが取り違えない」ということは嘘であるならば次期天皇だ
事実2: もし仮にあるものが脅かし始めないとしたらそれは麻酔効果でない
事実3: もしこの選挙人は次期天皇でないとすれば「あのリミテッドは臭くないが取り違える」ということは成り立たない
事実4: もしもなにがしかのものが麻酔効果だが立脚しないとしたら「それは中国株投資だ」ということは成り立つ
事実5: もしあのリミテッドが取り違えないとすればこの戦争前は麻酔効果であるしそれにそれは中国株投資だ
事実6: もし仮にこの戦争前が次期天皇だとしたらこの上旬は不純だけれどそれは脊椎麻酔でない
事実7: 仮に「脅かし始めるということはないしさらに不純だということはない」ものがあるならばあの上旬は麻酔効果だということはない
事実8: もし仮にその研究開発システムが中国株投資ならばこの戦争前は脅かし始めるが麻酔効果でない
事実9: 「「「次期天皇だが年月でない」ということは偽である」ものはある」ということは事実である
事実10: 「年月でなくて臭くない」物はある
事実11: 仮に「何かは立脚しないが脅かし始める」ということは間違いであるとしたら脊椎麻酔である
事実12: 仮にその貿易理論は中国株投資であるなら「この戦争前は中国株投資だ一方で取り違えない」ということは成り立つということはない
事実13: もし「あのリミテッドは臭くない一方で取り違える」ということは真実でないとすれば取り違えない
事実14: もし仮になんらかの物は中国株投資でないならばそれは次期天皇だ
事実15: 仮にその研究開発システムが麻酔効果でないならその貿易理論は麻酔効果であるがそれは立脚しない
事実16: もし仮に「年月でなくてそれに臭くない」物があるとするとその研究開発システムは脅かし始めない
事実17: この上旬は臭い一方で国内産でない
事実18: 仮に「「次期天皇だしさらに年月でない」ということは事実と異なる」ものがあるとするとこの選挙人は次期天皇でない
事実19: この上旬は麻酔効果でない

仮説: この上旬は不純であるが脊椎麻酔でない
1. 事実2から、推論1: "もし仮にその研究開発システムが脅かし始めないとしたらそれは麻酔効果だということはない"が導かれる
2. 事実10と事実16から、推論2: "その研究開発システムは脅かし始めない"が導かれる
3. 推論1と推論2から、推論3: "その研究開発システムは麻酔効果でない"が導かれる
4. 推論3と事実15から、推論4: "その貿易理論は麻酔効果であるがそれは立脚しない"が導かれる
5. 事実4から、推論5: "もしもその貿易理論は麻酔効果であるがしかし立脚しないならば中国株投資である"が導かれる
6. 推論4と推論5から、推論6: "その貿易理論は中国株投資だ"が導かれる
7. 推論6と事実12から、推論7: "「この戦争前は中国株投資であるけれど取り違えない」ということは成り立つということはない"が導かれる
8. 事実1から、推論8: "「この戦争前は中国株投資であるがしかし取り違えない」ということは正しくないとすればそれは次期天皇である"が導かれる
9. 推論7と推論8から、推論9: "この戦争前は次期天皇である"が導かれる
10. 推論9と事実6から、仮説が導かれる

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