もし「この保護者代わりは納得し難いがしかし擬人化しない」ということは誤っているとすればそれはずらせるということはない
fact1: もし納得し難い物が擬人化しないとすればそれはずらせるということはない fact2: 「何らかの物は納得し難いがしかし擬人化しない」ということは確かでないとしたら「それはずらせる」ということは確かだ fact3: 仮に何かは擬人化するならずらせない fact4: もし「何かは納得し難いが擬人化しない」ということは成り立たないとしたら「ずらせない」ということは成り立つ fact5: 仮にこの保護者代わりは擬人化するとすると「ずらせない」ということは本当である fact6: もしもこの保護者代わりが納得し難いがしかし擬人化しないならそれはずらせない fact7: 仮に「この保護者代わりは納得し難い一方で擬人化しない」ということは偽ならばそれはずらせる fact8: もし「あのシャトーはモジュールであるが知的活動でない」ということは成り立たないとすればそれは納得し難くない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: もし納得し難い物が擬人化しないとすればそれはずらせるということはない fact2: 「何らかの物は納得し難いがしかし擬人化しない」ということは確かでないとしたら「それはずらせる」ということは確かだ fact3: 仮に何かは擬人化するならずらせない fact4: もし「何かは納得し難いが擬人化しない」ということは成り立たないとしたら「ずらせない」ということは成り立つ fact5: 仮にこの保護者代わりは擬人化するとすると「ずらせない」ということは本当である fact6: もしもこの保護者代わりが納得し難いがしかし擬人化しないならそれはずらせない fact7: 仮に「この保護者代わりは納得し難い一方で擬人化しない」ということは偽ならばそれはずらせる fact8: もし「あのシャトーはモジュールであるが知的活動でない」ということは成り立たないとすればそれは納得し難くない ; $hypothesis$ = もし「この保護者代わりは納得し難いがしかし擬人化しない」ということは誤っているとすればそれはずらせるということはない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし納得し難い物が擬人化しないとすればそれはずらせるということはない
事実2: 「何らかの物は納得し難いがしかし擬人化しない」ということは確かでないとしたら「それはずらせる」ということは確かだ
事実3: 仮に何かは擬人化するならずらせない
事実4: もし「何かは納得し難いが擬人化しない」ということは成り立たないとしたら「ずらせない」ということは成り立つ
事実5: 仮にこの保護者代わりは擬人化するとすると「ずらせない」ということは本当である
事実6: もしもこの保護者代わりが納得し難いがしかし擬人化しないならそれはずらせない
事実7: 仮に「この保護者代わりは納得し難い一方で擬人化しない」ということは偽ならばそれはずらせる
事実8: もし「あのシャトーはモジュールであるが知的活動でない」ということは成り立たないとすればそれは納得し難くない

仮説: もし「この保護者代わりは納得し難いがしかし擬人化しない」ということは誤っているとすればそれはずらせるということはない
1. 事実4から、仮説が導かれる

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