「あの変更作業は追い立てないかまたはなぐり書きしないか両方ともである」ということは確かでない
fact1: あの変更作業は繋がり易い fact2: あの変更作業は繋がり易いとすると「「それは追い立てないかあるいはなぐり書きするということはないかもしくはどちらもだ」ということは事実だ」ということは正しくない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: あの変更作業は繋がり易い fact2: あの変更作業は繋がり易いとすると「「それは追い立てないかあるいはなぐり書きするということはないかもしくはどちらもだ」ということは事実だ」ということは正しくない ; $hypothesis$ = 「あの変更作業は追い立てないかまたはなぐり書きしないか両方ともである」ということは確かでない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの変更作業は繋がり易い
事実2: あの変更作業は繋がり易いとすると「「それは追い立てないかあるいはなぐり書きするということはないかもしくはどちらもだ」ということは事実だ」ということは正しくない

仮説: 「あの変更作業は追い立てないかまたはなぐり書きしないか両方ともである」ということは確かでない
1. 事実2と事実1から、仮説が導かれる

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