その参謀達は希望日である
fact1: もしもあの筋肉間が芝コースでないしかつ家族用でないとしたらあのカメラマンＫ氏は芝コースでない fact2: その参謀達は馴れ馴れしくないしまた思い合わせるということはない fact3: もしもその参謀達は怖ーくないし遣り抜かないなら希望日である fact4: そのコード・チェンジは希望日だということはない fact5: もしもその参謀達は誤り無くない一方で凝れば尊し fact6: 仮にその参謀達は希望日でないしその上はきはきしないとすると尽くし得る fact7: その参謀達は怖ーくないし加えて遣り抜かない fact8: もし仮にあのカメラマンＫ氏が芝コースでないならばその参謀達は希望日でないがしかし和解条項だ
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
「その参謀達は希望日でない」ということは本当だ
$facts$ = fact1: もしもあの筋肉間が芝コースでないしかつ家族用でないとしたらあのカメラマンＫ氏は芝コースでない fact2: その参謀達は馴れ馴れしくないしまた思い合わせるということはない fact3: もしもその参謀達は怖ーくないし遣り抜かないなら希望日である fact4: そのコード・チェンジは希望日だということはない fact5: もしもその参謀達は誤り無くない一方で凝れば尊し fact6: 仮にその参謀達は希望日でないしその上はきはきしないとすると尽くし得る fact7: その参謀達は怖ーくないし加えて遣り抜かない fact8: もし仮にあのカメラマンＫ氏が芝コースでないならばその参謀達は希望日でないがしかし和解条項だ ; $hypothesis$ = その参謀達は希望日である ; $proof$ = 
fact3 & fact7 -> hypothesis; __PROVED__
事実1: もしもあの筋肉間が芝コースでないしかつ家族用でないとしたらあのカメラマンＫ氏は芝コースでない
事実2: その参謀達は馴れ馴れしくないしまた思い合わせるということはない
事実3: もしもその参謀達は怖ーくないし遣り抜かないなら希望日である
事実4: そのコード・チェンジは希望日だということはない
事実5: もしもその参謀達は誤り無くない一方で凝れば尊し
事実6: 仮にその参謀達は希望日でないしその上はきはきしないとすると尽くし得る
事実7: その参謀達は怖ーくないし加えて遣り抜かない
事実8: もし仮にあのカメラマンＫ氏が芝コースでないならばその参謀達は希望日でないがしかし和解条項だ

仮説: その参謀達は希望日である
1. 事実3と事実7から、仮説が導かれる

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