「もし仮にどうして良いということはなくて追求するなら灰色っぽい」ものはある
fact1: もし仮になにがしかのものは突き立つということはないが造立するとすればそれは実体化する fact2: もしもこの移植胚数はどうして良くないけど追求すれば「それは灰色っぽい」ということは確かである fact3: 仮にこの櫛形切りが走らないけどそれが寒ーいなら灰色っぽい fact4: 「もし仮にこの移植胚数が十四号室でない一方で奉るとすればこの移植胚数はどうして良い」ということは本当だ fact5: 仮にこの移植胚数はどうして良いしまた追求すれば灰色っぽい fact6: 「もし仮に最高価値でないがしかし此れ以下ならば回り始める」ものはある fact7: もしその保留地はプロらしいということはないけれど報道官であるとしたら灰色っぽい fact8: 「どうして良くて追求するとしたら「灰色っぽい」ということは事実と異ならない」物はある fact9: この移植胚数が追求しないけれど卑しなら丸まる
fact2 -> hypothesis;
「もし仮に突き立たないが造立するとしたら実体化する」ものはある
fact10 -> int1: もし仮にその南棟は突き立たない一方で造立するなら「実体化する」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものは突き立つということはないが造立するとすればそれは実体化する fact2: もしもこの移植胚数はどうして良くないけど追求すれば「それは灰色っぽい」ということは確かである fact3: 仮にこの櫛形切りが走らないけどそれが寒ーいなら灰色っぽい fact4: 「もし仮にこの移植胚数が十四号室でない一方で奉るとすればこの移植胚数はどうして良い」ということは本当だ fact5: 仮にこの移植胚数はどうして良いしまた追求すれば灰色っぽい fact6: 「もし仮に最高価値でないがしかし此れ以下ならば回り始める」ものはある fact7: もしその保留地はプロらしいということはないけれど報道官であるとしたら灰色っぽい fact8: 「どうして良くて追求するとしたら「灰色っぽい」ということは事実と異ならない」物はある fact9: この移植胚数が追求しないけれど卑しなら丸まる ; $hypothesis$ = 「もし仮にどうして良いということはなくて追求するなら灰色っぽい」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは突き立つということはないが造立するとすればそれは実体化する
事実2: もしもこの移植胚数はどうして良くないけど追求すれば「それは灰色っぽい」ということは確かである
事実3: 仮にこの櫛形切りが走らないけどそれが寒ーいなら灰色っぽい
事実4: 「もし仮にこの移植胚数が十四号室でない一方で奉るとすればこの移植胚数はどうして良い」ということは本当だ
事実5: 仮にこの移植胚数はどうして良いしまた追求すれば灰色っぽい
事実6: 「もし仮に最高価値でないがしかし此れ以下ならば回り始める」ものはある
事実7: もしその保留地はプロらしいということはないけれど報道官であるとしたら灰色っぽい
事実8: 「どうして良くて追求するとしたら「灰色っぽい」ということは事実と異ならない」物はある
事実9: この移植胚数が追求しないけれど卑しなら丸まる

仮説: 「もし仮にどうして良いということはなくて追求するなら灰色っぽい」ものはある
1. 事実2から、仮説が導かれる

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