この所有構造は流れ易い
fact1: もしもこの東京メトロが肺機能検査だということはないならばコストメリットでない fact2: この東京メトロはコストメリットであるかまたは力強くない fact3: もしも「何らかの物は流れ易いけどコストメリットでない」ということは誤っているとすると流れ易くない fact4: 「この東京メトロは肺機能検査だけれど中華街でない」ということは誤りである fact5: 「この東京メトロは肺機能検査であるがそれは中華街でない」ということは嘘であるならそれはコストメリットだということはない fact6: もしこの東京メトロがコストメリットであるということはないかそれが力強くないとするとこの所有構造は流れ易い
fact5 & fact4 -> int1: この東京メトロはコストメリットでない; int1 -> int2: この東京メトロはコストメリットでないか力強くないかまたはどちらもである; int2 & fact6 -> hypothesis;
fact5 & fact4 -> int1: ¬{B}{a}; int1 -> int2: (¬{B}{a} v ¬{A}{a}); int2 & fact6 -> hypothesis;
この所有構造は流れ易くない
fact7 -> int3: 「この所有構造は流れ易いけれどコストメリットでない」ということは誤っているとすればそれは流れ易いということはない;
$facts$ = fact1: もしもこの東京メトロが肺機能検査だということはないならばコストメリットでない fact2: この東京メトロはコストメリットであるかまたは力強くない fact3: もしも「何らかの物は流れ易いけどコストメリットでない」ということは誤っているとすると流れ易くない fact4: 「この東京メトロは肺機能検査だけれど中華街でない」ということは誤りである fact5: 「この東京メトロは肺機能検査であるがそれは中華街でない」ということは嘘であるならそれはコストメリットだということはない fact6: もしこの東京メトロがコストメリットであるということはないかそれが力強くないとするとこの所有構造は流れ易い ; $hypothesis$ = この所有構造は流れ易い ; $proof$ = 
fact5 & fact4 -> int1: この東京メトロはコストメリットでない; int1 -> int2: この東京メトロはコストメリットでないか力強くないかまたはどちらもである; int2 & fact6 -> hypothesis; __PROVED__
事実1: もしもこの東京メトロが肺機能検査だということはないならばコストメリットでない
事実2: この東京メトロはコストメリットであるかまたは力強くない
事実3: もしも「何らかの物は流れ易いけどコストメリットでない」ということは誤っているとすると流れ易くない
事実4: 「この東京メトロは肺機能検査だけれど中華街でない」ということは誤りである
事実5: 「この東京メトロは肺機能検査であるがそれは中華街でない」ということは嘘であるならそれはコストメリットだということはない
事実6: もしこの東京メトロがコストメリットであるということはないかそれが力強くないとするとこの所有構造は流れ易い

仮説: この所有構造は流れ易い
1. 事実5と事実4から、推論1: "この東京メトロはコストメリットでない"が導かれる
2. 推論1から、推論2: "この東京メトロはコストメリットでないか力強くないかまたはどちらもである"が導かれる
3. 推論2と事実6から、仮説が導かれる

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