「指図しないなら拭い難いということはないし更に融資対象者であるということはない」ものはある
fact1: 仮になんらかのものが指図しないとすると拭い難い一方で融資対象者でない fact2: 「馳せ参じないとすると反応し易いということはなくて変遷しない」ものはある fact3: 仮にとあるものが絡まり合わないなら語り方でなくてまた産気付くということはない fact4: もしとある物が指図しないならばそれは拭い難いということはなくてかつ融資対象者でない fact5: 仮にこの平板状が指図しないとしたらそれは拭い難い一方で融資対象者でない fact6: 「もしも指図すれば拭い難くなくて融資対象者でない」物はある fact7: もしもあるものが指図するということはないとすると融資対象者でない fact8: この平板状が指図しないとすればそれは融資対象者であるということはない fact9: 「もし仮に指図しないなら拭い難くてさらに融資対象者でない」ものはある fact10: 仮に「なんらかの物は御職でない」ということは正しいとしたらそれは直り難くないしまた死体遺棄罪でない
fact4 -> int1: もしも「この平板状は指図しない」ということは真実だとすると「それは拭い難くないしおまけに融資対象者でない」ということは事実だ; int1 -> hypothesis;
「もし仮に御職でないとしたら直り難くないしさらに死体遺棄罪でない」物はある
fact11 -> int2: もしその段取り力が御職でないとすると直り難くないしおまけにそれは死体遺棄罪だということはない; int2 -> hypothesis;
$facts$ = fact1: 仮になんらかのものが指図しないとすると拭い難い一方で融資対象者でない fact2: 「馳せ参じないとすると反応し易いということはなくて変遷しない」ものはある fact3: 仮にとあるものが絡まり合わないなら語り方でなくてまた産気付くということはない fact4: もしとある物が指図しないならばそれは拭い難いということはなくてかつ融資対象者でない fact5: 仮にこの平板状が指図しないとしたらそれは拭い難い一方で融資対象者でない fact6: 「もしも指図すれば拭い難くなくて融資対象者でない」物はある fact7: もしもあるものが指図するということはないとすると融資対象者でない fact8: この平板状が指図しないとすればそれは融資対象者であるということはない fact9: 「もし仮に指図しないなら拭い難くてさらに融資対象者でない」ものはある fact10: 仮に「なんらかの物は御職でない」ということは正しいとしたらそれは直り難くないしまた死体遺棄罪でない ; $hypothesis$ = 「指図しないなら拭い難いということはないし更に融資対象者であるということはない」ものはある ; $proof$ = 
fact4 -> int1: もしも「この平板状は指図しない」ということは真実だとすると「それは拭い難くないしおまけに融資対象者でない」ということは事実だ; int1 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが指図しないとすると拭い難い一方で融資対象者でない
事実2: 「馳せ参じないとすると反応し易いということはなくて変遷しない」ものはある
事実3: 仮にとあるものが絡まり合わないなら語り方でなくてまた産気付くということはない
事実4: もしとある物が指図しないならばそれは拭い難いということはなくてかつ融資対象者でない
事実5: 仮にこの平板状が指図しないとしたらそれは拭い難い一方で融資対象者でない
事実6: 「もしも指図すれば拭い難くなくて融資対象者でない」物はある
事実7: もしもあるものが指図するということはないとすると融資対象者でない
事実8: この平板状が指図しないとすればそれは融資対象者であるということはない
事実9: 「もし仮に指図しないなら拭い難くてさらに融資対象者でない」ものはある
事実10: 仮に「なんらかの物は御職でない」ということは正しいとしたらそれは直り難くないしまた死体遺棄罪でない

仮説: 「指図しないなら拭い難いということはないし更に融資対象者であるということはない」ものはある
1. 事実4から、推論1: "もしも「この平板状は指図しない」ということは真実だとすると「それは拭い難くないしおまけに融資対象者でない」ということは事実だ"が導かれる
2. 推論1から、仮説が導かれる

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