「あの左側通行は出し合わないかもしくはベテランであるかまたは両方ともである」ということは嘘である
fact1: 全ては唆す fact2: それは職能でないかあるいは中間層であるか両方だという物はない fact3: 痩せるということはないかもしくはパブリックアートであるか両方ともであるというものはない fact4: もし何かは疑えないなら「それは出し合わないかあるいはベテランであるかもしくはどちらもである」ということは間違っていない fact5: 出し合わないかベテランであるかあるいはどちらもであるというものはない fact6: あらゆる物はぼろい
fact5 -> hypothesis;
fact5 -> hypothesis;
あの左側通行は出し合わないかまたはベテランであるかもしくはどちらもだ
fact7 -> int1: あの左側通行が疑えないとすれば出し合うということはないかベテランであるかもしくは両方だ;
$facts$ = fact1: 全ては唆す fact2: それは職能でないかあるいは中間層であるか両方だという物はない fact3: 痩せるということはないかもしくはパブリックアートであるか両方ともであるというものはない fact4: もし何かは疑えないなら「それは出し合わないかあるいはベテランであるかもしくはどちらもである」ということは間違っていない fact5: 出し合わないかベテランであるかあるいはどちらもであるというものはない fact6: あらゆる物はぼろい ; $hypothesis$ = 「あの左側通行は出し合わないかもしくはベテランであるかまたは両方ともである」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 全ては唆す
事実2: それは職能でないかあるいは中間層であるか両方だという物はない
事実3: 痩せるということはないかもしくはパブリックアートであるか両方ともであるというものはない
事実4: もし何かは疑えないなら「それは出し合わないかあるいはベテランであるかもしくはどちらもである」ということは間違っていない
事実5: 出し合わないかベテランであるかあるいはどちらもであるというものはない
事実6: あらゆる物はぼろい

仮説: 「あの左側通行は出し合わないかもしくはベテランであるかまたは両方ともである」ということは嘘である
1. 事実5から、仮説が導かれる

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