この魅力は進化し易い
fact1: もし仮に「減速しない」物はあるとすると「あの目標通りは進化し易い」ということは偽であるということはない fact2: あの御目玉が疚しくない一方でねちっこいならこの管理教育は第五譜でない fact3: あの北部地域はびびるかあるいは進化し易いかあるいは両方だ fact4: その太政官はぶん投げる fact5: その宇宙間が借り上げないとしたらこのセンサは聾であるしかつぶん投げる fact6: 仮になんらかの物は聾でないとしたら「あの捕虜達は進化し易い」ということは成り立つ fact7: もし仮にこの管理教育は第五譜でないならば「その展示室は野生でないけど家畜排泄物だ」ということは成り立たない fact8: あの捕虜達は聾であるかそれは蝟集しないかまたは両方ともだ fact9: 仮に何らかのものは真新しくないならば「それは空々しいけれど借り上げない」ということは成り立たない fact10: もし仮にこのコマーシャル・ペーパーが塩っ辛くないならばあのじゅういちは崖下だしそれに黙秘する fact11: もしなにがしかのものがぶん投げるかもしくはそれが聾でないかどちらもならばこのセンサは蝟集する fact12: 仮に「「何らかの物は野生でないがしかし家畜排泄物だ」ということは成り立つ」ということは誤りであるとすると真新しくない fact13: 「仮になにがしかの物が蝟集するということはないとしたらあの捕虜達は進化し易い」ということは確かだ fact14: もしこのセンサはぶん投げるとすれば「この魅力は進化し易い」ということは真実である fact15: もしあのじゅういちが崖下ならばあの御目玉は疚しいということはないがしかしねちっこい fact16: もし仮に「その展示室は空々しい一方で借り上げない」ということは真実でないとすればその宇宙間は借り上げるということはない fact17: もしもとある物は聾であるとするとそれはぶん投げる fact18: 仮にある物が聾であるかもしくは蝟集するということはないかもしくはどちらもであるとしたらこのセンサはぶん投げる fact19: このセンサは御役人である fact20: 「このセンサは蝟集するかあるいはぶん投げるかもしくはどちらもだ」ということは事実だ
fact8 -> int1: 何かは聾であるかそれは蝟集しない; int1 & fact18 -> int2: このセンサはぶん投げる; int2 & fact14 -> hypothesis;
fact8 -> int1: (Ex): ({A}x v ¬{B}x); int1 & fact18 -> int2: {C}{a}; int2 & fact14 -> hypothesis;
この魅力は進化し易くない
fact26 -> int3: その展示室は真新しくないとしたら「「空々しいけれど借り上げない」ということは正しい」ということは成り立たない; fact25 -> int4: もし「その展示室は野生でない一方で家畜排泄物だ」ということは成り立たないならば真新しくない;
$facts$ = fact1: もし仮に「減速しない」物はあるとすると「あの目標通りは進化し易い」ということは偽であるということはない fact2: あの御目玉が疚しくない一方でねちっこいならこの管理教育は第五譜でない fact3: あの北部地域はびびるかあるいは進化し易いかあるいは両方だ fact4: その太政官はぶん投げる fact5: その宇宙間が借り上げないとしたらこのセンサは聾であるしかつぶん投げる fact6: 仮になんらかの物は聾でないとしたら「あの捕虜達は進化し易い」ということは成り立つ fact7: もし仮にこの管理教育は第五譜でないならば「その展示室は野生でないけど家畜排泄物だ」ということは成り立たない fact8: あの捕虜達は聾であるかそれは蝟集しないかまたは両方ともだ fact9: 仮に何らかのものは真新しくないならば「それは空々しいけれど借り上げない」ということは成り立たない fact10: もし仮にこのコマーシャル・ペーパーが塩っ辛くないならばあのじゅういちは崖下だしそれに黙秘する fact11: もしなにがしかのものがぶん投げるかもしくはそれが聾でないかどちらもならばこのセンサは蝟集する fact12: 仮に「「何らかの物は野生でないがしかし家畜排泄物だ」ということは成り立つ」ということは誤りであるとすると真新しくない fact13: 「仮になにがしかの物が蝟集するということはないとしたらあの捕虜達は進化し易い」ということは確かだ fact14: もしこのセンサはぶん投げるとすれば「この魅力は進化し易い」ということは真実である fact15: もしあのじゅういちが崖下ならばあの御目玉は疚しいということはないがしかしねちっこい fact16: もし仮に「その展示室は空々しい一方で借り上げない」ということは真実でないとすればその宇宙間は借り上げるということはない fact17: もしもとある物は聾であるとするとそれはぶん投げる fact18: 仮にある物が聾であるかもしくは蝟集するということはないかもしくはどちらもであるとしたらこのセンサはぶん投げる fact19: このセンサは御役人である fact20: 「このセンサは蝟集するかあるいはぶん投げるかもしくはどちらもだ」ということは事実だ ; $hypothesis$ = この魅力は進化し易い ; $proof$ = 
fact8 -> int1: 何かは聾であるかそれは蝟集しない; int1 & fact18 -> int2: このセンサはぶん投げる; int2 & fact14 -> hypothesis; __PROVED__
事実1: もし仮に「減速しない」物はあるとすると「あの目標通りは進化し易い」ということは偽であるということはない
事実2: あの御目玉が疚しくない一方でねちっこいならこの管理教育は第五譜でない
事実3: あの北部地域はびびるかあるいは進化し易いかあるいは両方だ
事実4: その太政官はぶん投げる
事実5: その宇宙間が借り上げないとしたらこのセンサは聾であるしかつぶん投げる
事実6: 仮になんらかの物は聾でないとしたら「あの捕虜達は進化し易い」ということは成り立つ
事実7: もし仮にこの管理教育は第五譜でないならば「その展示室は野生でないけど家畜排泄物だ」ということは成り立たない
事実8: あの捕虜達は聾であるかそれは蝟集しないかまたは両方ともだ
事実9: 仮に何らかのものは真新しくないならば「それは空々しいけれど借り上げない」ということは成り立たない
事実10: もし仮にこのコマーシャル・ペーパーが塩っ辛くないならばあのじゅういちは崖下だしそれに黙秘する
事実11: もしなにがしかのものがぶん投げるかもしくはそれが聾でないかどちらもならばこのセンサは蝟集する
事実12: 仮に「「何らかの物は野生でないがしかし家畜排泄物だ」ということは成り立つ」ということは誤りであるとすると真新しくない
事実13: 「仮になにがしかの物が蝟集するということはないとしたらあの捕虜達は進化し易い」ということは確かだ
事実14: もしこのセンサはぶん投げるとすれば「この魅力は進化し易い」ということは真実である
事実15: もしあのじゅういちが崖下ならばあの御目玉は疚しいということはないがしかしねちっこい
事実16: もし仮に「その展示室は空々しい一方で借り上げない」ということは真実でないとすればその宇宙間は借り上げるということはない
事実17: もしもとある物は聾であるとするとそれはぶん投げる
事実18: 仮にある物が聾であるかもしくは蝟集するということはないかもしくはどちらもであるとしたらこのセンサはぶん投げる
事実19: このセンサは御役人である
事実20: 「このセンサは蝟集するかあるいはぶん投げるかもしくはどちらもだ」ということは事実だ

仮説: この魅力は進化し易い
1. 事実8から、推論1: "何かは聾であるかそれは蝟集しない"が導かれる
2. 推論1と事実18から、推論2: "このセンサはぶん投げる"が導かれる
3. 推論2と事実14から、仮説が導かれる

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