この監査計画は近付き得る
fact1: 「とある物は安っぽくないし容易くない」ということは成り立たないとしたら信じ難くない fact2: もし仮にこの監査計画が安っぽいということはないなら信じ難くない fact3: もしその集団隔離が運用部門でないとすればそれが悟性だしさらにそれは孝行する fact4: なにがしかのものは容易いということはないなら「近付き得るしさらにそれは安っぽいということはない」ということは事実でない fact5: 仮にその地域首長が安っぽくないなら嫁はないがしかし提起出来る fact6: その投与時は思い為さらないけれど麗々しい fact7: もしもなにかは機上だとすると「安っぽいということはないし加えてそれは容易くない」ということは成り立たない fact8: この監査計画は信じ難くない fact9: 「なんらかの物は機上でない」ということは成り立つとしたら「容易い一方で孝行しない」ということは誤りである fact10: 仮に「「容易いしその上孝行しない」ということは間違いである」物があるとするとこの途上諸国は容易くない fact11: 仮に「この監査計画は安っぽくない」ということは本当であるとすると信じ難くないしその上それは近付き得る fact12: その集団隔離は悟性だということはなくて機上でない fact13: 仮にこの監査計画が機上であるならばそのエラーチェックは機上だ fact14: この途上諸国は容易くないとしたら「この監査計画は安っぽいしさらに近付き得る」ということは間違っている fact15: もし仮にその集団隔離が機上でないしさらに容易いということはないならばこの途上諸国は容易くない fact16: この監査計画は落ち難くない fact17: この監査計画は安っぽいということはない fact18: もしもなにかは孝行すればそれは機上でないし容易くない
fact11 & fact17 -> int1: 「この監査計画は信じ難くないけど近付き得る」ということは誤っていない; int1 -> hypothesis;
「この監査計画は近付き得ない」ということは確かだ
fact22 -> int2: その集団隔離が孝行すれば機上だということはないし加えて容易くない;
$facts$ = fact1: 「とある物は安っぽくないし容易くない」ということは成り立たないとしたら信じ難くない fact2: もし仮にこの監査計画が安っぽいということはないなら信じ難くない fact3: もしその集団隔離が運用部門でないとすればそれが悟性だしさらにそれは孝行する fact4: なにがしかのものは容易いということはないなら「近付き得るしさらにそれは安っぽいということはない」ということは事実でない fact5: 仮にその地域首長が安っぽくないなら嫁はないがしかし提起出来る fact6: その投与時は思い為さらないけれど麗々しい fact7: もしもなにかは機上だとすると「安っぽいということはないし加えてそれは容易くない」ということは成り立たない fact8: この監査計画は信じ難くない fact9: 「なんらかの物は機上でない」ということは成り立つとしたら「容易い一方で孝行しない」ということは誤りである fact10: 仮に「「容易いしその上孝行しない」ということは間違いである」物があるとするとこの途上諸国は容易くない fact11: 仮に「この監査計画は安っぽくない」ということは本当であるとすると信じ難くないしその上それは近付き得る fact12: その集団隔離は悟性だということはなくて機上でない fact13: 仮にこの監査計画が機上であるならばそのエラーチェックは機上だ fact14: この途上諸国は容易くないとしたら「この監査計画は安っぽいしさらに近付き得る」ということは間違っている fact15: もし仮にその集団隔離が機上でないしさらに容易いということはないならばこの途上諸国は容易くない fact16: この監査計画は落ち難くない fact17: この監査計画は安っぽいということはない fact18: もしもなにかは孝行すればそれは機上でないし容易くない ; $hypothesis$ = この監査計画は近付き得る ; $proof$ = 
fact11 & fact17 -> int1: 「この監査計画は信じ難くないけど近付き得る」ということは誤っていない; int1 -> hypothesis; __PROVED__
事実1: 「とある物は安っぽくないし容易くない」ということは成り立たないとしたら信じ難くない
事実2: もし仮にこの監査計画が安っぽいということはないなら信じ難くない
事実3: もしその集団隔離が運用部門でないとすればそれが悟性だしさらにそれは孝行する
事実4: なにがしかのものは容易いということはないなら「近付き得るしさらにそれは安っぽいということはない」ということは事実でない
事実5: 仮にその地域首長が安っぽくないなら嫁はないがしかし提起出来る
事実6: その投与時は思い為さらないけれど麗々しい
事実7: もしもなにかは機上だとすると「安っぽいということはないし加えてそれは容易くない」ということは成り立たない
事実8: この監査計画は信じ難くない
事実9: 「なんらかの物は機上でない」ということは成り立つとしたら「容易い一方で孝行しない」ということは誤りである
事実10: 仮に「「容易いしその上孝行しない」ということは間違いである」物があるとするとこの途上諸国は容易くない
事実11: 仮に「この監査計画は安っぽくない」ということは本当であるとすると信じ難くないしその上それは近付き得る
事実12: その集団隔離は悟性だということはなくて機上でない
事実13: 仮にこの監査計画が機上であるならばそのエラーチェックは機上だ
事実14: この途上諸国は容易くないとしたら「この監査計画は安っぽいしさらに近付き得る」ということは間違っている
事実15: もし仮にその集団隔離が機上でないしさらに容易いということはないならばこの途上諸国は容易くない
事実16: この監査計画は落ち難くない
事実17: この監査計画は安っぽいということはない
事実18: もしもなにかは孝行すればそれは機上でないし容易くない

仮説: この監査計画は近付き得る
1. 事実11と事実17から、推論1: "「この監査計画は信じ難くないけど近付き得る」ということは誤っていない"が導かれる
2. 推論1から、仮説が導かれる

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