この発表物は出会い易いということはない
fact1: あの客層は御めでたい fact2: 仮に何かはテレパシストであるかあるいは借り易いならばそれは出会い易くない fact3: 仮に「あの客層は御めでたい」ということは成り立つとするとこの発表物は借り易い fact4: この発表物はテレパシストであるならそれは出会い易くない
fact3 & fact1 -> int1: この発表物は借り易い; int1 -> int2: この発表物はテレパシストであるかまたは借り易い; fact2 -> int3: もしも「この発表物はテレパシストであるか借り易い」ということは正しいならば出会い易くない; int2 & int3 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); fact2 -> int3: ({C}{b} v {B}{b}) -> ¬{D}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: あの客層は御めでたい fact2: 仮に何かはテレパシストであるかあるいは借り易いならばそれは出会い易くない fact3: 仮に「あの客層は御めでたい」ということは成り立つとするとこの発表物は借り易い fact4: この発表物はテレパシストであるならそれは出会い易くない ; $hypothesis$ = この発表物は出会い易いということはない ; $proof$ = 
fact3 & fact1 -> int1: この発表物は借り易い; int1 -> int2: この発表物はテレパシストであるかまたは借り易い; fact2 -> int3: もしも「この発表物はテレパシストであるか借り易い」ということは正しいならば出会い易くない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの客層は御めでたい
事実2: 仮に何かはテレパシストであるかあるいは借り易いならばそれは出会い易くない
事実3: 仮に「あの客層は御めでたい」ということは成り立つとするとこの発表物は借り易い
事実4: この発表物はテレパシストであるならそれは出会い易くない

仮説: この発表物は出会い易いということはない
1. 事実3と事実1から、推論1: "この発表物は借り易い"が導かれる
2. 推論1から、推論2: "この発表物はテレパシストであるかまたは借り易い"が導かれる
3. 事実2から、推論3: "もしも「この発表物はテレパシストであるか借り易い」ということは正しいならば出会い易くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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