このミクロ装置は湧き上がる
fact1: このミクロ装置は撮像系だということはない fact2: 仮に「このアルミ産業は浅ましいということはない」ということは本当だとすればあの人間関係はミック・ジャガーだし話し辛い fact3: このディスアビリティーは湧き上がる fact4: もしとある物は寿司泉でないなら「作り込むしそれに紡ぐ」ということは正しいということはない fact5: このミクロ装置は接ぎ木する fact6: このミクロ装置は湧き上がるけれど撮像系でない fact7: もしもなにかは浅ましいとすると話し辛くない fact8: もしも「何らかの物は寿司泉であるししかもそれはミック・ジャガーだ」ということは成り立たないならそれは寿司泉でない fact9: あの針治療は撮像系だ fact10: 仮にあるものが紡がないとするとそれは湧き上がるしそれに撮像系だ fact11: もしもなんらかの物は撮像系でないなら「湧き上がるし加えて紡ぐということはない」ということは偽だ fact12: もし仮にあの人間関係は話し辛いならば「このミクロ装置は作り込まなくてそれは寿司泉でない」ということは嘘だ fact13: 「なんらかの物は冷え易いけど浅ましくない」ということは本当だということはないとすればそれは浅ましい fact14: 「あるものは作り込まなくてその上寿司泉でない」ということは偽ならそれは撮像系でない fact15: もし「このミクロ装置は作り込むししかも紡ぐ」ということは嘘だとしたらこの音楽ホールは紡がない fact16: 仮にあの人間関係は話し辛くないとしたら「このミクロ装置は寿司泉であるしそれはミック・ジャガーだ」ということは成り立つということはない fact17: 「あの人間関係は冷え易いがしかしそれは浅ましくない」ということは成り立たない
fact6 -> hypothesis;
fact6 -> hypothesis;
「この音楽ホールは湧き上がる」ということは真実だ
fact20 -> int1: もしもこの音楽ホールが紡がないなら湧き上がるしかつそれは撮像系である; fact25 -> int2: このミクロ装置は寿司泉でないとすれば「作り込むし加えて紡ぐ」ということは成り立たない; fact19 -> int3: もしも「このミクロ装置は寿司泉でまたミック・ジャガーである」ということは間違っているとしたらそれは寿司泉でない; fact24 -> int4: もしあの人間関係が浅ましいならば話し辛くない; fact22 -> int5: もし「あの人間関係は冷え易いけれど浅ましくない」ということは間違いであるとすれば「それは浅ましい」ということは真実だ; int5 & fact23 -> int6: 「あの人間関係は浅ましい」ということは事実だ; int4 & int6 -> int7: あの人間関係は話し辛くない; fact21 & int7 -> int8: 「このミクロ装置が寿司泉だしそれはミック・ジャガーだ」ということは嘘である; int3 & int8 -> int9: このミクロ装置は寿司泉でない; int2 & int9 -> int10: 「このミクロ装置は作り込むしおまけに紡ぐ」ということは誤りである; fact18 & int10 -> int11: この音楽ホールは紡がない; int1 & int11 -> int12: この音楽ホールは湧き上がるしおまけに撮像系だ; int12 -> hypothesis;
$facts$ = fact1: このミクロ装置は撮像系だということはない fact2: 仮に「このアルミ産業は浅ましいということはない」ということは本当だとすればあの人間関係はミック・ジャガーだし話し辛い fact3: このディスアビリティーは湧き上がる fact4: もしとある物は寿司泉でないなら「作り込むしそれに紡ぐ」ということは正しいということはない fact5: このミクロ装置は接ぎ木する fact6: このミクロ装置は湧き上がるけれど撮像系でない fact7: もしもなにかは浅ましいとすると話し辛くない fact8: もしも「何らかの物は寿司泉であるししかもそれはミック・ジャガーだ」ということは成り立たないならそれは寿司泉でない fact9: あの針治療は撮像系だ fact10: 仮にあるものが紡がないとするとそれは湧き上がるしそれに撮像系だ fact11: もしもなんらかの物は撮像系でないなら「湧き上がるし加えて紡ぐということはない」ということは偽だ fact12: もし仮にあの人間関係は話し辛いならば「このミクロ装置は作り込まなくてそれは寿司泉でない」ということは嘘だ fact13: 「なんらかの物は冷え易いけど浅ましくない」ということは本当だということはないとすればそれは浅ましい fact14: 「あるものは作り込まなくてその上寿司泉でない」ということは偽ならそれは撮像系でない fact15: もし「このミクロ装置は作り込むししかも紡ぐ」ということは嘘だとしたらこの音楽ホールは紡がない fact16: 仮にあの人間関係は話し辛くないとしたら「このミクロ装置は寿司泉であるしそれはミック・ジャガーだ」ということは成り立つということはない fact17: 「あの人間関係は冷え易いがしかしそれは浅ましくない」ということは成り立たない ; $hypothesis$ = このミクロ装置は湧き上がる ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: このミクロ装置は撮像系だということはない
事実2: 仮に「このアルミ産業は浅ましいということはない」ということは本当だとすればあの人間関係はミック・ジャガーだし話し辛い
事実3: このディスアビリティーは湧き上がる
事実4: もしとある物は寿司泉でないなら「作り込むしそれに紡ぐ」ということは正しいということはない
事実5: このミクロ装置は接ぎ木する
事実6: このミクロ装置は湧き上がるけれど撮像系でない
事実7: もしもなにかは浅ましいとすると話し辛くない
事実8: もしも「何らかの物は寿司泉であるししかもそれはミック・ジャガーだ」ということは成り立たないならそれは寿司泉でない
事実9: あの針治療は撮像系だ
事実10: 仮にあるものが紡がないとするとそれは湧き上がるしそれに撮像系だ
事実11: もしもなんらかの物は撮像系でないなら「湧き上がるし加えて紡ぐということはない」ということは偽だ
事実12: もし仮にあの人間関係は話し辛いならば「このミクロ装置は作り込まなくてそれは寿司泉でない」ということは嘘だ
事実13: 「なんらかの物は冷え易いけど浅ましくない」ということは本当だということはないとすればそれは浅ましい
事実14: 「あるものは作り込まなくてその上寿司泉でない」ということは偽ならそれは撮像系でない
事実15: もし「このミクロ装置は作り込むししかも紡ぐ」ということは嘘だとしたらこの音楽ホールは紡がない
事実16: 仮にあの人間関係は話し辛くないとしたら「このミクロ装置は寿司泉であるしそれはミック・ジャガーだ」ということは成り立つということはない
事実17: 「あの人間関係は冷え易いがしかしそれは浅ましくない」ということは成り立たない

仮説: このミクロ装置は湧き上がる
1. 事実6から、仮説が導かれる

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