「「堪能するしかつ解剖する」ということは誤っているとすれば大人っぽくない」物はある
fact1: もし「あのジャワ版は堪能するしまた解剖する」ということは成り立たないとすると「大人っぽくない」ということは成り立つ fact2: 「堪能するし解剖すれば大人っぽくない」物はある fact3: もし仮に「あのジャワ版は堪能するしその上解剖する」ということは嘘であるとすると大人っぽい fact4: 「もしも「堪能するということはない」ということは真実ならば大人っぽいということはない」ものはある fact5: 「あのジャワ版は躱し切れるし十三世だ」ということは成り立たないなら堪能しない fact6: もしあのジャワ版が堪能しないとすると大人っぽくない fact7: 「もし仮に「堪能するし解剖する」ということは間違っているとしたら大人っぽい」物はある fact8: 「もしも「伝送路であるしその上計測・計算する」ということは成り立たないとしたら二十一Ｂでない」物はある fact9: 「仮に解剖しないなら大人っぽいということはない」物はある fact10: もしもあのジャワ版が堪能するし解剖すれば「それは大人っぽくない」ということは本当である fact11: 仮に「とある物がサイドスカートだしそれは中座する」ということは事実と異なるなら堪能しない
fact1 -> hypothesis;
仮に「あのコンコースがサイドスカートだしその上それは中座する」ということは間違っているとすると堪能するということはない
fact12 -> hypothesis;
$facts$ = fact1: もし「あのジャワ版は堪能するしまた解剖する」ということは成り立たないとすると「大人っぽくない」ということは成り立つ fact2: 「堪能するし解剖すれば大人っぽくない」物はある fact3: もし仮に「あのジャワ版は堪能するしその上解剖する」ということは嘘であるとすると大人っぽい fact4: 「もしも「堪能するということはない」ということは真実ならば大人っぽいということはない」ものはある fact5: 「あのジャワ版は躱し切れるし十三世だ」ということは成り立たないなら堪能しない fact6: もしあのジャワ版が堪能しないとすると大人っぽくない fact7: 「もし仮に「堪能するし解剖する」ということは間違っているとしたら大人っぽい」物はある fact8: 「もしも「伝送路であるしその上計測・計算する」ということは成り立たないとしたら二十一Ｂでない」物はある fact9: 「仮に解剖しないなら大人っぽいということはない」物はある fact10: もしもあのジャワ版が堪能するし解剖すれば「それは大人っぽくない」ということは本当である fact11: 仮に「とある物がサイドスカートだしそれは中座する」ということは事実と異なるなら堪能しない ; $hypothesis$ = 「「堪能するしかつ解剖する」ということは誤っているとすれば大人っぽくない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「あのジャワ版は堪能するしまた解剖する」ということは成り立たないとすると「大人っぽくない」ということは成り立つ
事実2: 「堪能するし解剖すれば大人っぽくない」物はある
事実3: もし仮に「あのジャワ版は堪能するしその上解剖する」ということは嘘であるとすると大人っぽい
事実4: 「もしも「堪能するということはない」ということは真実ならば大人っぽいということはない」ものはある
事実5: 「あのジャワ版は躱し切れるし十三世だ」ということは成り立たないなら堪能しない
事実6: もしあのジャワ版が堪能しないとすると大人っぽくない
事実7: 「もし仮に「堪能するし解剖する」ということは間違っているとしたら大人っぽい」物はある
事実8: 「もしも「伝送路であるしその上計測・計算する」ということは成り立たないとしたら二十一Ｂでない」物はある
事実9: 「仮に解剖しないなら大人っぽいということはない」物はある
事実10: もしもあのジャワ版が堪能するし解剖すれば「それは大人っぽくない」ということは本当である
事実11: 仮に「とある物がサイドスカートだしそれは中座する」ということは事実と異なるなら堪能しない

仮説: 「「堪能するしかつ解剖する」ということは誤っているとすれば大人っぽくない」物はある
1. 事実1から、仮説が導かれる

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