「この奥書きは面目無くなくて営業面でない」ということは嘘である
fact1: この開発者は予讃線でない fact2: その駐車場整備計画は打ちのめす fact3: 「この奥書きは出難くないけれど面目無い」ということは本当だとするとその駐車場整備計画は予讃線だ fact4: 「この奥書きは面目無いがしかし営業面でない」ということは誤っている fact5: この開発者が打ちのめさないけれど出難いとするとこの奥書きは面目無い fact6: 「相互配慮である」物はある fact7: もしその駐車場整備計画は出難いとすれば「この奥書きは面目無いということはないしかつそれは営業面でない」ということは誤りだ fact8: もしもこの奥書きは出難いならば「その駐車場整備計画は面目無くないし予讃線でない」ということは誤りだ fact9: もしも「何らかの物は相互配慮だということはなくてかつ出難くない」ということは成り立たないとしたらそれは面目無いということはない fact10: 「この奥書きは面目無くないが営業面だ」ということは誤っている fact11: もしもこの開発者が予讃線でない一方で打ちのめせばその駐車場整備計画は出難い fact12: その駐車場整備計画は出難いとすれば「この奥書きは面目無くない一方で営業面である」ということは偽である fact13: 仮にこの奥書きは面目無いとすれば「その駐車場整備計画は打ちのめさないし出難くない」ということは成り立たない fact14: この開発者は予讃線であるということはないけれどそれは打ちのめす fact15: この自社製品は営業面でないけど放り投げる fact16: もしこの開発者は予讃線であるならば「その駐車場整備計画は出難いということはなくてそれは打ちのめさない」ということは成り立つということはない fact17: 常連らしいということはない物はアンジオテンシン一変換酵素でないならばそれは営業面でない fact18: もし仮にこの開発者は予讃線であるし打ちのめすとすると「その駐車場整備計画は出難い」ということは成り立つ fact19: その駐車場整備計画は出難いならば「この奥書きは面目無いがしかし営業面でない」ということは成り立つということはない
fact11 & fact14 -> int1: その駐車場整備計画は出難い; int1 & fact7 -> hypothesis;
この奥書きは面目無くないし更に営業面でない
fact21 -> int2: 仮に「この奥書きは相互配慮でなくてそれは出難くない」ということは成り立たないとすれば面目無くない; fact20 -> int3: もしも「この奥書きは常連らしくないしそれにアンジオテンシン一変換酵素でない」ということは成り立つとするとそれは営業面であるということはない;
$facts$ = fact1: この開発者は予讃線でない fact2: その駐車場整備計画は打ちのめす fact3: 「この奥書きは出難くないけれど面目無い」ということは本当だとするとその駐車場整備計画は予讃線だ fact4: 「この奥書きは面目無いがしかし営業面でない」ということは誤っている fact5: この開発者が打ちのめさないけれど出難いとするとこの奥書きは面目無い fact6: 「相互配慮である」物はある fact7: もしその駐車場整備計画は出難いとすれば「この奥書きは面目無いということはないしかつそれは営業面でない」ということは誤りだ fact8: もしもこの奥書きは出難いならば「その駐車場整備計画は面目無くないし予讃線でない」ということは誤りだ fact9: もしも「何らかの物は相互配慮だということはなくてかつ出難くない」ということは成り立たないとしたらそれは面目無いということはない fact10: 「この奥書きは面目無くないが営業面だ」ということは誤っている fact11: もしもこの開発者が予讃線でない一方で打ちのめせばその駐車場整備計画は出難い fact12: その駐車場整備計画は出難いとすれば「この奥書きは面目無くない一方で営業面である」ということは偽である fact13: 仮にこの奥書きは面目無いとすれば「その駐車場整備計画は打ちのめさないし出難くない」ということは成り立たない fact14: この開発者は予讃線であるということはないけれどそれは打ちのめす fact15: この自社製品は営業面でないけど放り投げる fact16: もしこの開発者は予讃線であるならば「その駐車場整備計画は出難いということはなくてそれは打ちのめさない」ということは成り立つということはない fact17: 常連らしいということはない物はアンジオテンシン一変換酵素でないならばそれは営業面でない fact18: もし仮にこの開発者は予讃線であるし打ちのめすとすると「その駐車場整備計画は出難い」ということは成り立つ fact19: その駐車場整備計画は出難いならば「この奥書きは面目無いがしかし営業面でない」ということは成り立つということはない ; $hypothesis$ = 「この奥書きは面目無くなくて営業面でない」ということは嘘である ; $proof$ = 
fact11 & fact14 -> int1: その駐車場整備計画は出難い; int1 & fact7 -> hypothesis; __PROVED__
事実1: この開発者は予讃線でない
事実2: その駐車場整備計画は打ちのめす
事実3: 「この奥書きは出難くないけれど面目無い」ということは本当だとするとその駐車場整備計画は予讃線だ
事実4: 「この奥書きは面目無いがしかし営業面でない」ということは誤っている
事実5: この開発者が打ちのめさないけれど出難いとするとこの奥書きは面目無い
事実6: 「相互配慮である」物はある
事実7: もしその駐車場整備計画は出難いとすれば「この奥書きは面目無いということはないしかつそれは営業面でない」ということは誤りだ
事実8: もしもこの奥書きは出難いならば「その駐車場整備計画は面目無くないし予讃線でない」ということは誤りだ
事実9: もしも「何らかの物は相互配慮だということはなくてかつ出難くない」ということは成り立たないとしたらそれは面目無いということはない
事実10: 「この奥書きは面目無くないが営業面だ」ということは誤っている
事実11: もしもこの開発者が予讃線でない一方で打ちのめせばその駐車場整備計画は出難い
事実12: その駐車場整備計画は出難いとすれば「この奥書きは面目無くない一方で営業面である」ということは偽である
事実13: 仮にこの奥書きは面目無いとすれば「その駐車場整備計画は打ちのめさないし出難くない」ということは成り立たない
事実14: この開発者は予讃線であるということはないけれどそれは打ちのめす
事実15: この自社製品は営業面でないけど放り投げる
事実16: もしこの開発者は予讃線であるならば「その駐車場整備計画は出難いということはなくてそれは打ちのめさない」ということは成り立つということはない
事実17: 常連らしいということはない物はアンジオテンシン一変換酵素でないならばそれは営業面でない
事実18: もし仮にこの開発者は予讃線であるし打ちのめすとすると「その駐車場整備計画は出難い」ということは成り立つ
事実19: その駐車場整備計画は出難いならば「この奥書きは面目無いがしかし営業面でない」ということは成り立つということはない

仮説: 「この奥書きは面目無くなくて営業面でない」ということは嘘である
1. 事実11と事実14から、推論1: "その駐車場整備計画は出難い"が導かれる
2. 推論1と事実7から、仮説が導かれる

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