あのアミノ酸製剤は植え続けるしその上比較し難い
fact1: 何らかのものが植え続けるなら煩わせないしおまけに再審査しない fact2: もしもこの制度会計が撮み出さないとするとあのアミノ酸製剤は比較し難いし言い聞かす fact3: もしもこの大同製鋼が煩わせないとすればあのアミノ酸製剤は再診断しなくてそれは煩わせない fact4: もしも「「そのチロシンは辿れるがそれは熟成しない」ということは確かだ」ということは間違っているならこの大同製鋼は煩わせない fact5: 仮に「熟成しないかあるいは再診断しないか両方である」ものがあるとするとこの大同製鋼は熟成しない fact6: もしあのアミノ酸製剤は比較し難くないならそれは熟成しないかあるいは再診断しないかもしくは両方ともだ fact7: もし仮に何かは植え続ける一方で熟成するということはないとしたらそれは撮み出す fact8: もしもなにがしかのものは再診断しないし煩わせないとしたらそれは植え続ける fact9: もしもそのチロシンは辿れるということはないけれど煩わせれば植え続ける fact10: この制度会計は熟成しない fact11: この制度会計は撮み出さない fact12: その三猿は撮み出さない fact13: あの連隊長殿は押し込めるしまた辿れる fact14: 仮に何かは再診断するけどそれが煩わせないとしたら植え続ける fact15: それは辿れるし更に熟成するということはないというものはない fact16: もし仮にあのアミノ酸製剤が言い聞かさないとすれば比較し難くない fact17: この大同製鋼は辿れない fact18: あのアミノ酸製剤は辿れる
fact15 -> int1: 「そのチロシンは辿れるが熟成しない」ということは事実でない; int1 & fact4 -> int2: この大同製鋼は煩わせない; int2 & fact3 -> int3: あのアミノ酸製剤は再診断しないしかつそれは煩わせない; fact8 -> int4: もし仮にあのアミノ酸製剤が再診断するということはないしそれが煩わせないならば植え続ける; int3 & int4 -> int5: あのアミノ酸製剤は植え続ける; fact2 & fact11 -> int6: あのアミノ酸製剤は比較し難くてかつそれは言い聞かす; int6 -> int7: あのアミノ酸製剤は比較し難い; int5 & int7 -> hypothesis;
この大同製鋼は熟成しなくて再審査するということはない
fact21 -> int8: もしこの大同製鋼が植え続けるとしたらそれは煩わせなくてそれは再審査しない;
$facts$ = fact1: 何らかのものが植え続けるなら煩わせないしおまけに再審査しない fact2: もしもこの制度会計が撮み出さないとするとあのアミノ酸製剤は比較し難いし言い聞かす fact3: もしもこの大同製鋼が煩わせないとすればあのアミノ酸製剤は再診断しなくてそれは煩わせない fact4: もしも「「そのチロシンは辿れるがそれは熟成しない」ということは確かだ」ということは間違っているならこの大同製鋼は煩わせない fact5: 仮に「熟成しないかあるいは再診断しないか両方である」ものがあるとするとこの大同製鋼は熟成しない fact6: もしあのアミノ酸製剤は比較し難くないならそれは熟成しないかあるいは再診断しないかもしくは両方ともだ fact7: もし仮に何かは植え続ける一方で熟成するということはないとしたらそれは撮み出す fact8: もしもなにがしかのものは再診断しないし煩わせないとしたらそれは植え続ける fact9: もしもそのチロシンは辿れるということはないけれど煩わせれば植え続ける fact10: この制度会計は熟成しない fact11: この制度会計は撮み出さない fact12: その三猿は撮み出さない fact13: あの連隊長殿は押し込めるしまた辿れる fact14: 仮に何かは再診断するけどそれが煩わせないとしたら植え続ける fact15: それは辿れるし更に熟成するということはないというものはない fact16: もし仮にあのアミノ酸製剤が言い聞かさないとすれば比較し難くない fact17: この大同製鋼は辿れない fact18: あのアミノ酸製剤は辿れる ; $hypothesis$ = あのアミノ酸製剤は植え続けるしその上比較し難い ; $proof$ = 
fact15 -> int1: 「そのチロシンは辿れるが熟成しない」ということは事実でない; int1 & fact4 -> int2: この大同製鋼は煩わせない; int2 & fact3 -> int3: あのアミノ酸製剤は再診断しないしかつそれは煩わせない; fact8 -> int4: もし仮にあのアミノ酸製剤が再診断するということはないしそれが煩わせないならば植え続ける; int3 & int4 -> int5: あのアミノ酸製剤は植え続ける; fact2 & fact11 -> int6: あのアミノ酸製剤は比較し難くてかつそれは言い聞かす; int6 -> int7: あのアミノ酸製剤は比較し難い; int5 & int7 -> hypothesis; __PROVED__
事実1: 何らかのものが植え続けるなら煩わせないしおまけに再審査しない
事実2: もしもこの制度会計が撮み出さないとするとあのアミノ酸製剤は比較し難いし言い聞かす
事実3: もしもこの大同製鋼が煩わせないとすればあのアミノ酸製剤は再診断しなくてそれは煩わせない
事実4: もしも「「そのチロシンは辿れるがそれは熟成しない」ということは確かだ」ということは間違っているならこの大同製鋼は煩わせない
事実5: 仮に「熟成しないかあるいは再診断しないか両方である」ものがあるとするとこの大同製鋼は熟成しない
事実6: もしあのアミノ酸製剤は比較し難くないならそれは熟成しないかあるいは再診断しないかもしくは両方ともだ
事実7: もし仮に何かは植え続ける一方で熟成するということはないとしたらそれは撮み出す
事実8: もしもなにがしかのものは再診断しないし煩わせないとしたらそれは植え続ける
事実9: もしもそのチロシンは辿れるということはないけれど煩わせれば植え続ける
事実10: この制度会計は熟成しない
事実11: この制度会計は撮み出さない
事実12: その三猿は撮み出さない
事実13: あの連隊長殿は押し込めるしまた辿れる
事実14: 仮に何かは再診断するけどそれが煩わせないとしたら植え続ける
事実15: それは辿れるし更に熟成するということはないというものはない
事実16: もし仮にあのアミノ酸製剤が言い聞かさないとすれば比較し難くない
事実17: この大同製鋼は辿れない
事実18: あのアミノ酸製剤は辿れる

仮説: あのアミノ酸製剤は植え続けるしその上比較し難い
1. 事実15から、推論1: "「そのチロシンは辿れるが熟成しない」ということは事実でない"が導かれる
2. 推論1と事実4から、推論2: "この大同製鋼は煩わせない"が導かれる
3. 推論2と事実3から、推論3: "あのアミノ酸製剤は再診断しないしかつそれは煩わせない"が導かれる
4. 事実8から、推論4: "もし仮にあのアミノ酸製剤が再診断するということはないしそれが煩わせないならば植え続ける"が導かれる
5. 推論3と推論4から、推論5: "あのアミノ酸製剤は植え続ける"が導かれる
6. 事実2と事実11から、推論6: "あのアミノ酸製剤は比較し難くてかつそれは言い聞かす"が導かれる
7. 推論6から、推論7: "あのアミノ酸製剤は比較し難い"が導かれる
8. 推論5と推論7から、仮説が導かれる

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