「もし仮に割れ易くないとすると「「リビア山猫だしまた良くない」ということは成り立つ」ということは偽である」物はある
fact1: もし仮にこの共催は自由都市でないとすると「それは誇りっぽいがしかしリビア山猫だということはない」ということは成り立つということはない fact2: もし仮にこの共催は割れ易いならば「リビア山猫でその上それは良いということはない」ということは成り立たない fact3: もし「この共催は割れ易くない」ということは真実であるとしたら「リビア山猫でその上良い」ということは誤りだ fact4: 「仮にこの共催は住み難くないとすれば「この共催は新しい一方で抽出しない」ということは成り立たない」ということは本当である fact5: 「仮に割れ易いとしたら「リビア山猫であるし良いということはない」ということは成り立たない」ものはある fact6: もしなにがしかのものは押さえ込むということはないとしたら「調べ易いがしかし良くない」ということは成り立たない fact7: もしもあのシェイプアップは取り付けないならば「リビア山猫だけれど期し難くない」ということは事実と異なる fact8: もし仮にこの共催は割れ易いということはないとすれば「それはリビア山猫でそれは良くない」ということは成り立たない fact9: 仮にこの共催が割れ易くないならばそれはリビア山猫だがしかし良くない fact10: 「仮に「割れ易いということはない」ということは成り立つとしたらリビア山猫だしさらに良くない」物はある fact11: 「もし仮に割れ易くないならば「リビア山猫であるししかも良い」ということは間違いである」物はある fact12: 「もし床しかないならば「救出するがしかし積み上げない」ということは誤りである」ものはある
fact8 -> hypothesis;
もし仮にあの基地は押さえ込まないならば「調べ易い一方で良くない」ということは偽だ
fact13 -> hypothesis;
$facts$ = fact1: もし仮にこの共催は自由都市でないとすると「それは誇りっぽいがしかしリビア山猫だということはない」ということは成り立つということはない fact2: もし仮にこの共催は割れ易いならば「リビア山猫でその上それは良いということはない」ということは成り立たない fact3: もし「この共催は割れ易くない」ということは真実であるとしたら「リビア山猫でその上良い」ということは誤りだ fact4: 「仮にこの共催は住み難くないとすれば「この共催は新しい一方で抽出しない」ということは成り立たない」ということは本当である fact5: 「仮に割れ易いとしたら「リビア山猫であるし良いということはない」ということは成り立たない」ものはある fact6: もしなにがしかのものは押さえ込むということはないとしたら「調べ易いがしかし良くない」ということは成り立たない fact7: もしもあのシェイプアップは取り付けないならば「リビア山猫だけれど期し難くない」ということは事実と異なる fact8: もし仮にこの共催は割れ易いということはないとすれば「それはリビア山猫でそれは良くない」ということは成り立たない fact9: 仮にこの共催が割れ易くないならばそれはリビア山猫だがしかし良くない fact10: 「仮に「割れ易いということはない」ということは成り立つとしたらリビア山猫だしさらに良くない」物はある fact11: 「もし仮に割れ易くないならば「リビア山猫であるししかも良い」ということは間違いである」物はある fact12: 「もし床しかないならば「救出するがしかし積み上げない」ということは誤りである」ものはある ; $hypothesis$ = 「もし仮に割れ易くないとすると「「リビア山猫だしまた良くない」ということは成り立つ」ということは偽である」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの共催は自由都市でないとすると「それは誇りっぽいがしかしリビア山猫だということはない」ということは成り立つということはない
事実2: もし仮にこの共催は割れ易いならば「リビア山猫でその上それは良いということはない」ということは成り立たない
事実3: もし「この共催は割れ易くない」ということは真実であるとしたら「リビア山猫でその上良い」ということは誤りだ
事実4: 「仮にこの共催は住み難くないとすれば「この共催は新しい一方で抽出しない」ということは成り立たない」ということは本当である
事実5: 「仮に割れ易いとしたら「リビア山猫であるし良いということはない」ということは成り立たない」ものはある
事実6: もしなにがしかのものは押さえ込むということはないとしたら「調べ易いがしかし良くない」ということは成り立たない
事実7: もしもあのシェイプアップは取り付けないならば「リビア山猫だけれど期し難くない」ということは事実と異なる
事実8: もし仮にこの共催は割れ易いということはないとすれば「それはリビア山猫でそれは良くない」ということは成り立たない
事実9: 仮にこの共催が割れ易くないならばそれはリビア山猫だがしかし良くない
事実10: 「仮に「割れ易いということはない」ということは成り立つとしたらリビア山猫だしさらに良くない」物はある
事実11: 「もし仮に割れ易くないならば「リビア山猫であるししかも良い」ということは間違いである」物はある
事実12: 「もし床しかないならば「救出するがしかし積み上げない」ということは誤りである」ものはある

仮説: 「もし仮に割れ易くないとすると「「リビア山猫だしまた良くない」ということは成り立つ」ということは偽である」物はある
1. 事実8から、仮説が導かれる

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