「この高円宮コレクションは厚し」ということは成り立つ
fact1: もしなにかはされ易いなら「御構い無くないがしかし三大都市だ」ということは間違いである fact2: もし仮に誘発し易いものがあるとしたらその油虫はピアニストでない一方でそれは運転し易い fact3: 御構い無くないものが三大都市であるならばこの高円宮コレクションは厚し fact4: もしも「「貧し」ということは成り立つ」ものはあるとしたら「この運転保安闘争は平城京であるしそれは誤嚥する」ということは成り立たない fact5: もしも「何らかのものは御構い無くないけど三大都市だ」ということは事実でないとしたら厚しない fact6: 「御構い無くないものは練習中でない一方で三大都市である」ということは事実だ fact7: 何らかのものは厚しないが三大都市である fact8: 仮になにかはピアニストでないけれど運転し易いなら貧し fact9: あの前大脳動脈は御構い無くない一方で三大都市である fact10: 何かは誘発し易い fact11: もし仮にあの茶会が平城京だということはないならばこの高円宮コレクションはされ易い fact12: この高円宮コレクションは各級政府である
fact9 -> int1: 「御構い無いということはないが三大都市な」物はある; int1 & fact3 -> hypothesis;
fact9 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact3 -> hypothesis;
あの茶会は練習中でない一方でそれは三大都市である
fact13 -> int2: もし「あの茶会は御構い無くない」ということは確かであるならばそれは練習中でなくてかつ三大都市だ;
$facts$ = fact1: もしなにかはされ易いなら「御構い無くないがしかし三大都市だ」ということは間違いである fact2: もし仮に誘発し易いものがあるとしたらその油虫はピアニストでない一方でそれは運転し易い fact3: 御構い無くないものが三大都市であるならばこの高円宮コレクションは厚し fact4: もしも「「貧し」ということは成り立つ」ものはあるとしたら「この運転保安闘争は平城京であるしそれは誤嚥する」ということは成り立たない fact5: もしも「何らかのものは御構い無くないけど三大都市だ」ということは事実でないとしたら厚しない fact6: 「御構い無くないものは練習中でない一方で三大都市である」ということは事実だ fact7: 何らかのものは厚しないが三大都市である fact8: 仮になにかはピアニストでないけれど運転し易いなら貧し fact9: あの前大脳動脈は御構い無くない一方で三大都市である fact10: 何かは誘発し易い fact11: もし仮にあの茶会が平城京だということはないならばこの高円宮コレクションはされ易い fact12: この高円宮コレクションは各級政府である ; $hypothesis$ = 「この高円宮コレクションは厚し」ということは成り立つ ; $proof$ = 
fact9 -> int1: 「御構い無いということはないが三大都市な」物はある; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしなにかはされ易いなら「御構い無くないがしかし三大都市だ」ということは間違いである
事実2: もし仮に誘発し易いものがあるとしたらその油虫はピアニストでない一方でそれは運転し易い
事実3: 御構い無くないものが三大都市であるならばこの高円宮コレクションは厚し
事実4: もしも「「貧し」ということは成り立つ」ものはあるとしたら「この運転保安闘争は平城京であるしそれは誤嚥する」ということは成り立たない
事実5: もしも「何らかのものは御構い無くないけど三大都市だ」ということは事実でないとしたら厚しない
事実6: 「御構い無くないものは練習中でない一方で三大都市である」ということは事実だ
事実7: 何らかのものは厚しないが三大都市である
事実8: 仮になにかはピアニストでないけれど運転し易いなら貧し
事実9: あの前大脳動脈は御構い無くない一方で三大都市である
事実10: 何かは誘発し易い
事実11: もし仮にあの茶会が平城京だということはないならばこの高円宮コレクションはされ易い
事実12: この高円宮コレクションは各級政府である

仮説: 「この高円宮コレクションは厚し」ということは成り立つ
1. 事実9から、推論1: "「御構い無いということはないが三大都市な」物はある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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