この状態遷移関数は刺激策でない
fact1: あのコーヒープレスは買い取らない fact2: この状態遷移関数は買い取らない fact3: もしこの状態遷移関数が買い取るということはないとするとそれは刺激策である
$facts$ = fact1: あのコーヒープレスは買い取らない fact2: この状態遷移関数は買い取らない fact3: もしこの状態遷移関数が買い取るということはないとするとそれは刺激策である ; $hypothesis$ = この状態遷移関数は刺激策でない ; $proof$ = 
事実1: あのコーヒープレスは買い取らない
事実2: この状態遷移関数は買い取らない
事実3: もしこの状態遷移関数が買い取るということはないとするとそれは刺激策である

仮説: この状態遷移関数は刺激策でない