「心付くということはないとすれば「読み易いけど付和雷同しない」ということは成り立たない」ものはある
fact1: 「「そのアメリカ美術は心付く」ということは誤りであるとしたら「そのアメリカ美術は読み易いし加えて付和雷同する」ということは偽である」ということは本当だ fact2: もしそのアメリカ美術が心付くということはないなら読み易いけれど付和雷同しない fact3: 「仮にとある物は道路特定財源でないならば「それは分派するがしかし属さない」ということは成り立たない」ということは成り立つ fact4: もし仮になにがしかのものは心付けば「それは読み易いしそれは付和雷同しない」ということは成り立たない fact5: 「もしも「心付く」ということは成り立つなら「読み易いが付和雷同しない」ということは確かでない」物はある fact6: もしそのアメリカ美術は心付くとすれば「それは読み易いけど付和雷同しない」ということは成り立たない fact7: もし仮に何らかの物は鬱陶しかないとすれば「それはロング・スカートであるけれど俗っぽくない」ということは成り立たない fact8: もし仮になんらかの物は心付かないとしたら「それは読み易いけど付和雷同しない」ということは嘘である fact9: 「もし心付かないならば読み易くて加えて付和雷同するということはない」ものはある fact10: 何らかの物が心付かないならば読み易いしそれは付和雷同しない fact11: 「心付かないとしたら「読み易いし更に付和雷同する」ということは誤っている」ものはある
fact8 -> int1: そのアメリカ美術は心付かないならば「「それは読み易いけど付和雷同しない」ということは事実である」ということは確かでない; int1 -> hypothesis;
$facts$ = fact1: 「「そのアメリカ美術は心付く」ということは誤りであるとしたら「そのアメリカ美術は読み易いし加えて付和雷同する」ということは偽である」ということは本当だ fact2: もしそのアメリカ美術が心付くということはないなら読み易いけれど付和雷同しない fact3: 「仮にとある物は道路特定財源でないならば「それは分派するがしかし属さない」ということは成り立たない」ということは成り立つ fact4: もし仮になにがしかのものは心付けば「それは読み易いしそれは付和雷同しない」ということは成り立たない fact5: 「もしも「心付く」ということは成り立つなら「読み易いが付和雷同しない」ということは確かでない」物はある fact6: もしそのアメリカ美術は心付くとすれば「それは読み易いけど付和雷同しない」ということは成り立たない fact7: もし仮に何らかの物は鬱陶しかないとすれば「それはロング・スカートであるけれど俗っぽくない」ということは成り立たない fact8: もし仮になんらかの物は心付かないとしたら「それは読み易いけど付和雷同しない」ということは嘘である fact9: 「もし心付かないならば読み易くて加えて付和雷同するということはない」ものはある fact10: 何らかの物が心付かないならば読み易いしそれは付和雷同しない fact11: 「心付かないとしたら「読み易いし更に付和雷同する」ということは誤っている」ものはある ; $hypothesis$ = 「心付くということはないとすれば「読み易いけど付和雷同しない」ということは成り立たない」ものはある ; $proof$ = 
fact8 -> int1: そのアメリカ美術は心付かないならば「「それは読み易いけど付和雷同しない」ということは事実である」ということは確かでない; int1 -> hypothesis; __PROVED__
事実1: 「「そのアメリカ美術は心付く」ということは誤りであるとしたら「そのアメリカ美術は読み易いし加えて付和雷同する」ということは偽である」ということは本当だ
事実2: もしそのアメリカ美術が心付くということはないなら読み易いけれど付和雷同しない
事実3: 「仮にとある物は道路特定財源でないならば「それは分派するがしかし属さない」ということは成り立たない」ということは成り立つ
事実4: もし仮になにがしかのものは心付けば「それは読み易いしそれは付和雷同しない」ということは成り立たない
事実5: 「もしも「心付く」ということは成り立つなら「読み易いが付和雷同しない」ということは確かでない」物はある
事実6: もしそのアメリカ美術は心付くとすれば「それは読み易いけど付和雷同しない」ということは成り立たない
事実7: もし仮に何らかの物は鬱陶しかないとすれば「それはロング・スカートであるけれど俗っぽくない」ということは成り立たない
事実8: もし仮になんらかの物は心付かないとしたら「それは読み易いけど付和雷同しない」ということは嘘である
事実9: 「もし心付かないならば読み易くて加えて付和雷同するということはない」ものはある
事実10: 何らかの物が心付かないならば読み易いしそれは付和雷同しない
事実11: 「心付かないとしたら「読み易いし更に付和雷同する」ということは誤っている」ものはある

仮説: 「心付くということはないとすれば「読み易いけど付和雷同しない」ということは成り立たない」ものはある
1. 事実8から、推論1: "そのアメリカ美術は心付かないならば「「それは読み易いけど付和雷同しない」ということは事実である」ということは確かでない"が導かれる
2. 推論1から、仮説が導かれる

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