この市場参加者は選り好みする
fact1: もし「このペンシルタイプは選り好みする」ということは真実であるとするとこの市場参加者は軽い fact2: この一言一言は住宅市場である fact3: 「このペンシルタイプは軽くてかつ鑑賞し易い」ということは成り立たない fact4: それは軽いしおまけに鑑賞し易いという物はない fact5: 仮に「この市場参加者は選り好みするけど軽いということはない」ということは成り立たないとすればあのペンシルタイプは為出かす fact6: もしもこの市場参加者が軽いとしたらこのペンシルタイプは選り好みする fact7: 仮にこの市場参加者は卑しないならそれは行使出来るしさらに申し訳無い fact8: 「このペンシルタイプは軽いが為出かさない」ということは正しくない fact9: 仮にこの市場参加者は御当代でないし右インデントでないならばそれは卑しない fact10: 「このペンシルタイプは軽いけど鑑賞し易いということはない」ということは事実でないとしたらこの一言一言は為出かす fact11: 「それは軽いが鑑賞し易くない」ということは正しいという物はない fact12: 「この一言一言は為出かすが選り好みするということはない」ということは誤っている fact13: もしこの市場参加者が申し訳無いとすればこの一言一言は行使出来る fact14: この一言一言が行使出来るとしたら選り好みする fact15: この一言一言は為出かすとすれば「この市場参加者は選り好みする」ということは成り立つ fact16: もしもなにがしかの物は行使出来るとすると「選り好みするしさらに為出かさない」ということは成り立たない fact17: 「あのカナールは空気座布団である一方で選り好みするということはない」ということは間違いだ fact18: 「「この市場参加者は選り好みするがしかし鑑賞し易くない」ということは成り立つ」ということは成り立つということはないとすればこのペンシルタイプは為出かす fact19: もしこのペンシルタイプが鑑賞し易いとすればあの一言一言は為出かす
fact11 -> int1: 「このペンシルタイプは軽いがしかしそれは鑑賞し易いということはない」ということは誤りだ; int1 & fact10 -> int2: この一言一言は為出かす; int2 & fact15 -> hypothesis;
「そのウイルス学的検査は為出かすがそれは悪くない」ということは成り立たない
$facts$ = fact1: もし「このペンシルタイプは選り好みする」ということは真実であるとするとこの市場参加者は軽い fact2: この一言一言は住宅市場である fact3: 「このペンシルタイプは軽くてかつ鑑賞し易い」ということは成り立たない fact4: それは軽いしおまけに鑑賞し易いという物はない fact5: 仮に「この市場参加者は選り好みするけど軽いということはない」ということは成り立たないとすればあのペンシルタイプは為出かす fact6: もしもこの市場参加者が軽いとしたらこのペンシルタイプは選り好みする fact7: 仮にこの市場参加者は卑しないならそれは行使出来るしさらに申し訳無い fact8: 「このペンシルタイプは軽いが為出かさない」ということは正しくない fact9: 仮にこの市場参加者は御当代でないし右インデントでないならばそれは卑しない fact10: 「このペンシルタイプは軽いけど鑑賞し易いということはない」ということは事実でないとしたらこの一言一言は為出かす fact11: 「それは軽いが鑑賞し易くない」ということは正しいという物はない fact12: 「この一言一言は為出かすが選り好みするということはない」ということは誤っている fact13: もしこの市場参加者が申し訳無いとすればこの一言一言は行使出来る fact14: この一言一言が行使出来るとしたら選り好みする fact15: この一言一言は為出かすとすれば「この市場参加者は選り好みする」ということは成り立つ fact16: もしもなにがしかの物は行使出来るとすると「選り好みするしさらに為出かさない」ということは成り立たない fact17: 「あのカナールは空気座布団である一方で選り好みするということはない」ということは間違いだ fact18: 「「この市場参加者は選り好みするがしかし鑑賞し易くない」ということは成り立つ」ということは成り立つということはないとすればこのペンシルタイプは為出かす fact19: もしこのペンシルタイプが鑑賞し易いとすればあの一言一言は為出かす ; $hypothesis$ = この市場参加者は選り好みする ; $proof$ = 
fact11 -> int1: 「このペンシルタイプは軽いがしかしそれは鑑賞し易いということはない」ということは誤りだ; int1 & fact10 -> int2: この一言一言は為出かす; int2 & fact15 -> hypothesis; __PROVED__
事実1: もし「このペンシルタイプは選り好みする」ということは真実であるとするとこの市場参加者は軽い
事実2: この一言一言は住宅市場である
事実3: 「このペンシルタイプは軽くてかつ鑑賞し易い」ということは成り立たない
事実4: それは軽いしおまけに鑑賞し易いという物はない
事実5: 仮に「この市場参加者は選り好みするけど軽いということはない」ということは成り立たないとすればあのペンシルタイプは為出かす
事実6: もしもこの市場参加者が軽いとしたらこのペンシルタイプは選り好みする
事実7: 仮にこの市場参加者は卑しないならそれは行使出来るしさらに申し訳無い
事実8: 「このペンシルタイプは軽いが為出かさない」ということは正しくない
事実9: 仮にこの市場参加者は御当代でないし右インデントでないならばそれは卑しない
事実10: 「このペンシルタイプは軽いけど鑑賞し易いということはない」ということは事実でないとしたらこの一言一言は為出かす
事実11: 「それは軽いが鑑賞し易くない」ということは正しいという物はない
事実12: 「この一言一言は為出かすが選り好みするということはない」ということは誤っている
事実13: もしこの市場参加者が申し訳無いとすればこの一言一言は行使出来る
事実14: この一言一言が行使出来るとしたら選り好みする
事実15: この一言一言は為出かすとすれば「この市場参加者は選り好みする」ということは成り立つ
事実16: もしもなにがしかの物は行使出来るとすると「選り好みするしさらに為出かさない」ということは成り立たない
事実17: 「あのカナールは空気座布団である一方で選り好みするということはない」ということは間違いだ
事実18: 「「この市場参加者は選り好みするがしかし鑑賞し易くない」ということは成り立つ」ということは成り立つということはないとすればこのペンシルタイプは為出かす
事実19: もしこのペンシルタイプが鑑賞し易いとすればあの一言一言は為出かす

仮説: この市場参加者は選り好みする
1. 事実11から、推論1: "「このペンシルタイプは軽いがしかしそれは鑑賞し易いということはない」ということは誤りだ"が導かれる
2. 推論1と事実10から、推論2: "この一言一言は為出かす"が導かれる
3. 推論2と事実15から、仮説が導かれる

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