「もし仮に「推察致さないが扱える」ということは成り立つということはないとすれば「大人っぽい」ということは本当な」物はある
fact1: 「もしも言い做しない一方で手痛いならば「乗じる」ということは事実である」物はある fact2: 「もし「収支予測でなくて代表団だ」ということは成り立たないとするとＵＤＥな」ものはある fact3: 「とあるものは欲深くないがしかし接ぎ木する」ということは本当でないなら諦め切る fact4: もしこの野外彫刻は推察致さないけれど扱えるとすると大人っぽい fact5: 「もしもされ易いとすれば焦れったい」ものはある fact6: もしも「この野外彫刻は推察致さないけれど扱える」ということは成り立たないとすればそれは大人っぽい fact7: 「もし軽ーくないとしたらめでたし」物はある fact8: もし仮にこの野外彫刻が推察致せばそれは大人っぽい fact9: 「もし「推察致すしかつ扱える」ということは誤りであるとすると大人っぽい」ものはある
fact6 -> hypothesis;
「「もし「「欲深くないし接ぎ木する」ということは誤りでない」ということは誤りならば「諦め切る」ということは成り立つ」ものはある」ということは成り立つ
fact10 -> int1: もし「あの正月三箇日は欲深くないがしかし接ぎ木する」ということは成り立たないならそれは諦め切る; int1 -> hypothesis;
$facts$ = fact1: 「もしも言い做しない一方で手痛いならば「乗じる」ということは事実である」物はある fact2: 「もし「収支予測でなくて代表団だ」ということは成り立たないとするとＵＤＥな」ものはある fact3: 「とあるものは欲深くないがしかし接ぎ木する」ということは本当でないなら諦め切る fact4: もしこの野外彫刻は推察致さないけれど扱えるとすると大人っぽい fact5: 「もしもされ易いとすれば焦れったい」ものはある fact6: もしも「この野外彫刻は推察致さないけれど扱える」ということは成り立たないとすればそれは大人っぽい fact7: 「もし軽ーくないとしたらめでたし」物はある fact8: もし仮にこの野外彫刻が推察致せばそれは大人っぽい fact9: 「もし「推察致すしかつ扱える」ということは誤りであるとすると大人っぽい」ものはある ; $hypothesis$ = 「もし仮に「推察致さないが扱える」ということは成り立つということはないとすれば「大人っぽい」ということは本当な」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もしも言い做しない一方で手痛いならば「乗じる」ということは事実である」物はある
事実2: 「もし「収支予測でなくて代表団だ」ということは成り立たないとするとＵＤＥな」ものはある
事実3: 「とあるものは欲深くないがしかし接ぎ木する」ということは本当でないなら諦め切る
事実4: もしこの野外彫刻は推察致さないけれど扱えるとすると大人っぽい
事実5: 「もしもされ易いとすれば焦れったい」ものはある
事実6: もしも「この野外彫刻は推察致さないけれど扱える」ということは成り立たないとすればそれは大人っぽい
事実7: 「もし軽ーくないとしたらめでたし」物はある
事実8: もし仮にこの野外彫刻が推察致せばそれは大人っぽい
事実9: 「もし「推察致すしかつ扱える」ということは誤りであるとすると大人っぽい」ものはある

仮説: 「もし仮に「推察致さないが扱える」ということは成り立つということはないとすれば「大人っぽい」ということは本当な」物はある
1. 事実6から、仮説が導かれる

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